Sandbox4
Back to current version Restore this version

Beispiel für Property-Chains: Herleitung Grandfather#

Schema Wissen (T-Box)#

si.father
si:father
rdf.type
rdf:type
rdf.Property
rdf:Property
;
rdfs.subPropertyOf
rdfs:subPropertyOf
si.parent
si:parent
.
si.parent
si:parent
rdf.type
rdf:type
owl.AsymmetricProperty
owl:AsymmetricProperty
.
si.grandfather
si:grandfather
rdf.type
rdf:type
rdf.Property
rdf:Property
.
si.grandparent;
si:grandparent;
owl.propertyChainAxiom
owl:propertyChainAxiom
(
si.parent
si:parent
si.father
si:father
)
.

Instanzen (A-Box)#

si.Abe
si:Abe
a
owl.Thing
owl:Thing
.
si.Homer
si:Homer
a
owl.Thing
owl:Thing
;
si.father
si:father
si.Abe
si:Abe
.
si.Bart
si:Bart
a
owl.Thing
owl:Thing
;
si.parent
si:parent
si.Homer
si:Homer
.
propChainTest
OWL2_RL_REDUCED_OPTIMIZED
propChainTest
si http://www.example.org/ontology#