W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2003

owl:Restriction and genus-differentia definitions

From: Richard H. McCullough <rhm@cdepot.net>
Date: Wed, 25 Jun 2003 18:22:34 -0700
Message-ID: <001101c33b81$ebeb6b40$be7ba8c0@rhm8200>
To: "www-rdf-logic at W3C" <www-rdf-logic@w3.org>
Cc: "KR-language" <KR-language@YahooGroups.com>

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;

----- Original Message ----- 
From: "Jim Hendler" <hendler@cs.umd.edu>
To: "Richard H. McCullough" <rhm@cdepot.net>; "Guus Schreiber"
<schreiber@swi.psy.uva.nl>
Cc: <public-webont-comments@w3.org>
Sent: Wednesday, June 25, 2003 5:17 PM
Subject: [closed] Re: Restriction, DeprecatedClass in OWL Language Reference
31 March 2003


> At 9:11 AM -0700 6/25/03, Richard H. McCullough wrote:
> >1. I consider your response satisfactory.
>
> thanks Richard.  I'd like to suggest that you might repost the below
> to rdf-logic where it will get a wider readership and engender
> discussion.
>
> >
> >2. I would like to explain why
> >     owl:Restriction  rdfs:subClassOf  rdfs:Property
> >makes sense to me, based on the idea of a genus-differentia definition.
> >a. In the weak sense (owl:equivalentClass), OWL has genus-differentia
> >definitions.
> >A species class is defined as the intersection of
> >     a subClass of its genus class
> >and one or more
> >     Restriction class
> >b. In the philosophical sense, a genus-differentia definition is a
> >conjunction.
> >A species class is defined as the conjunction of
> >     ?x is an instance of its genus class
> >and one or more
> >     ?x  has subProperty
> >where subProperty is related to a common Property of all the instances.
> >It appears to me that the only purpose of owl:Restriction
> >is to specify a subProperty of a class definition.
> >
Received on Wednesday, 25 June 2003 21:26:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:46 GMT