Schema.org as a Description Logic
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 3048-3053.
Abstract
Schema.org is an initiative by the major search engine providers Bing, Google, Yahoo, and Yandex that provides a collection of ontologies which webmasters can use to mark up their pages. Schema.org comes without a formal language definition and without a clear semantics. We formalize the language of Schema.org as a Description Logic (DL) and study the complexity of querying data using (unions of) conjunctive queries in the presence of ontologies formulated in this DL (from several perspectives). While querying is intractable in general, we identify various cases in which it is tractable and where queries are even rewritable into FO queries or datalog programs.
@inproceedings{ijcai2015p430,
title = {Schema.org as a Description Logic},
author = {Hernich, Andre and Lutz, Carsten and Ozaki, Ana and Wolter, Frank},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {3048--3053},
year = {2015},
month = {7},
note = {Special Track on Knowledge Representation and Reasoning},
url = {https://ijcai.org/proceedings/2015/430},
}
TY - CPAPER TI - Schema.org as a Description Logic AU - Hernich, Andre AU - Lutz, Carsten AU - Ozaki, Ana AU - Wolter, Frank T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 3048 EP - 3053 UR - https://ijcai.org/proceedings/2015/430 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
