Re: basicmkr.owl

Addendum: 
"is" should have been included in my basic MKR list.

<rdf:Property  mkr:is>
    <owl:sameAs>   owl:sameAs </owl:sameAs>
    <rdfs:label>   is         </rdfs:label>
    <rdfs:comment> is identical to, is an alias of </rdfs:comment>
    <rdfs:domain>  owl:Thing </rdfs:domain>
    <rdfs:range>   owl:Thing </rdfs:range>
</rdf:Property>

Note:
MKE detects non-disjoint units and species by checking 
for units which have multiple "primitive" concepts,
and for species that have multiple genus concepts.  
MKE considers this "ambiguity" to be an error, 
but has the ability to process all ambiguities.

P.S. I posted the latest version on my web site
http://rhm.cdepot.net/knowledge/theory/OWL/basicmkr.owl

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

  ----- Original Message ----- 
  From: Richard H. McCullough 
  To: www-rdf-logic at W3C 
  Sent: Saturday, May 17, 2003 4:07 AM
  Subject: 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;