@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: uncle-2.n3,v 1.2 2003/06/24 23:23:35 mdean Exp $";
   rdfs:comment "property chaining with subproperties".

:parent a owl:ObjectProperty.
:father a owl:ObjectProperty;
  rdfs:subPropertyOf :parent.

:mike :father :joe.
:joe :brother :leon.

{ ?child :parent ?p.
  ?p :brother ?u. }
=>
{ ?child :uncle ?u }
.

{ :mike :uncle :leon }
=>
{ <> test:successful "true" }
.