Pointers from today's meeting

[Alan Ruttenberg]

A nice paper about what part-of means.

Biomedical Ontologies: What Part-Of Is and Isn’t
Stefan Schulz & Anand Kumar
http://www.ifomis.uni-saarland.de/people/kumar/JBI_05.pdf

An implementation of whole-part association, with an example
inference that
anything with an arm part has a leg part (includes example of
distinguished versus non-distinguished variable in sparql query).
Inspired by Dan Corwin desire to implement topic map concepts in OWL.

http://svn.mumble.net:8080/svn/lsw/trunk/owl/tests/association.lisp

-Alan