Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

IJCAI
2001

favoriteEmaildiscussreport

140views Artificial Intelligence» more IJCAI 2001»

Ontology Reasoning in the SHOQ(D) Description Logic

13 years 5 months ago

Ontology Reasoning in the SHOQ(D) Description Logic

Download www.cs.man.ac.uk

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

Real-time Traffic

Expressive Description Logic | IJCAI 2001 | IJCAI 2007 | Latest Web Ontology | Web Resources |

claim paper

Related Content

» Exploiting Description Logic Reasoners in Inductive Logic

» Incremental Classification of Description Logics Ontologies

» Reasoning with Expressive Description Logics Theory and Practice

» Measuring Incoherence in Description LogicBased Ontologies

» Integrated Distributed Description Logics

» Description Logic Reasoner System Description

» KOSIMap Use of Description Logic Reasoning to Align Heterogeneous Ontologies

» First steps in the logicbased assessment of postcomposed phenotypic descriptions

» Actions and Programs over Description Logic Ontologies

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2001
Where	IJCAI
Authors	Ian Horrocks, Ulrike Sattler

Comments (0)