[Obi-instrument-branch] couple of problems

[Alan Ruttenberg]

optical filter has_part some filter function
obscuration bar has_part some filter function

functions can't be part of materials

detected as inconsistent when I added the axiom (part_of some material
entity) equivalentTo material_entity

-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

[Barry Smith]

At 02:05 PM 11/18/2008, Alan Ruttenberg wrote:
>optical filter has_part some filter function
>obscuration bar has_part some filter function
>
>functions can't be part of materials

of course they can't; I could have told you that

[Alan Ruttenberg]

:)
Yes, but my reasoner told me, which is even better.
Better that we all had the presence of mind to not make mistakes in
the first place ;-)
-Alan

[Alan Ruttenberg]

One more: microarray wash station has_part environment control function
-Alan

[Melanie Courtot]

Those have now been corrected.
Thanks,
Melanie

[frank gibson]

I am going to say protege made those mistakes :)

On Tue, Nov 18, 2008 at 9:21 PM, Melanie Courtot <mcou...@gmail.com> wrote:
> Those have now been corrected.
> Thanks,
> Melanie
>
> On 18-Nov-08, at 11:24 AM, Alan Ruttenberg wrote:
>

--
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
https://homepages.cs.ncl.ac.uk/frank.gibson