[Pellet-users] Pellet validator and datatype properties

[Ibach, Brandon L]

    Which version of Pellet are you running?  I ran your ontology,
exactly as you provided it, under Pellet 1.4 and it classified
everything just fine with neither complaints of unsatisfiable classes
nor any classes declared equivalent.

-Brandon :) 

 

________________________________

From: pellet-users-bounces at lists.owldl.com
[mailto:pellet-users-bounces at lists.owldl.com] On Behalf Of Cartik
Saravana Muthu
Sent: Wednesday, May 02, 2007 2:45 PM
To: pellet-users at lists.owldl.com
Subject: [Pellet-users] Pellet validator and datatype properties


Hi!

Here is an ontology that the Pellet validator is having problems with.
There are three sibling disjoint concepts in this ontology viz.
Neutrophil, Basophil, and Eosinophil, and all of them have been defined
with "has value" restrictions on a common datatype property. PLEASE NOTE
the common datatype property takes a different string literal value in
each restriction. Lastly, these concepts have been declared to be
mutually disjoint at the bottom of the ontology. Now the Pellet
validator declares these concepts as unsatisfiable. If I remove the
disjointness assertion, these concepts are satisfiable according to
Pellet, but also equivalent to one another. 

Regards,

------------------------------------------------------------------------
-------------------------------------------
Cartik R. Kothari, Ph.D
Post Doctoral Research Fellow
James Hogg iCAPTURE Institute of Cardiovascular and Pulmonary Research 
University of British Columbia
Vancouver, BC V6Z 1Y6 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070502/cf3a84bf/attachment.htm