Ontology Reasoning in the SHOQ(D) Description Logic

I. HorrocksI. Horrocks, U. SattlerU. Sattler

Datei:HorrocksSattler-IJCAI.ps.gz

Download

I. Horrocks, U. Sattler
Ontology Reasoning in the SHOQ(D) Description Logic
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Details
Bibtex

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},
}