Pages that link to "Item:Q2462643"

The following pages link to Debugging incoherent terminologies (Q2462643):

Displaying 15 items.

• Automata-based axiom pinpointing (Q707741) (← links)
• Incremental classification of description logics ontologies (Q972428) (← links)
• Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
• Memory-limited model-based diagnosis (Q2124447) (← links)
• Strong inconsistency (Q2321259) (← links)
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
• ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
• Effective method for detecting error causes from incoherent biological ontologies (Q2686869) (← links)
• Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)
• A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$ (Q3638169) (← links)
• (Q4558528) (← links)
• DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
• Sequential model-based diagnosis by systematic search (Q6080651) (← links)