Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among them, the εL family of DLs stands out due to the availability of polynomial-time inference algorithms and its ability to represent knowledge from domains such as medical informatics. However, the construction of an ontology is an errorprone process which often leads to unintended inferences. This paper presents the BEACON tool for debugging εL+ ontologies. BEACON builds on earlier work relating minimal justifications (MinAs) of εL+ ontologies and MUSes of a Horn formula, and integrates state-of-the-art algorithms for solving different function problems in the SAT domain.
Arif, M., Mencía, C., Ignatiev, A., Manthey, N., Peñaloza, R., Marques-Silva, J. (2016). BEACON: An efficient SAT-based tool for debugging εL+ ontologies. In Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016) (pp.521-530). Springer Verlag [10.1007/978-3-319-40970-2_32].
BEACON: An efficient SAT-based tool for debugging εL+ ontologies
Peñaloza R;
2016
Abstract
Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among them, the εL family of DLs stands out due to the availability of polynomial-time inference algorithms and its ability to represent knowledge from domains such as medical informatics. However, the construction of an ontology is an errorprone process which often leads to unintended inferences. This paper presents the BEACON tool for debugging εL+ ontologies. BEACON builds on earlier work relating minimal justifications (MinAs) of εL+ ontologies and MUSes of a Horn formula, and integrates state-of-the-art algorithms for solving different function problems in the SAT domain.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Arif-2016-Lecture Notes Comput Sci-VoR.pdf
Solo gestori archivio
Descrizione: Conference Paper
Tipologia di allegato:
Publisher’s Version (Version of Record, VoR)
Licenza:
Tutti i diritti riservati
Dimensione
320.43 kB
Formato
Adobe PDF
|
320.43 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
