# RDF Validation Results

Source | Triples | Messages | Graph | Feedback | Back to Validator Input

### The original RDF/XML document

    1: <?xml version="1.0" encoding="UTF-8"?>
    2: <!-- KEHOME/knowledge/theory/OWL/basicmkr.owl -->
    3: <!-- May/18/2003 -->
    4:
    5: <!--
    6: The purpose of this note is to clarify the basic
    7: relations between MKR and OWL.
    8:
    9: MKE detects non-disjoint units and species by checking
    10: for units which have multiple primitive concepts,
    11: and for species that have multiple genus concepts.
    12: MKE considers this "ambiguity" to be an error,
    13: but has the ability to process all ambiguities.
    14: -->
    15:
    16: <rdf:RDF
    17:     xmlns:mkr  = "http://rhm.cdepot.net/xml/"
    18:     xmlns      = "http://rhm.cdepot.net/xml/"
    19:     xml:base   = "http://rhm.cdepot.net/xml/"
    20:     xmlns:owl  = "http://www.w3.org/2002/07/owl#"
    21:     xmlns:rdf  = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    22:     xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#"
    23:     xmlns:dc   = "http://purl.org/dc/elements/1.1/"
    24:     xmlns:xsd  = "http://www.w3.org/2001/XMLschema#">
    25:
    26: <rdf:Property  rdf:ID="similarTo">
    27:     <rdfs:label>   is similar to </rdfs:label>
    28:     <rdfs:comment> same basic idea, but subtle differences </rdfs:comment>
    29:     <rdfs:domain rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    30:     <rdfs:range  rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    31: </rdf:Property>
    32:
    33: <owl:Thing rdf:ID="existent"> <owl:sameAs
    34:     rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    35:     </owl:Thing>
    36: <owl:Thing rdf:ID="nonexistent"> <mkr:similarTo
    37:     rdf:resource="http://www.w3.org/2002/07/owl#Nothing"/>
    38:     </owl:Thing>
    39: <owl:Thing rdf:ID="concept"> <mkr:similarTo
    40:     rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    41:     </owl:Thing>
    42: <owl:Thing rdf:ID="species"> <mkr:similarTo
    43:     rdf:resource="http://www.w3.org/2002/07/owl#subClass"/>
    44:     </owl:Thing>
    45: <owl:Thing rdf:ID="unit"> <mkr:similarTo
    46:     rdf:resource="http://www.w3.org/2002/07/owl#Individual"/>
    47:     </owl:Thing>
    48: <owl:Thing rdf:ID="entity"/>
    49: <owl:Thing rdf:ID="characteristic"> <owl:sameAs
    50:     rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
    51:     </owl:Thing>
    52: <owl:Thing rdf:ID="statement"> <mkr:similarTo
    53:     rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement"/>
    54:     </owl:Thing>
    55:
    56: <rdf:Property  rdf:ID="is">
    57:     <rdfs:label>   is </rdfs:label>
    58:     <rdfs:comment> is identical to, is an alias of </rdfs:comment>
    59:     <owl:sameAs  rdf:resource="http://www.w3.org/2002/07/owl#sameAs"/>
    60:     <rdfs:domain rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    61:     <rdfs:range  rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    62:     </rdf:Property>
    63:
    64: <rdf:Property  rdf:ID="isu">
    65:     <rdfs:label>   is unit of </rdfs:label>
    66:     <rdfs:comment> is a disjoint unit of the primitive concept </rdfs:comment>
    67:     <owl:inverseOf      rdf:resource="#isp"/>
    68:     <rdfs:subPropertyOf rdf:resource="#isa"/>
    69:     <mkr:similarTo      rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#type"/>
    70:     <rdfs:domain        rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
    71:     <rdfs:range         rdf:resource="#concept"/>
    72:     </rdf:Property>
    73:
    74: <rdf:Property           rdf:ID="iss">
    75:     <rdfs:label>   is species of </rdfs:label>
    76:     <rdfs:comment> is a disjoint species of the genus concept </rdfs:comment>
    77:     <owl:inverseOf      rdf:resource="#isg"/>
    78:     <rdfs:subPropertyOf rdf:resource="#isa"/>
    79:     <mkr:similarTo      rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/>
    80:     <rdfs:domain        rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
    81:     <rdfs:range         rdf:resource="#concept"/>
    82:     </rdf:Property>
    83:
    84: <rdf:Property  rdf:ID="isa">
    85:     <rdfs:label>   is a </rdfs:label>
    86:     <rdfs:comment> is a disjoint unit or species of the concept </rdfs:comment>
    87:     <owl:inverseOf rdf:resource="#isc"/>
    88:     <rdfs:domain   rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
    89:     <rdfs:range    rdf:resource="#concept"/>
    90:     </rdf:Property>
    91:
    92: <rdf:Property  rdf:ID="isp"
    93:     rdfs:label="is primitive concept of"
    94:     rdfs:comment="is the primitive concept of disjoint units"/>
    95:
    96: <rdf:Property  rdf:ID="isg"
    97:     rdfs:label="is genus concept of"
    98:     rdfs:comment="is the genus concept of disjoint species"/>
    99:
    100: <rdf:Property  rdf:ID="isc"
    101:     rdfs:label="is concept of"
    102:     rdfs:comment="is the concept of disjoint units or species"/>
    103:
    104: </rdf:RDF>
    105:

### Triples of the Data Model

Number | Subject | Predicate | Object
1 | http://rhm.cdepot.net/xml/#similarTo | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
2 | http://rhm.cdepot.net/xml/#similarTo | http://www.w3.org/2000/01/rdf-schema#label | "is similar to"
3 | http://rhm.cdepot.net/xml/#similarTo | http://www.w3.org/2000/01/rdf-schema#comment | "same basic idea, but subtle differences"
4 | http://rhm.cdepot.net/xml/#similarTo | http://www.w3.org/2000/01/rdf-schema#domain | http://www.w3.org/2002/07/owl#Thing
5 | http://rhm.cdepot.net/xml/#similarTo | http://www.w3.org/2000/01/rdf-schema#range | http://www.w3.org/2002/07/owl#Thing
6 | http://rhm.cdepot.net/xml/#existent | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Thing
7 | http://rhm.cdepot.net/xml/#existent | http://www.w3.org/2002/07/owl#sameAs | http://www.w3.org/2002/07/owl#Thing
8 | http://rhm.cdepot.net/xml/#nonexistent | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Thing
9 | http://rhm.cdepot.net/xml/#nonexistent | http://rhm.cdepot.net/xml/similarTo | http://www.w3.org/2002/07/owl#Nothing
10 | http://rhm.cdepot.net/xml/#concept | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Thing
11 | http://rhm.cdepot.net/xml/#concept | http://rhm.cdepot.net/xml/similarTo | http://www.w3.org/2002/07/owl#Class
12 | http://rhm.cdepot.net/xml/#species | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Thing
13 | http://rhm.cdepot.net/xml/#species | http://rhm.cdepot.net/xml/similarTo | http://www.w3.org/2002/07/owl#subClass
14 | http://rhm.cdepot.net/xml/#unit | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Thing
15 | http://rhm.cdepot.net/xml/#unit | http://rhm.cdepot.net/xml/similarTo | http://www.w3.org/2002/07/owl#Individual
16 | http://rhm.cdepot.net/xml/#entity | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Thing
17 | http://rhm.cdepot.net/xml/#characteristic | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Thing
18 | http://rhm.cdepot.net/xml/#characteristic | http://www.w3.org/2002/07/owl#sameAs | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
19 | http://rhm.cdepot.net/xml/#statement | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Thing
20 | http://rhm.cdepot.net/xml/#statement | http://rhm.cdepot.net/xml/similarTo | http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement
21 | http://rhm.cdepot.net/xml/#is | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
22 | http://rhm.cdepot.net/xml/#is | http://www.w3.org/2000/01/rdf-schema#label | "is"
23 | http://rhm.cdepot.net/xml/#is | http://www.w3.org/2000/01/rdf-schema#comment | "is identical to, is an alias of"
24 | http://rhm.cdepot.net/xml/#is | http://www.w3.org/2002/07/owl#sameAs | http://www.w3.org/2002/07/owl#sameAs
25 | http://rhm.cdepot.net/xml/#is | http://www.w3.org/2000/01/rdf-schema#domain | http://www.w3.org/2002/07/owl#Thing
26 | http://rhm.cdepot.net/xml/#is | http://www.w3.org/2000/01/rdf-schema#range | http://www.w3.org/2002/07/owl#Thing
27 | http://rhm.cdepot.net/xml/#isu | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
28 | http://rhm.cdepot.net/xml/#isu | http://www.w3.org/2000/01/rdf-schema#label | "is unit of"
29 | http://rhm.cdepot.net/xml/#isu | http://www.w3.org/2000/01/rdf-schema#comment | "is a disjoint unit of the primitive concept"
30 | http://rhm.cdepot.net/xml/#isu | http://www.w3.org/2002/07/owl#inverseOf | http://rhm.cdepot.net/xml/#isp
31 | http://rhm.cdepot.net/xml/#isu | http://www.w3.org/2000/01/rdf-schema#subPropertyOf | http://rhm.cdepot.net/xml/#isa
32 | http://rhm.cdepot.net/xml/#isu | http://rhm.cdepot.net/xml/similarTo | http://www.w3.org/1999/02/22-rdf-syntax-ns#type
33 | http://rhm.cdepot.net/xml/#isu | http://www.w3.org/2000/01/rdf-schema#domain | http://www.w3.org/1999/02/22-rdf-syntax-ns#List
34 | http://rhm.cdepot.net/xml/#isu | http://www.w3.org/2000/01/rdf-schema#range | http://rhm.cdepot.net/xml/#concept
35 | http://rhm.cdepot.net/xml/#iss | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
36 | http://rhm.cdepot.net/xml/#iss | http://www.w3.org/2000/01/rdf-schema#label | "is species of"
37 | http://rhm.cdepot.net/xml/#iss | http://www.w3.org/2000/01/rdf-schema#comment | "is a disjoint species of the genus concept"
38 | http://rhm.cdepot.net/xml/#iss | http://www.w3.org/2002/07/owl#inverseOf | http://rhm.cdepot.net/xml/#isg
39 | http://rhm.cdepot.net/xml/#iss | http://www.w3.org/2000/01/rdf-schema#subPropertyOf | http://rhm.cdepot.net/xml/#isa
40 | http://rhm.cdepot.net/xml/#iss | http://rhm.cdepot.net/xml/similarTo | http://www.w3.org/2000/01/rdf-schema#subClassOf
41 | http://rhm.cdepot.net/xml/#iss | http://www.w3.org/2000/01/rdf-schema#domain | http://www.w3.org/1999/02/22-rdf-syntax-ns#List
42 | http://rhm.cdepot.net/xml/#iss | http://www.w3.org/2000/01/rdf-schema#range | http://rhm.cdepot.net/xml/#concept
43 | http://rhm.cdepot.net/xml/#isa | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
44 | http://rhm.cdepot.net/xml/#isa | http://www.w3.org/2000/01/rdf-schema#label | "is a"
45 | http://rhm.cdepot.net/xml/#isa | http://www.w3.org/2000/01/rdf-schema#comment | "is a disjoint unit or species of the concept"
46 | http://rhm.cdepot.net/xml/#isa | http://www.w3.org/2002/07/owl#inverseOf | http://rhm.cdepot.net/xml/#isc
47 | http://rhm.cdepot.net/xml/#isa | http://www.w3.org/2000/01/rdf-schema#domain | http://www.w3.org/1999/02/22-rdf-syntax-ns#List
48 | http://rhm.cdepot.net/xml/#isa | http://www.w3.org/2000/01/rdf-schema#range | http://rhm.cdepot.net/xml/#concept
49 | http://rhm.cdepot.net/xml/#isp | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
50 | http://rhm.cdepot.net/xml/#isp | http://www.w3.org/2000/01/rdf-schema#label | "is primitive concept of"
51 | http://rhm.cdepot.net/xml/#isp | http://www.w3.org/2000/01/rdf-schema#comment | "is the primitive concept of disjoint units"
52 | http://rhm.cdepot.net/xml/#isg | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
53 | http://rhm.cdepot.net/xml/#isg | http://www.w3.org/2000/01/rdf-schema#label | "is genus concept of"
54 | http://rhm.cdepot.net/xml/#isg | http://www.w3.org/2000/01/rdf-schema#comment | "is the genus concept of disjoint species"
55 | http://rhm.cdepot.net/xml/#isc | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
56 | http://rhm.cdepot.net/xml/#isc | http://www.w3.org/2000/01/rdf-schema#label | "is concept of"
57 | http://rhm.cdepot.net/xml/#isc | http://www.w3.org/2000/01/rdf-schema#comment | "is the concept of disjoint units or species"

## Validation Results

Your RDF document validated successfully.

### Feedback

If you suspect the parser is in error, please enter an explanation below and then press the Submit problem report button, to mail the report (and listing) to www-rdf-validator@w3.org

Source | Triples | Messages | Graph | Feedback | Back to Validator Input