!!! 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#
%