W3C home > Mailing lists > Public > public-swbp-wg@w3.org > September 2005

RE: [SE] Suggestion of new note

From: <ewallace@cme.nist.gov>
Date: Thu, 29 Sep 2005 09:30:19 -0400 (EDT)
Message-Id: <200509291330.JAA24871@clue.mel.nist.gov>
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 
>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 
>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.

Received on Thursday, 29 September 2005 13:30:34 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:31:12 UTC