Ontology Reasoning in the SHOQ(D) Description Logic

Abstract

Ontologies are set to play a key rôle in the “Semantic Web” by providing a source of shared and precisely defined terms that can be used in descriptions of web resources. Reasoning over such descriptions will be essential if web resources are to be more accessible to automated processes. SHOQ(D) is an expressive description logic equipped with named individuals and concrete datatypes which has almost exactly the same expressive power as the latest web ontology languages (e.g., OIL and DAML). We present sound and complete reasoning services for this logic.

Extracted Key Phrases

1 Figure or Table

02040'02'04'06'08'10'12'14'16
Citations per Year

372 Citations

Semantic Scholar estimates that this publication has 372 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Horrocks2001OntologyRI, title={Ontology Reasoning in the SHOQ(D) Description Logic}, author={Ian Horrocks and Ulrike Sattler}, booktitle={IJCAI}, year={2001} }