!!! Beispiel für Property-Chains: Herleitung Grandfather ! Schema Wissen (T-Box) %%turtle si:father rdf:type rdf:Property ; rdfs:subPropertyOf si:parent . si:parent rdf:type owl:AsymmetricProperty . si:grandfather rdf:type rdf:Property . si:grandparent owl:propertyChainAxiom ( si:parent si:father ) . % ! Instanzen (A-Box) %%turtle si:Abe a owl:Thing . si:Homer a owl:Thing ; si:father si:Abe . si:Bart a owl:Thing ; si:parent si:Homer. % %%package propChainTest %%ontology @uses: propChainTest @ruleset: OWL2_RL_REDUCED_OPTIMIZED % %%namespace si http://www.example.org/ontology# %