# $Id: grapht.n3 1295 2007-05-11 16:52:51Z josd $
# PxButton | test  | python euler.py grapht.n3
# PxButton | proof | python euler.py --why grapht.n3

@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <http://eulersharp.sourceforge.net/2005/11swap/graph#>.

:Paris :oneway :Orleans.
:Paris :oneway :Chartres.
:Paris :oneway :Amiens.
:Orleans :oneway :Blois.
:Orleans :oneway :Bourges.
:Blois :oneway :Tours.
:Chartres :oneway :Lemans.
:Lemans :oneway :Angers.
:Lemans :oneway :Tours.
:Angers :oneway :Nantes.

:oneway rdfs:subPropertyOf :path.
:path a owl:TransitiveProperty.

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

{(?X :path :Nantes)} => [].