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
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 descripiton blababkldbd"
.
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 #

All Grandparent relations#

All Family Names#

All referenced family names #

propChainTest

si http://www.example.org/ontology#