[Pellet-users] Property is datatype and object property at the same time

[Tobias]

Hi,

this is my example ontology: http://pastie.caboo.se/156363
I have checked it with Jena syntax checker and online OWL validator  
and both say, that it is OWL-DL.

This is my example code: http://pastie.caboo.se/156361
If I don´t use any reasoner, I get the following output:
http://sws.uni-duisburg.de:4000/example#prop3
false
true
http://sws.uni-duisburg.de:4000/example#prop2
true
false
http://sws.uni-duisburg.de:4000/example#prop1
true
false
http://sws.uni-duisburg.de:4000/example#prop5
true
false

A property is either datatype property or object property.
But if I use the pellet reasoner, I get the following ouput:
http://sws.uni-duisburg.de:4000/example#prop3
false
true
http://sws.uni-duisburg.de:4000/example#prop2
true
true
http://sws.uni-duisburg.de:4000/example#prop1
true
true
http://sws.uni-duisburg.de:4000/example#prop5
true
true

prop1, prop2 and prop5 are datatype property and object property at  
the same time. How is this possible?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080224/35f9576c/attachment.htm