AAAI Publications, Twenty-Fourth International Joint Conference on Artificial Intelligence

Font Size: as a Description Logic
Andre Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter

Last modified: 2015-06-26

Abstract 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. comes without a formal language definition and without a clear semantics. We formalize the language of 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.

Full Text: PDF