ontology http://www.wsmo.org/2004/d3/d3.2/v0.1/20040531/resources/tc.wsml 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-05-31" 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://www.daml.org/2001/09/countries/fips-10-4-ont http://www.daml.org/2001/09/countries/iso-3166-ont http://www.daml.org/2003/09/factbook/factbook-ont http://daml.umbc.edu/ontologies/ittalks/person http://www.wsmo.org/2004/d3/d3.2/v0.1/20040531/resources/dt.wsml dc:coverage "general" dc:rights http://www.deri.org/privacy.html version "$Revision: 1.5 $" namespace default=http://www.wsmo.org/2004/d3/d3.2/v0.1/20040531/resources/tc.wsml# 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/2004/d3/d3.2/v0.1/20040531/resources/dt.wsml po=http://www.wsmo.org/2004/d3/d3.2/v0.1/20040531/resources/po.wsml cnt=http://www.daml.org/2003/09/factbook/factbook-ont prs=http://daml.umbc.edu/ontologies/ittalks/person comment: OO Mediator for using the Date and Time Ontology use-mediator vta-oom-trainconnection.wsml conceptDefinitions concept location non-functional-properties dc:description "General notion of location" name oftype string country oftype set country concept station subconceptOf location non-functional-properties dc:description "Train station" code oftype string locatedIn oftype set location comment: For stations located at the border borderToCountry oftype set country concept country subconcept cnt:country non-functional-properties dc:description "Add the codes to the CIA country properties" comment: FIPS 10-4 Country Code fipsCode oftype string comment: ISO 3166 Country Code isoCode oftype string concept itinerary non-functional-properties dc:description "An itinerary between two locations" comment: prs:person is a subset of vCard (http://www.ietf.org/rfc/rfc2425.txt) passenger oftype prs:person recordLocatorNumber oftype string trip oftype trip concept trip subconceptOf po:product start oftype location end oftype location via oftype set location departure oftype dt:dateAndTime arrival oftype dt:dateAndTime duration oftype dt:interval distance oftype distance concept trainTrip subconceptOf trip start oftype station end oftype station via oftype set station seat oftype string train oftype set string class oftype class concept distance non-functional-properties dc:description "Distance between two points" amount oftype float units oftype string concept class non-functional-properties dc:description "Class of the seat for the itinerary" name oftype string service oftype set service concept service non-functional-properties dc:description "Services included in a trip" name oftype string description oftype string concept meal subconceptOf service 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 memberOf station[ locatedIn hasvalue L, country hasvalue C] and L[ country hasvalue C2] and C=C2." axiom depatureBeforeArrival non-functional-properties dc:description "Integrity Constraint: departure has to be before arrival" logical-expression "<- T memberOf trip[ departure hasvalue D, arrival hasvalue A] and dt:afterDateAndTime(A, D)." axiom validDistance non-functional-properties dc:description "The amount in a distance cannot be less than 0. We only accept kilometers and miles." logical-expression "<- D memberOf distance[ amount hasvalue A, units hasvalue U] and A >= 0. and U="Kilometers" or U="Miles"." axiom milesToKilometers non-functional-properties dc:description "Conversion from miles to km. (for distances)." logical-expression "A=A2 and units="Kilometers" <- D memberOf distance[ amount hasvalue A1, units hasvalue "Miles"] and A2=A1*1.609344 axiom equalityDistance non-functional-properties dc:description "Computes equality of a distance" logical-expression "X = Y <- Y memberOf distance and X memberOf distance and X.units = Y.units and X.amount = Y.amount." axiom lessThanDistance non-functional-properties dc:description "Computes less than relation for a distance" logical-expression "X < Y <- Y memberOf distance and X memberOf distance and X.units = Y.units and X.amount < Y.amount." axiom moreThanDistance non-functional-properties dc:description "Computes more than relation for a distance" logical-expression "X > Y <- Y memberOf distance and X memberOf distance and X.units = Y.units and X.amount > Y.amount." 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 innsbruck memberOf location name hasvalue "Innsbruck" country hasvalue austria instance frankfurt memberOf location name hasvalue "Frankfurt" country hasvalue germany instance boesby memberOf location name hasvalue "Boesby" country hasvalue germany instance innsbruckHbf memberOf station name hasvalue "Innsbruck Hbf" code hasvalue "INN" locatedIn hasvalues {innsbruck} instance frankfurtHbf memberOf station name hasvalue "Frankfurt Hbf" code hasvalue "FKF" locatedIn hasvalues {frankfurt} instance austria memberOf country fipsCode hasvalue "AU" isoCode hasvalue "AT" instance germany memberOf country fipsCode hasvalue "GM" isoCode hasvalue "DE"