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 07:00:10 PDT 2009


There are lots of owl2 constructs that would break compatibility.
There is not much to prevent or warn about this at the moment.
To track it down you could try an owl DL (owl1) extraction using "Refactor |
move/copy/delete axioms" and compare the results with the starting ontology
using my diff view [1].

Let me know what you find. It might be that this is avoidable at
serialisation time.



2009/4/7 Stefano David <sdavid at>

> Hash: SHA1
> Hi nick,
> Thank for your quick response.
> Nick Drummond wrote:
> > 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.
> I know, AFAIK AllDisjointClass is just syntactic sugar. I also prefer it
> over single pairwise disjoint axioms, but that's a problem when you need
> to use OWL 1. :-)
> > I've implemented this as a refactor action.
> > This gives the user more flexibility as you can transform existing
> > ontologies (so obviously if a plugin doesn't do the "correct" thing for
> your
> > circumstances it is still possible to transform).
> ...and thanks for the quick "fix".
> Let me just ask a further question. I think there are some other
> cunstructors that break backwards compatibility. I think it is something
> about nominals, but can't find the owl file in which it happened. As
> soon as I have a bit of spare time I will investigate further and let
> you know.
> The question is: Does your implementation take also this into
> consideration?
> Thank you again, I really appreciate the time you took for me!
> Greetings,
> Stefano
> Version: GnuPG v1.4.6 (GNU/Linux)
> Comment: Using GnuPG with Mozilla -
> iD8DBQFJ20CmAdgNxdAXG9QRAqvvAJ9xGJtZizO4iZlFo1atjZS9KYyaxgCglMDu
> CLxd7atcFW5iiqRLzjcijUs=
> =8cQk
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the p4-feedback mailing list