Pages that link to "Item:Q2462643"
From MaRDI portal
The following pages link to Debugging incoherent terminologies (Q2462643):
Displaying 20 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)
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes (Q6041308) (← links)
- Sequential model-based diagnosis by systematic search (Q6080651) (← links)
- On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging (Q6104765) (← links)
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited (Q6545515) (← links)
- On prime scenarios in qualitative spatial and temporal reasoning (Q6614889) (← links)
- Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies (Q6630183) (← links)
