[Obi-instrument-branch] Disjoints in InstrumentAndPart.owl

0 views
Skip to first unread message

Alan Ruttenberg

unread,
Jul 18, 2008, 11:40:01 PM7/18/08
to obi-instru...@lists.sourceforge.net
As we've discussed, we're managing disjoints as part of the release
process. However I've just noticed that instrument and part has
explicit disjoints. Was this intentional? What was the thinking, if so?

Best,
Alan


-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Obi-instrument-branch mailing list
Obi-instru...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/obi-instrument-branch

frank gibson

unread,
Jul 19, 2008, 6:08:09 PM7/19/08
to Alan Ruttenberg, obi-instru...@lists.sourceforge.net
I think it sneaked in by using the wizard to add terms, functions will
probably demonstrate the same feature :) Why does this present an
issue?

Frank

--
Frank Gibson
Research Associate
Room 2.19, Devonshire Building
School of Computing Science,
Newcastle University,
Newcastle upon Tyne, NE1 7RU
United Kingdom
Telephone: +44-191-246-4933
Fax: +44-191-246-4905

Alan Ruttenberg

unread,
Jul 19, 2008, 6:42:07 PM7/19/08
to frank gibson, obi-instru...@lists.sourceforge.net
We're managing the disjoints by script because they invariably get out
of sync.
It's also easy to switch them in and out that way. We're having some
issues with reasoner performance and that would be helpful.

I'll remove them and let the script do its work.
-Alan

Reply all
Reply to author
Forward
0 new messages