Search Mailing List Archives
[p4-feedback] P4 and OWL 1
nick.drummond at cs.manchester.ac.uk
Tue Apr 7 02:46:50 PDT 2009
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 delicias.dia.fi.upm.es>
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 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 mygrid.org.uk 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
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.6 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
> -----END PGP SIGNATURE-----
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the p4-feedback