Attributed Description Logics: Reasoning on Knowledge Graphs
Abstract
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.
Cite
Text
Krötzsch et al. "Attributed Description Logics: Reasoning on Knowledge Graphs." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/743Markdown
[Krötzsch et al. "Attributed Description Logics: Reasoning on Knowledge Graphs." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/krotzsch2018ijcai-attributed/) doi:10.24963/IJCAI.2018/743BibTeX
@inproceedings{krotzsch2018ijcai-attributed,
title = {{Attributed Description Logics: Reasoning on Knowledge Graphs}},
author = {Krötzsch, Markus and Marx, Maximilian and Ozaki, Ana and Thost, Veronika},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2018},
pages = {5309-5313},
doi = {10.24963/IJCAI.2018/743},
url = {https://mlanthology.org/ijcai/2018/krotzsch2018ijcai-attributed/}
}