[Pellet-users] Fwd: Property chain with reasoning

[Evren Sirin]

On 7/28/08 9:30 PM, Jaroslaw Slawinski wrote:
> Hello!
>
> I have a problem with the pair Protege4 and Pellet (with OWL 1.1).
> I have created a small owl file in Protege 4. I have used OWL 1.1 
> feature - the property chain.
> Now if I load the file to Pellet (1.5.2 version) I got "Unsupported 
> axiom: Ignoring triple with unknown property from OWL namespace:" 
> warning. I also tried to change manually owl:propertyChain to 
> owl2:propertyChain - but the reasoner does not reason the chain property.
>
> I know that the issue was on the list 
> (http://lists.owldl.com/pipermail/pellet-users/2008-May/002659.html) 
> but maybe some solution could be given (changing namespaces by hand? - 
> if it could be a solution: how?)

Pellet uses the RDF mapping form OWL 1.1 submission [1] which require 
you to change the namespace to OWL 1.1 namespace. Also the way property 
chains written in OWL 1.1 were different than OWL2 so you have to change 
the serialization of those chains. For example, see [2] for OWL 1.1 
serialization of property chains.

> or a suggestion when Pellet will be able to understand the owl2 namespace?
>
> BTW: how does Protege 4 do it that reasoning with Pellet is correct? 
> Maybe I need use newer libraries (Jena/OWLAPI)?

The command-line Pellet uses the Pellet-Jena interface. Jena does not 
have any special support for OWL 1.1 or OWL2 yet and Pellet-Jena 
interface simply processes the RDF triples that correspond to OWL 1.1 
serialization. Pellet-OWLAPI interface on the other hand processes 
OWLAPI axioms and OWLAPI handles both OWL 1.1 and OWL2 serializations. 
Since Protege4 uses Pellet-OWLAPI interface you can reason with OWL2 
ontologies through Protege4 without problems.  If you write a simplified 
version of Pellet command-line program using OWLAPI then that program 
would also work with OWL2 ontologies.

Cheers,
Evren

[1] http://www.w3.org/Submission/owl11-rdf_mapping/
[2] http://pellet.owldl.com/ontologies/family.owl
>
> Best regards,
>
> Jarek
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/