%0 Journal Article %1 Horrocks2004345 %A Horrocks, Ian %A Patel-Schneider, Peter %D 2004 %J Web Semantics: Science, Services and Agents on the World Wide Web %K Lite \{OWL\} %N 4 %P 345 - 357 %R http://dx.doi.org/10.1016/j.websem.2004.06.003 %T Reducing ØWL\ entailment to description logic satisfiability %U http://www.sciencedirect.com/science/article/pii/S1570826804000095 %V 1 %X We show how to reduce ontology entailment for the ØWL\ \DL\ and ØWL\ Lite ontology languages to knowledge base satisfiability in (respectively) the S H O I N ( D ) and S H I F ( D ) description logics. This is done by first establishing a correspondence between ØWL\ ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability.

@article{Horrocks2004345, abstract = {We show how to reduce ontology entailment for the \{OWL\} \{DL\} and \{OWL\} Lite ontology languages to knowledge base satisfiability in (respectively) the S H O I N ( D ) and S H I F ( D ) 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 = {2015-01-14T21:25:14.000+0100}, author = {Horrocks, Ian and Patel-Schneider, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2f917e2866db39022e8e2307209284c5c/diverzulu}, doi = {http://dx.doi.org/10.1016/j.websem.2004.06.003}, file = {:D\:\\ASUS-FINO\\Inkhognito_M\\David\\PhD\\Web Semântica\\Background on Semantic Web\\OWL\\2004-WS-Reducing OWL entailment to description logic satisfiability.pdf:PDF}, interhash = {a702dd236cd9a2ea7fd17c00701dbdfe}, intrahash = {f917e2866db39022e8e2307209284c5c}, issn = {1570-8268}, journal = {Web Semantics: Science, Services and Agents on the World Wide Web }, keywords = {Lite \{OWL\}}, note = {<ce:title>International Semantic Web Conference 2003</ce:title> }, number = 4, owner = {David}, pages = {345 - 357}, timestamp = {2015-01-14T21:25:14.000+0100}, title = {Reducing \{OWL\} entailment to description logic satisfiability }, url = {http://www.sciencedirect.com/science/article/pii/S1570826804000095}, volume = 1, year = 2004 }