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 ;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.relatedWith
si:relatedWith .
si.grandfather
si:grandfatherrdf.type
rdf:typerdf.Property
rdf:Property ;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.grandparent
si:grandparent;
owl.propertyChainAxiom
owl:propertyChainAxiomsi.parent
si:parentsi.father
si:father .
