# $Id: graph.in.n3,v 1.6 2005/09/15 11:28:00 amdus Exp $
# PxButton | test | bash .euler -step 5000 -prover9 graph.in.n3
# PxButton | out  | bash .euler -step 5000 -prover9 graph.in.n3 > graph.out.n3
# PxButton | cwm  | bash .cwm graph.in.n3

@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix g: <http://www.agfa.com/w3c/euler/graph#>.

g:path = g:route.
g:parijs = g:paris.

g:paris g:twoway g:orleans.
g:paris g:twoway g:chartres.
g:parijs g:twoway g:amiens.
g:orleans g:twoway g:blois.
g:orleans g:twoway g:bourges.
g:blois g:twoway g:tours.
g:chartres g:twoway g:lemans.
g:lemans g:twoway g:angers.
g:lemans g:twoway g:tours.
g:angers g:oneway g:nantes.

g:oneway rdfs:subPropertyOf g:path.
g:twoway rdfs:subPropertyOf g:oneway; a owl:SymmetricProperty.
g:path a owl:TransitiveProperty.

{?P rdfs:subPropertyOf ?R. ?S ?P ?O} => {?S ?R ?O}.
{?P a owl:SymmetricProperty. ?S ?P ?O} => {?O ?P ?S}.
{?P a owl:TransitiveProperty. ?X ?P ?O. ?S ?P ?X} => {?S ?P ?O}.

{g:parijs g:route g:nantes} => {}.
[ e:hint "assign(sos_limit,100000).assign(max_megs,800).set(quiet).clear(print_initial_clauses).clear(print_given)."].