Examples for Description Logic to OWL 2 Translation
DL Syntax Turtle Syntax
Torus ⊑ SpatialGeometry :Torus rdfs:subClassOf :X3DSpatialGeometryNode .
filled ⊑ FillProperties :filled rdfs:subPropertyOf :FillProperties .
LightNode ≡ DirectionalLight ⊔ PointLight ⊔ SpotLight :X3DLightNode owl:disjointUnionOf (:DirectionalLight :PointLight :SpotLight) .
Box ⊓ Pyramid ⊑ ⊥ :Box owl:disjointWith :Pyramid .
⊤⊑∀visibilityRange.float :visibilityRange rdfs:range xsd:float .
⊤⊑∀topRadius.Cone :topRadius rdfs:domain :Cone .
createdBy ≡ creatorOf :createdBy a owl:ObjectProperty ; owl:inverseOf :creatorOf .
Dis(zFar, zNear) :x a owl:AllDisjointProperties ;
owl:members (:zFar :zNear) .
children ◦ children ⊑ children :children a owl:TransitiveProperty .
Color(blue) :blue a :Color .
0 ≤ intensity.DirectionalLight ≤ 1 :zeroone rdfs:range [ a xsd:float ; owl:onDatatype xsd:float; owl:withRestrictions (
[ xsd:minInclusive "0" ]
[ xsd:maxInclusive "1" ] ) ] .
:intensity rdfs:range :zeroone ; rdfs:domain :DirectionalLight .