Ontology Reasoning in the SHOQ(D) Description Logic

From International Center for Computational Logic

Toggle side column

Ontology Reasoning in the SHOQ(D) Description Logic

Ian HorrocksIan Horrocks,  Ulrike SattlerUlrike Sattler
Ian Horrocks, Ulrike Sattler
Ontology Reasoning in the SHOQ(D) Description Logic
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
  • KurzfassungAbstract
    Ontologies are set to play a key role 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.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ HorrocksSattler-IJCAI,
  author = {I. {Horrocks} and U. {Sattler}},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence},
  title = {Ontology Reasoning in the SHOQ(D) Description Logic},
  year = {2001},
}