relate prosthetic tooth to same type of natural tooth

[GoogleCodeExporter]

I'm not sure what the best strategy is here. Ideas:

1. Define subclasses of functional tooth with the analogous categories and have 
the cognate prosthetic, natural, and restored tooth as subtypes.

2. Something like: prosthetic left lower central secondary incisor tooth and 
(has_function some function that inheres_in some (left lower central secondary 
incisor tooth))

The problem is that it says that a role inheres in two things, which it doesn't 
in this case.

3. Define a new relation prosthetic_for 

I think this needs to be an instance:type relationship, since in the case of a 
missing tooth, congenital or otherwise the tooth (may) not exist, and therefore 
not the function.

Maybe:

x prosthetic_for Y if
exists(fy) FY =def function_of some Y
exists(fx) fx function_of x
fx instance of FY

We could then write 
prosthetic left lower central secondary incisor  subclassOf:  prosthetic_for  
value(left lower central secondary incisor) 
which would take advantage of punning (Y is an instance in the OWL expression).

Original issue reported on code.google.com by alanruttenberg@gmail.com on 20 Dec 2014 at 8:41

[GoogleCodeExporter]

I know we cannot directly represent things in ontologies  that are not there 
(like a "missing tooth").  Colloquially, we would say: "a prosthetic tooth  
replaces a missing natural tooth"  but, I guess this is hard to say 
ontologically.  So, one could also say "a prosthetic tooth  performs the 
function of a natural tooth that has the finding "missing".

Original comment by titus.sc...@gmail.com on 7 Jan 2015 at 1:54