[Pellet-users] Pellet validator and datatype properties

[Cartik Saravana Muthu]

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/76308c5c/attachment.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Leukocytes-Simplified.owl
Type: application/octet-stream
Size: 9563 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20070502/76308c5c/attachment.obj