# Base URI of process is file:///afs/w3.org/pub/WWW/2000/10/swap/test/
# Input from file:/afs/w3.org/pub/WWW/2000/10/swap/test/d11.n3
# Input from file:/afs/w3.org/pub/WWW/2000/10/swap/test/s1.n3
# Input filter file:/afs/w3.org/pub/WWW/2000/10/swap/test/f11.n3
# Input from file:/afs/w3.org/pub/WWW/2000/10/swap/test/f11.n3
# We have 4 variables [, , , ]
# We have 1 terms in template
## match: called 1 terms, 0 bindings, terms & new bindings: [(, , , )] [] []
# One term has 2 vars, shortest list 4
# Searching through 4 for in slot 1.
## match: called 0 terms, 0 bindings, terms & new bindings: [] [] [(, ), (, )]
# Match found with bindings: [(, ), (, )]
# *** Conclude: (, , , )
## match: called 0 terms, 0 bindings, terms & new bindings: [] [] [(, ), (, )]
# Match found with bindings: [(, ), (, )]
# *** Conclude: (, , , )
## match: called 0 terms, 0 bindings, terms & new bindings: [] [] [(, ), (, )]
# Match found with bindings: [(, ), (, )]
# *** Conclude: (, , , )
# Found 3 matches for .
# We have 3 terms in template
## match: called 3 terms, 0 bindings, terms & new bindings: [(, , , ), (, , , ), (, , , )] [] []
# One term has 3 vars, shortest list 9
# One term has 3 vars, shortest list 9
# One term has 1 vars, shortest list 3
# Searching through 3 for in slot 1.
## match: called 2 terms, 0 bindings, terms & new bindings: [(, , , ), (, , , )] [] [(, )]
# One term has 2 vars, shortest list 3
# One term has 2 vars, shortest list 3
# Searching through 3 for in slot 1.
## match: called 2 terms, 0 bindings, terms & new bindings: [(, , , ), (, , , )] [] [(, )]
# One term has 2 vars, shortest list 3
# One term has 2 vars, shortest list 3
# Searching through 3 for in slot 1.
# Found 0 matches for .
# We have 0 variables []
# Most popular Namesapce in is
# Start notation3 generation
# $Id: j11.n3,v 1.4 2002/08/16 20:07:19 timbl Exp $
@prefix log: .
@prefix ont: .
@prefix test: .
@prefix : .
:camshaft test:partOf :engine .
:train test:includes :engine .
:car test:includes :engine .
:engine test:includes :camshaft;
test:partOf :car,
:train .
test:includes a ont:TransitiveProperty .
test:partOf a ont:TransitiveProperty;
ont:inverseOf test:includes .