Search Mailing List Archives
[p4-feedback] P4 and OWL 1
sdavid at delicias.dia.fi.upm.es
Mon Apr 6 23:57:33 PDT 2009
-----BEGIN PGP SIGNED MESSAGE-----
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,
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the p4-feedback