namespace
	default=http://www.wsmo.org/2004/d3/d3.2/v0.1/20040524/resources/tc.flr#
	dc=http://purl.org/dc/elements/1.1
	wsml=http://www.wsmo.org/2004/d16/d16.1/v0.2/20040418/

ontology http://www.wsmo.org/2004/d3/d3.2/v0.1/20040524/resources/tc.flr
  non-functional-properties 
     dc:title "International Train Connections Domain Ontology"
     dc:creator "DERI International"
     dc:subject "International, Train Itineraries, Ticket Booking"
     dc:description "International Train Itineraries for Online Ticket Booking"
     dc:publisher "DERI International"
     dc:contributor "Michael Stollberg", "Ruben Lara", "Holger Lausen", "Axel Polleres"
     dc:date "20040419"
     dc:type "domain ontology"
     dc:format "text"
     dc:source tc.flr
     dc:language "English"
     dc:dc-relation http://www.wsmo.org/2004/d3/d3.2/v0.1/20040524/resources/dt.flr
     dc:coverage "Europe"
     dc:rights http://www.deri.org/privacy.html
     dc:version "1.3"
   
comment: OO Mediator for using the Date and Time Ontology 
use-mediator vta-oom-trainconnection.wsml  

comment: conceptDefinitions

	concept location
	  non-functional-properties
		dc:description "General notion of all locations in a country"
	  name oftype string
	  locatedIn oftype set country
	
	concept station subconceptOf location
	concept country subconceptOf location
	concept city subconceptOf location
	concept village subconceptOf location
	  
	comment: "borderToCounty" denotes all adjacent countries 
	concept borderStation subconceptOf station
	  non-functional-properties
		dc:description "A train station at the border"
	  borderToCounty oftype set country
	  
	concept itinerary
	  non-functional-properties
		dc:description "An itinerary between two locations"
	  startLocation oftype station
	  endLocation oftype station
	  via oftype set station
	  departure oftype dateAndTime
	  arrival oftype dateAndTime
	
	concept traveller
	  non-functional-properties
		dc:description "A traveller"
	  name oftype string
	
	concept ticket subconceptOf product
	  non-functional-properties
		dc:description "A ticket that relates an itinerary to a customer"
	  itinerary oftype itinerary
	  traveller oftype traveller
	  
comment: axiomDefinitions
 
	axiom transitivityLocatedIn
	  non-functional-properties
		dc:description "locatedIn is a transitive property. this allows to specify only the city for a desired train connection"
	  logical-expression
	    "X memberOf location[locatedIn hasvalues Z] <-
	    X memberOf location[locatedIn hasvalues Y] and Y memberOf location[locatedIn hasvalues Y]."
	  end-logical-expression
	
	axiom departureBeforeArrival    
	  non-functional-properties
		dc:description "Integrity Constraint: departure has to be before arrival"
	  logical-expression
	    "<-  forall(I) 
	      I memberOf itinerary[
	        departure hasvalue X2 and  
	        arrival hasvalue X3] 
	      and after(X2,X3)."
	  end-logical-expression
	  
comment: instanceDefinitions

	instance germany memberOf country
	  name hasvalue "Germany"

	instance austria memberOf country
	  name hasvalue "Austria"
	
	instance innsbruck memberOf city
	  name hasvalue "Innsbruck"
	  locatedIn hasvalues {austria}

	instance boesby memberOf village
	  name hasvalue "Boesby"
	  locatedIn hasvalues {germany}
	
	instance innsbruckHbf memberOf station
	  name hasvalue "Innsbruck Hbf"
	  locatedIn hasvalues {innsbruck}

	instance frankfurtHbf memberOf station
	  name hasvalue "Frankfurt Hbf"
	  locatedIn hasvalues {germany}
	
	instance kufsteinHbf memberOf borderStation
	  name hasvalue "Kufstein Hbf"
	  locatedIn hasvalues {austria}
	  borderToCounty hasvalues {germany}

	instance salzburgHbf memberOf borderStation
	  name hasvalue "Salzburg Hbf"
	  locatedIn hasvalues {austria}
	  borderToCounty hasvalues {germany}

	instance freilassingBf memberOf borderStation
	  name hasvalue "Freilassing Bf"
	  locatedIn hasvalues {germany}
	  borderToCounty hasvalues {austria}

	instance kiefersfeldenBf memberOf borderStation
	  name hasvalue "Kiefersfelden Bf"
	  locatedIn hasvalues {germany}
	  borderToCounty hasvalues {austria}