@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-2.n3,v 1.1 2003/06/25 12:49:23 mdean Exp $";
   rdfs:comment "use rules to express axioms not naturally entailed by OWL:  2 (full) siblings have the same father (with subproperties)".

:sibling a owl:ObjectProperty.

:brother a owl:ObjectProperty;
  rdfs:subPropertyOf :sibling.

:jason :brother :noah.
:jason :father :mike.

{ ?x :sibling ?y.
  ?x :father ?f }
=>
{
  ?y :father ?f
}
.

{ :noah :father :mike }
=>
{ <> test:successful "true" }
.