# $Id: graph.axiom.n3,v 1.17 2003/08/10 23:17:50 jderoo Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@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 a owl:SymmetricProperty.
:path a owl:TransitiveProperty.