Attributed Description Logics: Ontologies for Knowledge Graphs
Aus International Center for Computational Logic
Attributed Description Logics: Ontologies for Knowledge Graphs
Vortrag von Ana Ozaki
- Veranstaltungsort: APB 2026
- Beginn: 19. Oktober 2017 um 09:20
- Ende: 19. Oktober 2017 um 10:50
- Forschungsgruppe: Wissensbasierte Systeme
- 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.
