RE: TODO++: daml-ont TallThing

> > There are a couple of minor nits in the example ontology:
> > 
> > 1) Father is desribed as having range Man, but presumably
> >    inherits domain Animal from Parent.  Mother is similar.

A mother of a fox is not human.  I'd expect the domain and range
to match i.e. domain of mother is person if range is woman, or
range of mother is female animal if domain is animal.

A real nit - sorry.


Received on Wednesday, 1 November 2000 12:26:14 UTC