Pages that link to "Item:Q5445719"
From MaRDI portal
The following pages link to A Fine-Grained Approach to Resolving Unsatisfiable Ontologies (Q5445719):
Displaying 8 items.
- Forgetting for knowledge bases in DL-lite (Q604910) (← links)
- Measuring and repairing inconsistency in probabilistic knowledge bases (Q648360) (← links)
- OntoDebug: interactive ontology debugging plug-in for Protégé (Q1647502) (← links)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
- Effective method for detecting error causes from incoherent biological ontologies (Q2686869) (← links)
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes (Q6041308) (← 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)