RE: definitionOf

From: Jon Hanna <jon@spin.ie> Date: Tue, 19 Nov 2002 12:15:55 -0000 To: "RDF-Interest" <www-rdf-interest@w3.org> Message-ID: <NDBBLCBLIMDOPKMOPHLHKEMPEJAA.jon@spin.ie> · This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:57 GMT

> 2. individualOf vs. type
>  a. subject isu object
>      iff subject has individualOf = object
>      subject must be an individual
>  b. subject has type = object
>      subject can be any individual or any subClass of object

Are you sure that is the correct definition of rdf:type? My understanding
was that rdf:type was as you have expressed your proposed owl:individualOf
here.

> 3. definitionOf expressed in triples
> I have not made any specific proposal for representing this "quad" in >
triples.

Since you are proposing it be used with a triple-based language, it might be
an idea to do so.