Sciweavers

Share
IJCAI
2001

Ontology Reasoning in the SHOQ(D) Description Logic

10 years 1 months ago
Ontology Reasoning in the SHOQ(D) Description Logic
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+OIL). We present sound and complete reasoning services for this logic.
Ian Horrocks, Ulrike Sattler
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where IJCAI
Authors Ian Horrocks, Ulrike Sattler
Comments (0)
books