W3C home > Mailing lists > Public > semantic-web@w3.org > October 2005

MKE 7.1: metaphysics and RDF/OWL

From: Richard H. McCullough <rhm@volcano.net>
Date: Thu, 6 Oct 2005 12:52:37 -0700
Message-ID: <000f01c5caaf$bca7ac80$0100000a@rhm8200>
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

/  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

/  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

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;
Received on Thursday, 6 October 2005 19:54:35 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:40:56 UTC