Reasoning with Attributed Description Logics

Markus KrötzschMarkus Krötzsch, Maximilian MarxMaximilian Marx, Ana OzakiAna Ozaki, Veronika ThostVeronika Thost

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org

Details
Bibtex

KurzfassungAbstract
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.
Bemerkung: Note: This is a preliminary version of Attributed Description Logics: Ontologies for Knowledge Graphs. You may wish to consult this paper instead.
Projekt:Project: Cfaed, DIAMOND, HAEC B08
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

/* Preferrably cite the ISWC 2017 paper instead! */
/* See https://iccl.inf.tu-dresden.de/web/AtDLs/en */
@inproceedings{KMOT2017,
  author    = {Markus Kr{\"{o}}tzsch and Maximilian Marx and Ana Ozaki and
               Veronika Thost},
  title     = {Reasoning with Attributed Description Logics},
  editor    = {Alessandro Artale and Birte Glimm and Roman Kontchakov},
  booktitle = {Proceedings of the 30th International Workshop on Description
               Logics (DL 2017), Montpellier, France, July 18-21, 2017},
  series    = {CEUR Workshop Proceedings},
  volume    = {1879},
  publisher = {CEUR-WS.org},
  year      = {2017},
  month     = {July}
}