[Pellet-users] Fwd: Property chain with reasoning

[Jaroslaw Slawinski]

Thank you for your answers!!!

I will check the example [2] to see how I should change manually the result
owl file (is it possible to configure Protege 4 to serialize files with OWL
1.1 instead OWL 2?).

Right now I am digging in my code and try to use the example suggested by
Nick ([1]) and your solution (what is the same).

But... I did not explain in the first mail what I want exactly...
On the reasoned ontology I would like to perform some SPARQL queries. Will I
be able to do that after usage the OWLAPI-Pellet pair? I consider 2
"solutions" I will use if I don't get the Model object used in the Jena
queries:
1. save temporally the reasoned ontology and load it to Jena (now without
reasoning)
2. get all triples from the reasoned ontology and load them to the empty
Model object.

Do you have any quick sugestions for the chain OWL 1.1 ontololgy ->
reasoning ->SPARQL queries?

Best regards,
Jarek

1. http://pellet.owldl.com/ontologies/family.owl
2.
http://owlapi.svn.sourceforge.net/viewvc/owlapi/owl1_1/trunk/examples/src/main/java/org/coode/owlapi/examples/Example8.java?view=markup


On Wed, Jul 30, 2008 at 11:54 AM, Evren Sirin <evren at clarkparsia.com> wrote:

> 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/
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080730/6377a1dd/attachment.htm