W3C RDF Validation Results RDF Resource Description Framework Powered Icon

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

NumberSubjectPredicateObject
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