- From: Evren Sirin <evren@clarkparsia.com>
- Date: Wed, 07 May 2008 09:18:24 -0400
- To: Jeremy Carroll <jjc@hpl.hp.com>
- CC: public-owl-dev@w3.org
On 5/6/08 7:23 AM, Jeremy Carroll wrote: > > > > I've being looking in depth at the OWL 1 Full semantics (again, sigh) ... > > I note that the classes of properties (FP,IFP, SP, TP) and the > inverseOf property all have iff definitions. These correspond to the > conditions in the direct semantics. > > Is it the case that DL reasoners can actually answer entailment > questions depending on this e.g. > > If C is a class consisting of a singleton, and p is a property with > domain and range C, then we necessarily have that p is in FP, IFP, SP > and TP and that p is its own inverse. > Moreover if q also has domain and range p, and both q and p are non > empty then they are equivalentProperties, and also each others inverse. > > Do DL reasoners answer these sorts of question? Yes, DL reasoners can answer such entailment queries. Any OWL entailment query can be reduced to an unsatisfiability check in DL reasoning as shown in [1]. Pellet supports these kind of queries. For example, browse a similar ontology [2] in OwlSight [3] and the inferences for the property will be listed (in this example only symmetry and functionality is inferred from asserted axioms). Cheers, Evren [1] http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/#HoPa04b [2] http://www.w3.org/2002/03owlt/SymmetricProperty/premises002.rdf [3] http://pellet.owldl.com/owlsight/?ontology=http://www.w3.org/2002/03owlt/SymmetricProperty/premises002.rdf > > Ta > > Jeremy > > > >
Received on Wednesday, 7 May 2008 13:19:07 UTC