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 …
Optimal Repairs in the Description Logic Revisited
Abstract Ontologies based on Description Logics may contain errors, which are usually
detected when reasoning produces consequences that follow from the ontology, but do not …
detected when reasoning produces consequences that follow from the ontology, but do not …
Error-Tolerant Reasoning in the Description Logic Based on Optimal Repairs
Abstract Ontologies based on Description Logic (DL) represent general background
knowledge in a terminology (TBox) and the actual data in an ABox. Both human-made and …
knowledge in a terminology (TBox) and the actual data in an ABox. Both human-made and …
Inconsistency-and Error-Tolerant Reasoning wrt Optimal Repairs of Ontologies
Errors in knowledge bases (KBs) written in a Description Logic (DL) are usually detected
when reasoning derives an inconsistency or a consequence that does not hold in the …
when reasoning derives an inconsistency or a consequence that does not hold in the …
[图书][B] Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems Arne Meier Magdalena Ortiz (Eds.) LNCS
14589 Foundations of Information and Knowledge Systems 13th International Symposium …
14589 Foundations of Information and Knowledge Systems 13th International Symposium …
[PDF][PDF] LTCS–Report
F Baader, S Borgwardt, B Morawska - 2007 - iccl.inf.tu-dresden.de
Abstract Unification in Description Logics (DLs) has been proposed as an inference service
that can, for example, be used to detect redundancies in ontologies. For the DL EL, which is …
that can, for example, be used to detect redundancies in ontologies. For the DL EL, which is …