- From: Richard H. McCullough <rhm@volcano.net>
- Date: Thu, 6 Oct 2005 12:52:37 -0700
- To: "semantic-web at W3C" <semantic-web@w3c.org>, "OWL at W3C" <www-rdf-logic@w3.org>
- Cc: "KR-language" <KR-language@YahooGroups.com>, "Latimer, Richard S." <rslatimer@comcast.net>, "Apollo, Adrian" <thinkonaut@yahoo.com>
I have been doing some work on Ayn Rand's
axiomatic concepts, using the ECP hierarchy
existent
/ entity
/ characteristic
/ proposition
and the axiomatic propositions
existence :: entity do exist done;
identity :: entity HAS characteristic;
existence IS identity;
This is very similar to the RDF/OWL EPS hierarchy
Thing
/ Entity
/ Property
/ Statement
and its axiomatic propositions
existence :: Entity do exist done;
identity :: Entity HAS Property;
existence IS identity;
MKE 7.1 adds the "IS" and "HAS" verbs, and the
named proposition separator "::" which are
applicable to both contexts: metaphysics and
RDF/OWL.
The interesting comparison here is the mapping
of verbs between MKR and OWL. There are large
differences in domains and ranges.
IS equivalentTo
HAS characteristic HAS Property
is sameIndividualAs.samePropertyAs,sameClassAs
haspart part
has attribute has ObjectProperty
rel relation
do action
The upper-case verbs all apply to the abstraction
level of the hierarchies shown above. The lower-
case verbs apply to the refined hierarchy where
we distinguish types of characteristic/Property.
characteristic Property
/ definition / Restriction,ObjectRestriction
/ part
/ attribute / ObjectProperty
/ relation
/ action
/ interaction
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/
Received on Thursday, 6 October 2005 19:54:30 UTC