Attributed Description Logics: Reasoning on Knowledge Graphs

From International Center for Computational Logic

Toggle side column

Attributed Description Logics: Reasoning on Knowledge Graphs

Markus KrötzschMarkus Krötzsch,  Maximilian MarxMaximilian Marx,  Ana OzakiAna Ozaki,  Veronika ThostVeronika Thost
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
In Jérôme Lang, eds., Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conferences on Artificial Intelligence
  • 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 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.
  • Projekt:Project: CfaedDIAMONDHAEC B08
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KMOT2018,
  author    = {Markus Kr{\"{o}}tzsch and Maximilian Marx and Ana Ozaki and
               Veronika Thost},
  title     = {Attributed Description Logics: Reasoning on Knowledge Graphs},
  editor    = {J{\'{e}}r{\^{o}}me Lang},
  booktitle = {Proceedings of the 27th International Joint Conference on
               Artificial Intelligence (IJCAI'18)},
  publisher = {International Joint Conferences on Artificial Intelligence},
  year      = {2018},
  month     = {July},
  pages     = {5309--5313},
  doi       = {10.24963/ijcai.2018/743}
}