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:typeowl.AsymmetricProperty
owl:AsymmetricProperty .
si.grandfather
si:grandfatherrdf.type
rdf:typerdf.Property
rdf:Property .
si.grandparent
si:grandparenta
rdf.Property
rdf:Property ;
owl.propertyChainAxiom
owl:propertyChainAxiomsi.parent
si:parentsi.father
si:father .
si.familyName
si:familyNamea
owl.ObjectProperty
owl:ObjectProperty .
si.referencedFamilyName
si:referencedFamilyNamerdfs.supPropertyOf
rdfs:supPropertyOfsi.familyName
si:familyName;
owl.propertyChainAxiom
owl:propertyChainAxiomsi.parent
si:parentsi.familyName
si:familyName .
