Optimal ABox Repair wrt Static TBoxes: From Quantified ABoxes Back to ABoxes
Abstract Errors in Description Logic (DL) ontologies are often detected when a reasoner
computes unwanted consequences. The question is then how to repair the ontology such …
computes unwanted consequences. The question is then how to repair the ontology such …
[PDF][PDF] Computing Optimal Repairs of Quantified ABoxes wrt Static EL TBoxes.
The application of automated reasoning approaches to Description Logic (DL) ontologies
may produce certain consequences that either are deemed to be wrong or should be hidden …
may produce certain consequences that either are deemed to be wrong or should be hidden …
Defeasible inclusions in low-complexity DLs
PA Bonatti, M Faella, L Sauro - Journal of Artificial Intelligence Research, 2011 - jair.org
Some of the applications of OWL and RDF (eg biomedical knowledge representation and
semantic policy formulation) call for extensions of these languages with nonmonotonic …
semantic policy formulation) call for extensions of these languages with nonmonotonic …