Loading...
Please wait, while we are loading the content...
Similar Documents
Reducing OWL Entailment to Description Logic Satisfiability
| Content Provider | CiteSeerX |
|---|---|
| Author | Peter Patel-Schneider, B. Ian Horrocks, A. |
| Abstract | We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the SHOIN(D) and SHIF(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. © 2004 Elsevier B.V. All rights reserved. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Elsevier B.v. Right Base Satisfiability World Wide Web Description Logic Knowledge Base Owl Dl Ontology Entailment Knowledge Base Entailment Logic Satisfiability Description Logic Owl Entailment Owl Ontology Owl Lite Ontology Language |
| Content Type | Text |
| Resource Type | Article |