Ontology(O directive1 … directiven) |
O rdf:type owl:Ontology .
T(directive1) … T(directiven) |
|
Ontology(directive1 … directiven) |
O rdf:type owl:Ontology .
T(directive1) … T(directiven) |
|
Annotation(ontologyPropertyID URIreference) |
ontologyPropertyID rdf:type owl:OntologyProperty .
O ontologyPropertyID URIreference . URIreference rdf:type owl:Ontology . |
|
Annotation(annotationPropertyID URIreference) |
annotationPropertyID rdf:type owl:AnnotationProperty .
annotationPropertyID rdf:type rdf:Property . [opt]
O annotationPropertyID URIreference . |
|
Annotation(annotationPropertyID dataLiteral) |
annotationPropertyID rdf:type owl:AnnotationProperty .
annotationPropertyID rdf:type rdf:Property . [opt]
O annotationPropertyID T(dataLiteral) . |
|
Annotation(annotationPropertyID individual) |
annotationPropertyID rdf:type owl:AnnotationProperty .
annotationPropertyID rdf:type rdf:Property . [opt]
O annotationPropertyID T(individual) . |
|
rdfs:Literal | |
rdfs:Literal |
datatypeID |
datatypeID rdf:type rdfs:Datatype . |
datatypeID |
classID |
classID rdf:type owl:Class .
classID rdf:type rdfs:Class . [opt] |
classID |
individualID |
|
individualID |
datavaluedPropertyID |
datavaluedPropertyID rdf:type owl:DatatypeProperty .
datavaluedPropertyID rdf:type rdf:Property . [opt] |
datavalued- PropertyID |
individualvaluedPropertyID |
individualvaluedPropertyID rdf:type owl:ObjectProperty .
[opt if there is a triple in the translation
of the ontology that types the individualvaluedPropertyID as owl:InverseFunctionalProperty,
owl:TransitiveProperty, or owl:SymmetricProperty] .
individualvaluedPropertyID rdf:type rdf:Property . [opt] |
individualvalued- PropertyID |
dataLiteral |
dataLiteral |
dataLiteral |
Individual(iID annotation1 … annotationm
type(type1)… type(typen)
value(pID1 v1)
… value(pIDk vk))
|
iID T(annotation1) … iID T(annotationm)
iID rdf:type T(type1) . … iID rdf:type T(typen) .
iID T(pID1) T(v1) . … iID T(pIDk) T(vk) .
|
iID |
Individual(annotation1 … annotationm
type(type1)…type(typen)
value(pID1 v1)
… value(pIDk vk))
(With at least one type.)
|
_:x T(annotation1) … _:x T(annotationm)
_:x rdf:type T(type1) . … _:x rdf:type T(typen) .
_:x T(pID1) T(v1) . … _:x T(pIDk) T(vk) .
|
_:x |
Individual(annotation1 … annotationm
value(pID1 v1)
… value(pIDk vk))
|
_:x T(annotation1) … _:x T(annotationm)
_:x rdf:type owl:Thing . _:x T(pID1) T(v1) . … _:x T(pIDk) T(vk) .
|
_:x |
SameIndividual(iID1 … iIDn) |
iIDi owl:sameAs iIDi+1 . 1≤i<n
iIDi owl:sameAs iIDj . [opt] 1≤i≠j≤n
|
|
DifferentIndividuals(iID1 … iIDn) |
iIDi owl:differentFrom iIDj .
OR
iIDj owl:differentFrom iIDi . 1≤i<j≤n
iIDj owl:differentFrom iIDi . [opt] 1≤i≠j≤n
|
|
DifferentIndividuals(iID1 … iIDn) |
_:x rdf:type owl:AllDifferent .
_:x owl:distinctMembers T(SEQ iID1 … iIDn) . |
|
Class(classID [Deprecated] partial
annotation1 … annotationm
description1 … descriptionn)
|
classID rdf:type owl:Class .
classID rdf:type rdfs:Class . [opt]
[classID rdf:type owl:DeprecatedClass .]
classID T(annotation1) … classID T(annotationm)
classID rdfs:subClassOf T(description1) . …
classID rdfs:subClassOf T(descriptionn) .
|
|
Class(classID [Deprecated] complete
annotation1 … annotationm
description1 … descriptionn)
|
classID rdf:type owl:Class .
classID rdf:type rdfs:Class . [opt]
[classID rdf:type owl:DeprecatedClass .]
classID T(annotation1) … classID T(annotationm)
classID owl:intersectionOf T(SEQ description1…descriptionn) .
|
|
Class(classID [Deprecated] complete
annotation1 … annotationm
description)
|
classID rdf:type owl:Class .
classID rdf:type rdfs:Class . [opt]
[classID rdf:type owl:DeprecatedClass .]
classID T(annotation1) … classID T(annotationm)
classID owl:equivalentClass T(description) .
|
|
Class(classID [Deprecated] complete
annotation1 … annotationm
unionOf(description1 … descriptionn))
|
classID rdf:type owl:Class .
classID rdf:type rdfs:Class . [opt]
[classID rdf:type owl:DeprecatedClass .]
classID T(annotation1) … classID T(annotationm)
classID owl:unionOf T(SEQ description1…descriptionn) .
|
|
Class(classID [Deprecated] complete
annotation1 … annotationm
complementOf(description))
|
classID rdf:type owl:Class .
classID rdf:type rdfs:Class . [opt]
[classID rdf:type owl:DeprecatedClass .]
classID T(annotation1) … classID T(annotationm)
classID owl:complementOf T(description) .
|
|
EnumeratedClass(classID [Deprecated]
annotation1 … annotationm
iID1 … iIDn)
|
classID rdf:type owl:Class .
classID rdf:type rdfs:Class . [opt]
[classID rdf:type owl:DeprecatedClass .]
classID T(annotation1) … classID T(annotationm) .
classID owl:oneOf T(SEQ iID1…iIDn) .
|
|
DisjointClasses(description1 … descriptionn) |
T(descriptioni) owl:disjointWith T(descriptionj) . OR T(descriptionj) owl:disjointWith T(descriptioni) . 1≤i<j≤n
T(descriptioni) owl:disjointWith T(descriptionj) . [opt] 1≤i≠j≤n
|
|
EquivalentClasses(description1 … descriptionn) |
T(descriptioni) owl:equivalentClass T(descriptionj) .
for all <i,j> in G
where G is a set of pairs over {1,...,n}x{1,...,n} that if
interpreted as an undirected graph forms a connected graph
for {1,...,n}
|
|
SubClassOf(description1 description2)
|
T(description1) rdfs:subClassOf T(description2) .
|
|
Datatype(datatypeID [Deprecated]
annotation1 … annotationm )
|
datatypeID rdf:type rdfs:Datatype .
datatypeID rdf:type rdfs:Class . [opt]
[datatypeID rdf:type owl:DeprecatedClass .]
datatypeID T(annotation1) … datatypeID T(annotationm) |
|
unionOf(description1 … descriptionn) |
_:x rdf:type owl:Class .
_:x rdf:type rdfs:Class . [opt]
_:x owl:unionOf T(SEQ description1…descriptionn) .
|
_:x |
intersectionOf(description1 … descriptionn) |
_:x rdf:type owl:Class .
_:x rdf:type rdfs:Class . [opt]
_:x owl:intersectionOf T(SEQ description1…descriptionn) .
|
_:x |
complementOf(description) |
_:x rdf:type owl:Class .
_:x rdf:type rdfs:Class . [opt]
_:x owl:complementOf T(description) .
|
_:x |
oneOf(iID1 … iIDn) |
_:x rdf:type owl:Class .
_:x rdf:type rdfs:Class . [opt]
_:x owl:oneOf T(SEQ iID1…iIDn) .
|
_:x |
oneOf(v1 … vn) |
_:x rdf:type owl:DataRange .
_:x rdf:type rdfs:Class . [opt]
_:x owl:oneOf T(SEQ v1 … vn) .
|
_:x |
restriction(ID component1 … componentn)
(With at least two components) |
_:x rdf:type owl:Class .
_:x rdf:type rdfs:Class . [opt]
_:x owl:intersectionOf
T(SEQ(restriction(ID component1) …
restriction(ID componentn))) . |
_:x |
restriction(ID allValuesFrom(range)) |
_:x rdf:type owl:Restriction .
_:x rdf:type owl:Class . [opt]
_:x rdf:type rdfs:Class . [opt]
_:x owl:onProperty T(ID) .
_:x owl:allValuesFrom T(range) .
|
_:x |
restriction(ID someValuesFrom(required)) |
_:x rdf:type owl:Restriction .
_:x rdf:type owl:Class . [opt]
_:x rdf:type rdfs:Class . [opt]
_:x owl:onProperty T(ID) .
_:x owl:someValuesFrom T(required) .
|
_:x |
restriction(ID value(value)) |
_:x rdf:type owl:Restriction .
_:x rdf:type owl:Class . [opt]
_:x rdf:type rdfs:Class . [opt]
_:x owl:onProperty T(ID) .
_:x owl:hasValue T(value) .
|
_:x |
restriction(ID minCardinality(min)) |
_:x rdf:type owl:Restriction .
_:x rdf:type owl:Class . [opt]
_:x rdf:type rdfs:Class . [opt]
_:x owl:onProperty T(ID) .
_:x owl:minCardinality "min"^^xsd:nonNegativeInteger .
|
_:x |
restriction(ID maxCardinality(max)) |
_:x rdf:type owl:Restriction .
_:x rdf:type owl:Class . [opt]
_:x rdf:type rdfs:Class . [opt]
_:x owl:onProperty T(ID) .
_:x owl:maxCardinality "max"^^xsd:nonNegativeInteger .
|
_:x |
restriction(ID cardinality(card)) |
_:x rdf:type owl:Restriction .
_:x rdf:type owl:Class . [opt]
_:x rdf:type rdfs:Class . [opt]
_:x owl:onProperty T(ID) .
_:x owl:cardinality "card"^^xsd:nonNegativeInteger .
|
_:x |
DatatypeProperty(ID [Deprecated]
annotation1 … annotationm
super(super1)… super(supern)
domain(domain1)… domain(domaink)
range(range1)…
range(rangeh) [Functional])
|
ID rdf:type owl:DatatypeProperty .
ID rdf:type rdf:Property . [opt]
[ID rdf:type owl:DeprecatedProperty .]
ID T(annotation1) … ID T(annotationm)
ID rdfs:subPropertyOf T(super1) . …
ID rdfs:subPropertyOf T(supern) .
ID rdfs:domain T(domain1) . …
ID rdfs:domain T(domaink) .
ID rdfs:range T(range1) . …
ID rdfs:range T(rangeh) .
[ID rdf:type owl:FunctionalProperty . ]
|
|
ObjectProperty(ID [Deprecated]
annotation1 … annotationm
super(super1)… super(supern)
domain(domain1)…
domain(domaink)
range(range1)…
range(rangeh)
[inverseOf(inverse)]
[Functional |
InverseFunctional |
Transitive])
[Symmetric]
|
ID rdf:type owl:ObjectProperty .
[opt if one of the last three triples is included]
ID rdf:type rdf:Property . [opt]
[ID rdf:type owl:DeprecatedProperty .]
ID T(annotation1) … ID T(annotationm)
ID rdfs:subPropertyOf T(super1) . …
ID rdfs:subPropertyOf T(supern) .
ID rdfs:domain T(domain1) . …
ID rdfs:domain T(domaink) .
ID rdfs:range T(range1) . …
ID rdfs:range T(rangeh) .
[ID owl:inverseOf T(inverse) .]
[ID rdf:type owl:FunctionalProperty . ]
[ID rdf:type owl:InverseFunctionalProperty . ]
[ID rdf:type owl:TransitiveProperty . ]
[ID rdf:type owl:SymmetricProperty . ]
|
|
AnnotationProperty(ID
annotation1 … annotationm) |
ID rdf:type owl:AnnotationProperty .
ID rdf:type rdf:Property . [opt]
ID T(annotation1) … ID T(annotationm) |
|
OntologyProperty(ID
annotation1 … annotationm)
|
ID rdf:type owl:OntologyProperty .
ID rdf:type rdf:Property . [opt]
ID T(annotation1) … ID T(annotationm) |
|
EquivalentProperties(dvpID1 … dvpIDn) |
T(dvpIDi)
owl:equivalentProperty T(dvpIDi+1) . 1≤i<n
|
|
SubPropertyOf(dvpID1 dvpID2) |
T(dvpID1) rdfs:subPropertyOf T(dvpID2) . |
|
EquivalentProperties(ivpID1 … ivpIDn) |
T(ivpIDi) owl:equivalentProperty T(ivpIDi+1) . 1≤i<n
|
|
SubPropertyOf(ivpID1 ivpID2) |
T(ivpID1) rdfs:subPropertyOf T(ivpID2) . |
|
annotation(annotationPropertyID URIreference) |
annotationPropertyID URIreference .
annotationPropertyID rdf:type owl:AnnotationProperty . annotationPropertyID rdf:type rdf:Property . [opt] |
|
annotation(annotationPropertyID dataLiteral) |
annotationPropertyID T(dataLiteral) .
annotationPropertyID rdf:type owl:AnnotationProperty .
annotationPropertyID rdf:type rdf:Property . [opt] |
|
annotation(annotationPropertyID individual) |
annotationPropertyID T(individual) .
annotationPropertyID rdf:type owl:AnnotationProperty .
annotationPropertyID rdf:type rdf:Property . [opt] |
|
SEQ | | rdf:nil |
SEQ item1…itemn |
_:l1 rdf:type rdf:List . [opt]
_:l1 rdf:first T(item1) .
_:l1 rdf:rest _:l2 .
…
_:ln rdf:type rdf:List . [opt]
_:ln rdf:first T(itemn) .
_:ln rdf:rest rdf:nil . |
_:l1 |