MKE 7.1: metaphysics and RDF/OWL

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