!!! 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 ;
   rdfs:subPropertyOf si:relatedWith .

si:grandfather
   rdf:type
 rdf:Property ; 
   rdfs:subPropertyOf
 si:grandparent;
   owl:propertyChainAxiom
  ( si:parent  si:father ) .
%

! Instanzen (A-Box)

%%turtle
si:Abe a owl:Thing .
si:Homer si:father si:Abe
si:Bart si:parent si:Homer.
%

%%package propChainTest



%%ontology
  @uses: propChainTest
  @ruleset: OWL2_RL_REDUCED_OPTIMIZED
%



%%namespace 
  si http://www.example.org/ontology#
%