Hi Michael,
Unfortunately, P4 is using an old version of the OWL API that isn't up
to date with the latest spec. The next version of the OWL API
(version 3) and the next version of P4 (version 4.1) will solve this
problem.
Cheers,
Matthew
On 2 Jul 2009, at 17:14, Michael Wessel wrote:
> Hello,
>
> Protege 4 saves the OWL2 axioms of type
> ClassAssertion (in OWL2 functional rendering)
> in the format:
>
> ClassAssertion(individual class-expression)
>
> Whereas the OWL2 spec (2009/06/11) specifies:
>
> ClassAssertion(class-expression individual)
>
> I think the spec is correct and OWLAPI / P4 wrong,
> since the latter format is consistent with the other
> assertions, e.g.
>
> ObjectPropertyAssertion(object-property ind1 ind2).
>
> P4 uses
>
> // OWL API (version 2.2.1.1138)
http://owlapi.sourceforge.net>
> Regards
>
> Michael
>
>
> ------------------------------------------------------------------------------
> _______________________________________________
> Owlapi-developer mailing list
>
[hidden email]
>
https://lists.sourceforge.net/lists/listinfo/owlapi-developer_______________________________________________
protege-owl mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-owlInstructions for unsubscribing:
http://protege.stanford.edu/doc/faq.html#01a.03
