as a Description Logic

Hernich, Andre, Lutz, Carsten, Ozaki, Ana and Wolter, Frank
(2015) as a Description Logic. In: Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015-7-25 - 2015-7-31, Buenos Aires, Argentina.

[img] Text
ijcai15.pdf - Author Accepted Manuscript

Download (446kB)

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.

Item Type: Conference or Workshop Item (Unspecified)
Additional Information: Proceeding URL:
Depositing User: Symplectic Admin
Date Deposited: 01 Feb 2017 11:40
Last Modified: 19 Jan 2023 07:19
Related URLs: