W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2002


From: Richard H. McCullough <rhm@cdepot.net>
Date: Mon, 18 Nov 2002 10:57:40 -0800
Message-ID: <001601c28f35$0b8465a0$bd7ba8c0@rhm8200>
To: <public-webont-comments@w3.org>
Cc: "RDF-Interest" <www-rdf-interest@w3.org>
Note: this document is available online at http://rhm.cdepot.net/doc/definitionOf.txt

# KEHOME/doc/definitionOf.txt
# Nov/18/2002

Author: Richard H. McCullough
Date: November 18, 2002

speciesOf and individualOf
Example: man is a rational animal

I contend that the OWL language [1] is missing three
essential properties:


The remainder of this document briefly describes these
properties and gives an example: Aristotle's definition
of man: "man is a rational animal".

In the spirit of allowed alternative syntax [1],
this document uses the syntax of [3],[4].

speciesOf and individualOf
The OWL guide [2] recognizes the importance of distinguishing
between classes and individuals.  I propose that two new
properties be added to OWL to facilitate the distinction:

        subject has individualOf = object
        subject has speciesOf = object

"speciesOf" differs from "subClassOf" and "subPropertyOf"
because it excludes "sameAs".  In the terminology of set
theory, "speciesOf" denotes a proper subset.

These two properties can be more simply expressed as:

        subject isu object
        subject iss object

("u" stands for unit, which is another name for individual.)

definitionOf is a ternary relation:

        definitionOf subject genus differentia

which may be expressed as

        subject isu genus with differentia
        subject iss genus with differentia

"genus" is the Class or Property which subsumes the "subject".
"differentia" is the set of essential properties which
distinguish the "subject" from other members of "genus".

Example: man is a rational animal
In the alternative syntax of [3],[4], this definition is

        man iss animal with rational

"man" is a species of the genus "animal".  "rational" is the 
property of "man" which distinguishes man from other animals.

[1] OWL language reference
[2] OWL guide
[3] KR language
[4] KR implementation

Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition
Received on Monday, 18 November 2002 14:02:38 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:43 UTC