Attributed Description Logics: Reasoning on Knowledge Graphs



Published on


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 investigate a range of DLs starting from the lightweight description logic EL, covering the prototypical ALCH, and extending to the very expressive SROIQ, the DL underlying OWL 2 DL.

Please cite our work using the BibTeX below.

  title     = {Attributed Description Logics: Reasoning on Knowledge Graphs},
  author    = {Markus Krötzsch and Maximilian Marx and Ana Ozaki and Veronika Thost},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-18}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  pages     = {5309--5313},
  year      = {2018},
  month     = {7},
  doi       = {10.24963/ijcai.2018/743},
  url       = {},
Close Modal