We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the and description logics. This is done by first establishing a correspondence between OWL ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability.
%0 Journal Article
%1 horrocks_reducing_2004
%A Horrocks, Ian
%A Patel-Schneider, Peter
%D 2004
%J Web Semantics: Science, Services and Agents on the World Wide Web
%K Architecture; Description Knowledge; Lite Logic; {OWL-DL}; {OWL} {OWL};
%N 4
%P 345--357
%R 10.1016/j.websem.2004.06.003
%T Reducing OWL entailment to description logic satisfiability
%U http://www.sciencedirect.com/science/article/B758F-4D1V7XT-2/2/5dbe34a780e5fe689b4827a674e802fb
%V 1
%X We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the and description logics. This is done by first establishing a correspondence between OWL ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability.
@article{horrocks_reducing_2004,
abstract = {We show how to reduce ontology entailment for the {OWL} {DL} and {OWL} Lite ontology languages to knowledge base satisfiability in (respectively) the and description logics. This is done by first establishing a correspondence between {OWL} ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability.},
added-at = {2013-02-28T11:13:35.000+0100},
author = {Horrocks, Ian and {Patel-Schneider}, Peter},
biburl = {https://www.bibsonomy.org/bibtex/232809314b19fafe0858eaec7cb2551a0/fritzsolms},
doi = {10.1016/j.websem.2004.06.003},
interhash = {a702dd236cd9a2ea7fd17c00701dbdfe},
intrahash = {32809314b19fafe0858eaec7cb2551a0},
issn = {1570-8268},
journal = {Web Semantics: Science, Services and Agents on the World Wide Web},
keywords = {Architecture; Description Knowledge; Lite Logic; {OWL-DL}; {OWL} {OWL};},
month = oct,
number = 4,
pages = {345--357},
timestamp = {2013-02-28T11:13:51.000+0100},
title = {{Reducing {OWL} entailment to description logic satisfiability}},
url = {http://www.sciencedirect.com/science/article/B758F-4D1V7XT-2/2/5dbe34a780e5fe689b4827a674e802fb},
volume = 1,
year = 2004
}