@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix test: <http://www.daml.org/2003/06/ruletests/test-ont#> .
@prefix : <#> .

<> a test:Test;
   owl:versionInfo "$Id: siblingfather-3.n3,v 1.1 2003/06/25 12:49:23 mdean Exp $";
   rdfs:comment "use rules to express axioms not naturally entailed by OWL:  an employee of a subsidiary is also an employee of its parent company".

:employeeOf a owl:ObjectProperty.
:subsidiaryOf a owl:TransitiveProperty.

:bbn :subsidiaryOf :verizon.
:mike :employeeOf :bbn.

{ ?employee :employeeOf ?subsidiary.
  ?subsidiary :subsidiaryOf ?parentCompany }
=>
{
  ?employee :employeeOf ?parentCompany
}
.

{ :mike :employeeOf :verizon }
=>
{ <> test:successful "true" }
.