ontology http://www.wsmo.org/2004/d3/d3.2/v0.1/20040628/resources/tc.wsml

namespace
      default=http:://www.wsmo.org/ontologies/trainConnection#,
      dc=http://purl.org/dc/elements/1.1#,
      wsml=http://www.wsmo.org/2004/d16/d16.1/v0.2/20040418#,
      dt=http:://www.wsmo.org/ontologies/dateTime#,
      prs=http://www.wsmo.org/2004/d3/d3.2/v0.1/20040628/resources/owlPersonMediator.wsml,
      loc=http:://www.wsmo.org/ontologies/location#,
      xsd=http://www.w3.org/2001/XMLSchema#

non-functional-properties 
      dc:title "International Train Connections Ontology"
      dc:creator "DERI International"
      dc:subject "Train", "Itinerary", "Train Connection", "Ticket"
      dc:description "International Train Itineraries"
      dc:publisher "DERI International"
      dc:contributor "Michael Stollberg", "Ruben Lara", "Holger Lausen", "Axel Polleres"
      dc:date "2004-06-28"
      dc:type http://www.wsmo.org/2004/d2/v0.3/20040329/#ontos
      dc:format "text/plain"
      dc:language "en-US"
      dc:relation 
            http://www.daml.org/2001/06/itinerary/itinerary-ont,
            http://daml.umbc.edu/ontologies/ittalks/person,
            http:://www.wsmo.org/ontologies/dateTime,
            http:://www.wsmo.org/ontologies/location,
            http://opencyc.sourceforge.net/daml/cyc-transportation.daml
      dc:coverage "ID:7029392 Name:World"
      dc:rights http://www.deri.org/privacy.html
      version "$Revision: 1.7 $"
      
       
      usedMediators
            ooMediator
                  http://www.wsmo.org/2004/d3/d3.2/v0.1/20040628/resources/owlPersonMediator.wsml,
                  http://www.wsmo.org/2004/d3/d3.2/v0.1/20040628/resources/owlFactBookMediator.wsml,
                  http:://www.wsmo.org/ontologies/dateTime,
                  http:://www.wsmo.org/ontologies/location
            
comment: conceptDefinitions
      
      concept station subconceptOf loc:location
            non-functional-properties
                  dc:description "Train station"
            code oftype xsd:string
                  non-functional-properties
                        dc:description "Code of the station"
            locatedIn oftype set loc:location
            borderToCountry oftype loc:border
                  non-functional-properties
                        dc:description "For stations located at the border"
      
      concept itinerary
            non-functional-properties
                  dc:description "An itinerary between two locations"
            passenger oftype prs:person
                  non-functional-properties
                        dc:description "prs:person is a subset of vCard (http://www.ietf.org/rfc/rfc2425.txt)"
            recordLocatorNumber oftype xsd:string
            trip oftype trip
            
      concept trip
            start oftype loc:location
            end oftype loc:location
            via oftype set loc:location
            departure oftype dt:dateAndTime
            arrival oftype dt:dateAndTime
            duration oftype dt:interval
            distance oftype loc:distance 
            
      concept trainTrip subconceptOf trip
            non-functional-properties
                  dc:description "A train trip"       
            start oftype station
            end oftype station
            via oftype set station
            seat oftype xsd:string
            train oftype xsd:string
            class oftype xsd:string

comment: variableDefinitions

      variable S memberOf station
      variable L, Start, End memberOf loc:location
      variable C memberOf loc:country
      variable T memberOf trip
      variable D, A memberOf dt:dateAndTime
      
comment: axiomDefinitions

      axiom stationCountry
            non-functional-properties
                  dc:description "Integrity constraint: if a station is located in a place
                        which is located in a given country, the country of the station is the
                        same"
            logical-expression
            "<-
                   S[
                         locatedIn hasvalue L,
                         country hasvalue C]
                   and not L[
                         country hasvalue C]."

      axiom departureBeforeArrival
            non-functional-properties
                  dc:description "Integrity Constraint: departure has to be before arrival"
            logical-expression
            "<-
                   T[
                         departure hasvalue D,
                         arrival hasvalue A]
                   and A <= D."

      axiom startNotEqualEnd
            non-functional-properties
                  dc:description "Integrity Constraint: the start and end of a trip have to be different"
            logical-expression
            "<-
                   T[
                         start hasvalue Start,
                         end hasvalue End] 
                   and Start = End."

 
comment: instanceDefinitions

      comment: A link to large set of instances is missing in WSMO.
            Therefore, in this version of the ontology we only include
            some example instances. The inclusion of links to large
            set of instances will be considered in future versions of
            WSMO

      instance innsbruckHbf memberOf station
            name hasvalue "Innsbruck Hbf"
            code hasvalue "INN"
            locatedIn hasvalues {loc:innsbruck}
            
      instance frankfurtHbf memberOf station
            name hasvalue "Frankfurt Hbf"
            code hasvalue "FKF"
            locatedIn hasvalues {loc:frankfurt}