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:grandparent;owl.propertyChainAxiom
owl:propertyChainAxiomsi.parent
si:parentsi.father
si:father .
