Beispiel für Property-Chains: Herleitung Grandfather#
Schema Wissen (T-Box)#
si.father
si:fatherrdf.type
rdf:typerdf.Property
rdf:Property ;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.parent
si:parent .
si.parent
si:parentrdf.type
rdf:typerdf.Property
rdf:Property .
si.grandfather
si:grandfatherrdf.type
rdf:typerdf.Property
rdf:Property .
null
//null
grandfathernull
relation is derivedsi."grandparent a rdf:Property"
si:grandparent a rdf:Property ;
owl.propertyChainAxiom
owl:propertyChainAxiomsi.parent
si:parentsi.father
si:father .
si.familyName
si:familyNamea
owl.ObjectProperty
owl:ObjectProperty .
si.referencedFamilyName
si:referencedFamilyNamerdfs.subPropertyOf
rdfs:subPropertyOfsi.familyName
si:familyName ;
owl.propertyChainAxiom
owl:propertyChainAxiomsi.parent
si:parentsi.familyName
si:familyName .
