Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+
Stefan Borgwardt; Thomas Meyer (Hrsg). Proceedings of the 33rd International Workshop on Description Logics DL 2020 co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning KR 2020; Online, September 12th to 14th, 2020. Aachen: CEUR/RWTH 2020 S. 1 - 21 (CEUR Workshop Proceedings) paper 18
Erscheinungsjahr: 2020
ISBN/ISSN: 1613-0073
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Inhaltszusammenfassung
We address the problem of finding high-level explanations for concept subsumption w.r.t. combinations of EL (resp. EL+) CBoxes. Our goal is to find explanations for concept subsumptions in such combinations of CBoxes which contain only symbols (concept names and role names) that are common to the CBoxes. For this, we use the encoding of TBox subsumption as a uniform word problem in classes of semilattices with monotone operators for EL and the ≤-interpolation property in these classes ...We address the problem of finding high-level explanations for concept subsumption w.r.t. combinations of EL (resp. EL+) CBoxes. Our goal is to find explanations for concept subsumptions in such combinations of CBoxes which contain only symbols (concept names and role names) that are common to the CBoxes. For this, we use the encoding of TBox subsumption as a uniform word problem in classes of semilattices with monotone operators for EL and the ≤-interpolation property in these classes of algebras, as well as extensions to these results in the presence of role inclusions. For computing the ≤-interpolating terms we use a translation to propositional logic and methods for computing Craig interpolants in propositional logic.» weiterlesen» einklappen
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
