owl:Restriction and genus-differentia definitions

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.
> >