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
rdf.Property
rdf:Property
.
! grandfather relation is derived via property chain
si.grandfather
si:grandfather
rdf.type
rdf:type
rdf.Property
rdf:Property
.
si.grandparent
si:grandparent
a
rdf.Property
rdf:Property
;
owl.propertyChainAxiom
owl:propertyChainAxiom
(
si.parent
si:parent
si.father
si:father
)
.
! family name (Literal) is derived via property chain
si.familyName
si:familyName
a
owl.ObjectProperty
owl:ObjectProperty
.
si.referencedFamilyName
si:referencedFamilyName
rdfs.subPropertyOf
rdfs:subPropertyOf
si.familyName
si:familyName
;
owl.propertyChainAxiom
owl:propertyChainAxiom
(
si.parent
si:parent
si.familyName
si:familyName
)
.

Instanzen (A-Box)#

si.Abe
si:Abe
a
owl.Thing
owl:Thing
;
si.familyName
si:familyName
"Simpson"
.
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
.
si.Lisa
si:Lisa
a
owl.Thing
owl:Thing
;
si.parent
si:parent
si.Homer
si:Homer
.

Queries#

Bart #

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

All Grandparent relations#

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

All Family Names#

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

All referenced family names #

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null
propChainTest
OWL2_RL_REDUCED_OPTIMIZED
propChainTest
si http://www.example.org/ontology#