- From: Richard H. McCullough <rhm@volcano.net>
- Date: Thu, 13 Oct 2005 22:47:19 -0700
- To: "KR-language" <KR-language@YahooGroups.com>
- Cc: "OWL at W3C" <www-rdf-logic@w3.org>, "semantic-web at W3C" <semantic-web@w3c.org>
I'm going to make these even more abbreviated because I'm getting tired of writing OWL. Note: line boundaries are invisible in MKR. Each definition could have been written on a single line. # OWL definition # MKR definition <Class ... "subject"> subject <intersectionOf> isand <Class ... "c1"/> c1, ... ..., </intersectionOf> ; </Class> <Class ... "subject"> subject <unionOf> isor <Class ... "c1"/> c1, ... ..., </unionOf> ; </Class> <Class ... "subject"> subject <disjointUnionOf> isxor <Class ... "c1"/> c1, ... ..., </disjointUnionOf> ; </Class> Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; http://rhm.cdepot.net/
Received on Friday, 14 October 2005 05:48:08 UTC