W3C home > Mailing lists > Public > semantic-web@w3.org > July 2005

Reasoning capabilities of an OWL Reasoner

From: Carlos F. Enguix <carlos.enguix@deri.org>
Date: Sat, 30 Jul 2005 02:02:58 +0100
To: semantic-web@w3.org, semanticweb@yahoogroups.com, jena-dev@yahoogroups.com
Message-id: <01LR7WLE99O2001WZV@beacon.nuigalway.ie>

Dear All:

According to some slides I have been reading about Racer, Racer allows the
following reasoning services:
 * Consistency of class descriptions
 * Subsumption between classes
 * Taxonomy of class names (classification)
 * Consistency of individual descriptions
 * Find classes that match known instances

I assume that as a minimum a reasoner for OWL should be capable of detecting
inconsistent transitive relationships, inconsistent inverse functional
properties, inconsistent functional properties and so on.

For a person who is not a logician and does not know DL can anybody cite
more explicitly which are the types of class inconsistencies and property
inconsistencies (including domain and range, cardinality restrictions and so
on) that normally a reasoner supports?

I include a list of possible inconsistencies:

Class/subclass hierarchies
Disjointness of classes
Equivalence of classes
Transitive relationships
Property hierarchies
Domain and range property definitions
Nonsensical types and datatypes
Violation of functional properties
Nonsensical inverse properties
Violation of inverse functional properties
Nonsensical symmetric and asymmetric properties
Nonsensical cardinality restrictions     
Mutual exclusion and so on


Cheers


Carlos F. Enguix
Research Fellow Semantic Web Cluster
Digital Enterprise Research Institute (DERI)
Science & Engineering Technology Building
University Road, Galway, Ireland
 
Skype ID: cenguix
Phone(Work): +353-91 49 5012
Phone(Home):+353-91 51 6557
Mobile(Ireland): +353-863389323
Mobile(Spain): +34-600 874 333
E-mail: carlos.enguix@deri.org
E-mail: Carlos.F.Enguix@acm.org
WWW: www.carlosf.enguix.name



Received on Saturday, 30 July 2005 01:03:17 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:47:03 UTC