Source | Triples | Messages | Graph | Feedback | Back to Validator Input
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:
Your RDF document validated successfully.
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