!!! 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 a rdf:Property ;
   owl:propertyChainAxiom
  ( si:parent  si:father ) .
  
si:familyName a owl:ObjectProperty .
%


! Instanzen (A-Box)

%%turtle
si:Abe a owl:Thing ; 
	si:familyName "Simpson" .
si:Homer a owl:Thing ; 
	si:father si:Abe .
si:Bart a owl:Thing ; 
	si:parent si:Homer.
si:Lisa a owl:Thing ; 
	si:parent si:Homer.
%


!! Queries


! Bart 

%%Sparql
SELECT * WHERE {
si:Bart ?p ?o .
}

%


! All Grandparent relations

%%Sparql
SELECT * WHERE {
?grandchild si:grandparent ?gp .
}

%

%%package propChainTest

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

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