Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] P4 and OWL 1

Nick Drummond nick.drummond at
Tue Apr 7 02:46:50 PDT 2009

Hi Stefano,

You can also create allDisjointClasses manually (using multiselect).
They are nice because they are much more compact, but you are right this is
an OWL 2 construct and breaks backwards compatibility.

The quickest solution I can put in place is an option on the "Make all
primitive siblings disjoint" action.

But at some point it would be really nice to have "save as owl1.0" which
performs transforms where possible and warns where not.


2009/4/7 Stefano David <sdavid at>

> Hash: SHA1
> Hi,
> I'm using P4 b108 and I created an OWL 1 ontology, with a set of
> disjoint (sub)classes. I discovered that if you manually specify class'
> disjointness, then the axioms are saved (in RDF/XML) as OWL 1 with
> owl:disjointWith axioms, whereas if you use the shortcut C-j (or the
> menu item Edit -> make all siblings disjoint), they are saved with the
> constructors owl:AllDisjointClasses and owl:members, therefore breaking
> compatibility with OWL 1.
> As a side note, the OWL Validator at is not working today,
> so I cannot check against it (but I did it a couple of days ago).
> So, I wonder whether there is the possibility to save the ontology in
> OWL 1, using only owl:disjointWith.
> Thank you in advance,
> Stefano David
> Version: GnuPG v1.4.6 (GNU/Linux)
> Comment: Using GnuPG with Mozilla -
> OtRyD5OaD0lm6MY8ex+vTp8=
> =iCih
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the p4-feedback mailing list