Sciweavers

Share
CADE
2002
Springer

Reasoning with Expressive Description Logics: Theory and Practice

10 years 12 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ones, and by an emphasis on the provision of sound, complete and (empirically) tractable reasoning services. They have a wide range of applications, but their use as ontology languages has been highlighted by the recent explosion of interest in the "Semantic Web", where ontologies are set to play a key role. DAML+OIL is a description logic based ontology language specifically designed for use on the Web. The logical basis of the language means that reasoning services can be provided, both to support ontology design and to make DAML+OIL described Web resources more accessible to automated processes.
Ian Horrocks
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2002
Where CADE
Authors Ian Horrocks
Comments (0)
books