# $Id: graph.axiom.n3,v 1.6 2001/12/18 23:24:43 amdus Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <graph#>.

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

:paris :oneway :orleans.
:parijs :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 :twoway .
:twoway rdfs:subPropertyOf :path .
:twoway ont:inverseOf :twoway .
:path a ont:TransitiveProperty .