- From: Richard H. McCullough <rhm@cdepot.net>
- Date: Wed, 25 Jun 2003 18:22:34 -0700
- 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 UTC