BEACON: an efficient SAT-based tool for debugging ℰℒ + ontologies. Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among them, the ℰℒ 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 error-prone process which often leads to unintended inferences. This paper presents the BEACON tool for debugging ℰℒ + ontologies. BEACON builds on earlier work relating minimal justifications (MinAs) of ℰℒ + ontologies and MUSes of a Horn formula, and integrates state-of-the-art algorithms for solving different function problems in the SAT domain.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Ceylan, İsmail İlkan; Peñaloza, Rafael: The Bayesian ontology language $\mathcal BEL$ (2017)
- Peñaloza, Rafael; Sertkaya, Barış: Understanding the complexity of axiom pinpointing in lightweight description logics (2017)
- Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao: BEACON: an efficient SAT-based tool for debugging $\mathcal EL^+$ ontologies (2016)
- Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael: Efficient reasoning for inconsistent Horn formulae (2016)