basicmkr.owl

The purpose of this note is to clarify the basic
relations between MKR and OWL.  I have tried to
express everything in legal OWL statements.

<rdf:Property  mkr:similarTo>
    <rdfs:label> is similar to </rdfs:label>
    <rdfs:comment> same basic idea, but subtle differences </rdfs:comment>
    <rdfs:domain> owl:Thing </rdfs:domain>
    <rdfs:range>  owl:Thing </rdfs:range>
</rdf:Property>

<mkr:existent        owl:sameAs     owl:Thing/>
<mkr:nonexistent     mkr:similarTo  owl:Nothing/>
<mkr:concept         mkr:similarTo  owl:Class/>
<mkr:species         mkr:similarTo  owl:subClass/>
<mkr:unit            mkr:similarTo  owl:Individual/>
<mkr:entity          mkr:similarTo  owl:?????/>
<mkr:characteristic  owl:sameAs     rdf:Property/>
<mkr:statement       mkr:similarTo  rdf:Statement/>

<rdf:Property  mkr:isu>
    <owl:inverseOf>      isp        </owl:inverseOf>
    <rdfs:subPropertyOf> isa        </rdfs:subPropertyOf>
    <mkr:similarTo>      rdf:type   </mkr:similarTo>
    <rdfs:label>         is unit of </rdfs:label>
    <rdfs:comment>       is a unit of the "primitive" concept </rdfs:comment>
    <rdfs:domain>        List of disjoint mkr:unit </rdfs:domain>
    <rdfs:range>         mkr:concept               </rdfs:range>
</rdf:Property>

<rdf:Property  mkr:iss>
    <owl:inverseOf>      isg             </owl:inverseOf>
    <rdfs:subPropertyOf> isa             </rdfs:subPropertyOf>
    <mkr:similarTo>      rdfs:subClassOf </mkr:similarTo>
    <rdfs:label>         is species of   </rdfs:label>
    <rdfs:comment>       is a species of the genus concept </rdfs:comment>
    <rdfs:domain>        List of disjoint mkr:concept </rdfs:domain>
    <rdfs:range>         mkr:concept                  </rdfs:range>
</rdf:Property>

<rdf:Property  mkr:isa>
    <owl:inverseOf> isc  </owl:inverseOf>
    <rdfs:label>    is a </rdfs:label>
    <rdfs:comment>  is a unit or species of the concept </rdfs:comment>
    <rdfs:domain>   List of disjoint mkr:unit or mkr:species </rdfs:domain>
    <rdfs:range>    mkr:concept                              </rdfs:range>
</rdf:Property>

<rdf:Property  mkr:isp>
    <rdfs:label> is primitive of </rdfs:label>
    <rdfs:comment> is the primitive concept of disjoint units </rdfs:comment>
</rdf:Property>

<rdf:Property  mkr:isg>
    <rdfs:label> is genus of </rdfs:label>
    <rdfs:comment> is the genus of disjoint species </rdfs:comment>
</rdf:Property>

<rdf:Property  mkr:isc>
    <rdfs:label> is concept of </rdfs:label>
    <rdfs:comment> is the concept of disjoint units or species <rdfs:comment>
</rdf:Property>

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;