Attributed Description Logics: Ontologies for Knowledge Graphs
From International Center for Computational Logic
Attributed Description Logics: Ontologies for Knowledge Graphs
Talk by Ana Ozaki
- Location: APB 2026
- Start: 19. October 2017 at 9:20 am
- End: 19. October 2017 at 10:50 am
- Research group: Knowledge-Based Systems
- Event series: KBS Seminar
- iCal
In modelling real-world knowledge, there often arises a need to represent and reason with meta-knowledge. To equip description logics (DLs) for dealing with such ontologies, we enrich DL concepts and roles with finite sets of attribute-value pairs, called annotations, and allow concept inclusions to express constraints on annotations. We show that this may lead to increased complexity or even undecidability, and we identify cases where this increased expressivity can be achieved without incurring increased complexity of reasoning. In particular, we describe a tractable fragment based on the lightweight description logic EL, and we cover SROIQ, the DL underlying OWL 2 DL.
