W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2005

genus-differential definitions in OWL and MKR

From: Richard H. McCullough <rhm@volcano.net>
Date: Thu, 13 Oct 2005 22:31:54 -0700
Message-ID: <001201c5d080$b966cac0$0100000a@rhm8200>
To: "KR-language" <KR-language@YahooGroups.com>
Cc: "OWL at W3C" <www-rdf-logic@w3.org>, "semantic-web at W3C" <semantic-web@w3c.org>


Complete mapping is given in
  http://rhm.cdepot.net/knowledge/theory/OWL/Restriction.html

Note that OWL definition could be significantly shortened.

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/

Received on Friday, 14 October 2005 05:33:01 GMT

This message: [ Message body ]
Next message: Richard H. McCullough: "intersection & union definitions in OWL and MKR"
Previous message: Richard H. McCullough: "ISO 15926-2 definition of owl:Class"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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