- From: <ewallace@cme.nist.gov>
- Date: Thu, 29 Sep 2005 09:30:19 -0400 (EDT)
- To: holger@SMI.Stanford.EDU, michael.f.uschold@boeing.com
- Cc: public-swbp-wg@w3.org
Mike Uschold wrote: >Quick revision, in think I figured out what the 2nd point means, and I >added a third. Is this right? > >Properties, Attributes and Values >OO: >Properties attached to single class; inherited to its subclasses. >Instances can have values only for attached properties. Values must be >correctly typed. >Range constraints used for type checking > >Ont: >Properties stand alone. Attached to multiple classes via domain >constraints and inheritance >Individuals can have arbitrary values for any property >Range constraints used for type inference and type checking > >NB I added the last one, you hint at type inference, but don't come out >and say it. >A very important difference. One can conclude the type of an individual >from its place in a relationship instance. Exactly. The looseness of typing in RDF and OWL can seem pretty strange for an OO person. -Evan
Received on Thursday, 29 September 2005 13:30:34 UTC