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

[Alan Ruttenberg]

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]

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]

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