Ontology Reasoning in the SHOQ(D) Description Logic

Horrocks, Ian; Sattler, Ulrike

Ontology Reasoning in the SHOQ(D) Description Logic

Download BibTeX Cite

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence. Pages 199-203.

Abstract

Ontologies are set to play a key rˆole 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.

Ian Horrocks, and Ulrike Sattler. 2001. Ontology Reasoning in the SHOQ(D) Description Logic. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. IJCAI, 199–203. https://ijcai.org/proceedings/2001/27

@inproceedings{ijcai2001p27,
  title     = {Ontology Reasoning in the SHOQ(D) Description Logic},
  author    = {Horrocks, Ian and Sattler, Ulrike},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on
               Artificial Intelligence, {IJCAI-01}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {199--203},
  year      = {2001},
  url       = {https://ijcai.org/proceedings/2001/27},
}

TY  - CPAPER
TI  - Ontology Reasoning in the SHOQ(D) Description Logic
AU  - Horrocks, Ian
AU  - Sattler, Ulrike
T2  - Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2001
SP  - 199
EP  - 203
UR  - https://ijcai.org/proceedings/2001/27
ER  -