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

[Evren Sirin]

I've just sent a message to jena mailing list about this. This is a bug 
in the Jena DIG implementation and will not happen if you use the direct 
Pellet Jena interface (by using the 
org.mindswap.pellet.jena.PelletReasonerFactory.THE_SPEC as the 
OntModelSpec - see examples that come with Pellet for more details). 
Pellet Jena direct interface is better in many regards: doesn't have the 
overhead of DIG http protocol, handles more queries, etc.

Cheers,
Evren

On 2/24/08 5:14 AM, Tobias wrote:
> 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?
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/