Description Logic with Abstraction and Refinement
From International Center for Computational Logic
Description Logic with Abstraction and Refinement
Talk by Lukas Schulze
- Location: APB 3027
- Start: 6. February 2025 at 11:00 am
- End: 6. February 2025 at 12:00 pm
- Event series: Research Seminar Logic and AI
- iCal
Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens and which provides explicit operators for the abstraction and refinement of concepts and roles across multiple abstraction levels, based on conjunctive queries. We prove that reasoning in the resulting family of DLs is decidable while several seemingly harmless variations turn out to be undecidable. We also pinpoint the precise complexity of our logics and several relevant fragments.