This document is also available in non-normative PDF version.
Copyright © 2004 DERI®, All Rights
Reserved. DERI liability, trademark,
document use, and software licensing rules apply.
This document specifies a concrete use case for modeling Semantic Web Services with the Web Service Modeling Ontology WSMO in the domain of e-tourism. A Virtual Travel Agency sells tickets for international train tickets, and a customer defines a Goal for purchasing such a ticket. This use case has been the initial WSMO Use Case defined in previous versions of the WSMO D3.2 Deliverable - WSMO Use Case and Testing. The main focus of this document is the concrete modeling of the top WSMO components, resulting in the specification of WSML, and to test and elaborate the approach and technologies for Web Service Discovery in WSMO.
For use case modeling, we stick to the final working draft of Web Service Modeling Ontology WSMO, Version 1.0, 20 September 2004 [Roman et al., 2004].
WSMO Standard: D2 v1.0 Web Service Modeling Ontology (WSMO), last version at: http://www.wsmo.org/2004/d2/
WSMO Primer: D3.1 v0.1 WSMO Primer
Web Service Modeling Language WSML: D16 v0.2 WSMO The WSML Family of Representation Languages
WSMO Discovery: D5.1 v0.1 WSMO Discovery
This use case is defined in the domain of e-tourism: a Virtual Travel Agency sells tickets for international train tickets, and a customer defines a Goal for purchasing such a ticket. Using the conceptual framework of WSMO we specify the top-level notions of Ontologies, Goals, Web Services and Mediators for this use case.
A Web Service of a Virtual Travel Agency, short: VTA, offers end-user services for searching and buying train tickets for itineraries in Austria and in Germany. This Web Service is composed out of other Web Services, namely one for searching existing train connections, and one for purchasing train tickets online. As a user request we assume that the user wants to purchase an international train ticket. The course of the use case shall be the following:
This document is structured as follows: Section 2 gives and overview of the use case, describing the overall setting for of the use case and identifying the technical challenges arising for Semantic Web Service technologies; Section 3 defines the needed WSMO components and provides the WSML models for the distinct WSMO components of the use case along with explanations of the design and modeling decisions; Section 4 explains the WSMO Discovery as realized within this use case; finally, Section 5 concludes the use case. Appendix A provides a change tracking to previous version of the document; Appendix B provides related resources for this use case.
According to the general framework for defining use cases for WSMO defined in WSMO Use Case Overview document, section 2, this section provides a description of the setting of this use case. In [He et al., 2004], the travel agency use case is separated into two use cases - one with static discovery and one with automated discovery. With Semantic Web Services we clearly want to support automated discovery.
Imagine a “Virtual Traveling Agency”, called VTA for short, which is an end user service providing eTourism services to customers. These services can cover all kinds of information services concerned with tourism information - from information about events and sights in an area to services that support booking of flights, hotels, rental cars, etc. online. Such VTAs are already existent, currently those portals are accessible via html sites. The partners of the VTA are integrated via conventional B2B integration. By applying Semantic Web Services, a VTA will be more easily be able to configure an invoke Web Services provided by several eTourism suppliers and aggregate them into new customer services. Such VTAs providing automated eTourism services to end users via different interfaces and can be more easily reconfigured according to the actual needs..
Our VTA use case that aggregates Web Services of different tourism service providers. In a nutshell shall it provides the following functionality: A customer uses the VTA service as the entry point for his requests. These end-user services are aggregated by the VTA by invoking and combining Web Services offered by several tourism service providers. To facilitate this, there can be a so called "umbrella" contract between the service providers and the VTA for regulating usage and allowance of the Web Services. Figure 2 gives an overview (modified and extended from W3C Travel Agent Use Case overview, as defined in [He et al., 2004]).
![]() |
| Figure 2. Use Case Overview: Virtual Travel Agency based on Semantic Web Services |
The scenario outlines a general structure for VTAs that can be extended to more complex scenarios wherein the customer can be a Web Service itself, thus creating a network of composed services that offer complex tourism services. For example, one VTA can provide flight booking services for an airline union, another VTA aggregates booking service for a worldwide hotel chain, and a third VTA provides booking services for rental cars by combining the services of several worldwide operating car rental agencies. Then, another VTA uses these services for providing an end-user service for booking complete holiday trips worldwide.
In the general use case there are 3 actors. The following defines why they participate in this use case (goal) and the particular interactions they are involved in (roles).
We identify the following usage scenarios
In this use case, the VTA is the central point of interaction between the Customer and other Web Services. Regarding the technological requirements, it is obvious from the usage scenario descriptions that (1) the Web Services offered by the Service Providers have to carry sufficient descriptive information to support automated Web Service usage, and (2) that the VTA has to provide all mechanisms to handle Semantic Web Services. The basic architecture of such a VTA as a central entity for Semantic Web Services handling is shown in Figure 3. The essential functionalities of Semantic Web Service enabled VTAs – with special regard to the requirements for Semantic Web Service technologies – are:
![]() |
| Figure 3. General Architecture of a SWS-enabled VTA |
Summarizing, the VTA is a SWS-enabled B2C application that provides an end-user service following a client/server model. In order to support coherent functionality of the VTA and to ensure that the descriptions of Web Services are compatible to this, an overall framework for SWS technologies is needed. This is provided by WSMO.
Semantic Web Service technology can be applied to ease the described use case (a) for the customer (to find the VTA and resolve his goal) and (b) for the VTA that benefits from semantic description of its business partners. These ease the combination and rearrangement of existing services for the VTA and allows him to flexibly offer new services. In case composition and discovery have reached a higher level of maturity it can even be thought that the technologies (in this case discovery and composition) can be used directly by the end user. So that he himself combines the travel services offered, thus not using the extra intermediate party (the VTA).
This section exemplifies the specification of this use case within the Web Service Modeling Ontology WSMO. The provided listings use the conceptual model and syntax presented in WSMO, final version 1.0 [Roman et al., 2004]. The listings provide have been validated with the WSML Online Validation Service.
The subsequent sections provide the modeling of the resources along with detailed explanations on modeling decisions and related issues. The following tables provide an overview of the resources specified in this use case.
| WSMO component type | ontology |
| name | International Train Ticket Ontology |
| description | defines ontology constructs for the domain of international train connections |
| imported ontologies / used mediators |
- Date and Time Ontology - Location Ontology - OWL Person Mediator - OWL Fact Book Mediator |
| main constructs | main concepts: station, itinerary, ticket, trip, traintrip axioms: stationCountry, departureBeforeArrival, startNotEqualEnd |
| WSML model | Listing 1 |
| WSMO component type | ontology |
| name | Date and Time Ontology |
| description | defines notions of date and time, and general interdependencies between them |
| imported ontologies / used mediators |
none |
| main constructs | main concepts: instant, interval, date, time, dateandtime functions: julianDayNumber, daysBetween, secondsBetween, secondsFromMidnight relations: contains (for intervals) axioms: equality / before / after / between for date and time notions, integrity contraints |
| WSML model | Listing 2 |
| WSMO component type | ontology |
| name | Purchase Ontology |
| description | defines notions of purchasing, incl. buyer, seller, purchase oder, purchase partners, payment notions, etc.; based on RosettaNet , but adopted for B2C setting |
| imported ontologies / used mediators |
- Date an Time Ontology - OWL Currency Mediator |
| main constructs | main concepts: purchase, buyer, seller, contactInformation, purchaseOrder, product, paymentMethod, paymentTerms, delivery |
| WSML model | Listing 3 |
| WSMO component type | ontology |
| name | Location Ontology |
| description | defines geographical notions and postal address; extends / combines existing domain ontologies |
| imported ontologies / used mediators |
- OWL Fact Book Mediator - OWL Address Mediator - OWL Geo Mediator |
| main constructs | main concepts: country, address, city, state, border, distance; incl. concepts / attributes imported via mediators functions: distanceInKilometers, distanceInMiles, relations: equalDistance, lessThanDistance, moreThanDistance axioms: integrity contraints |
| WSML model | Listing 4 |
| WSMO component type | ontology |
| name | VTA Use Case Knowledge Base |
| description | holds all pre-defined instance data needed within the use case |
| imported ontologies / used mediators |
- Train Connection Ontology - Purchase Ontology - Date and Time Ontology - Location Ontology |
| main constructs | instances for : stations, currentDate, credit card types, locations (continents, countries, states, cities), drop ship carriers, transportations means |
| WSML model | Listing 45 |
| WSMO component type | goal |
| name | Buying a train ticket online |
| description | defines the general ontological structure of goal notions for buying tickets online according to the ontologies; this goal serves as a template for concrete goals (see table 6). |
| imported ontologies / used mediators |
- Train Connection Ontology - Purchase Ontology - Location Ontology |
| main constructs | postcondition: purchase a ticket for an itinerary (a trip and a passenger) effect: get the purchased ticket delivered to the buyer |
| WSML model | Listing 6 |
| WSMO component type | goal |
| name | Buying a train ticket from Innsbruck to Frankfurt |
| description | Buying a train ticket online for an itinerary from Innsbruck to
Frankfurt for a specific passenger with payment by credit card This goal is derived by specializing og the general goal (table 5) via an GG Mediator (table 12) |
| imported ontologies / used mediators |
- Date and Time - GG Mediator 1 |
| main constructs | postcondition: purchase a ticket for an itinerary for a trip from Innsbruck to Frankfurt on 17th July 2004 for Tim Berners Lee, departure between 6 and 7 p.m. effect: get the purchased ticket delivered to the buyer |
| WSML model | Listing 7 |
| WSMO component type | web service |
| name | OEBB Online Ticket Booking Web Service |
| description | web service for booking online train tickets for Austria and Germany, offered by the ÖBB (Austrian national train operator) |
| imported ontologies / used mediators |
- Train Connection Ontology - Purchase Ontology - Date and Time Ontology - Location Ontology |
| main constructs | precondition: a buyer, and information on the trip that a ticket is searched and sold for and the passenger for whom the ticket shall be valid assumption: if the payment method is credit card, then the credit card has to be valid (i.e. not expired) postcondition: a purchase for a ticket by ÖBB as provider, for itineraries valid for a train trip with start- and endloction in Austria or Germany and for a passenger, incl. price, and payment only via credit card effect: delivery of sold ticket by drop ship carrier or by online delivery |
| WSML model | Listing 8 |
| WSMO component type | oo mediator |
| name | importing the OWL Factbook ontology to WSML |
| description | Mediator to import an OWL address ontology into a WSML locations ontology |
| imported ontologies / used mediators |
|
| main constructs | source component: an Address Ontology in OWL target component: Location Ontology (Table 4) mediation service: not specified |
| WSML model | Listing 9 |
| WSMO component type | oo mediator |
| name | importing the OWL Currency ontology to WSML |
| description | Mediator to import an OWL currency ontology into a WSML purchase order ontology |
| imported ontologies / used mediators |
|
| main constructs | source component: an Currency Ontology in OWL target component: Purchase Ontology (Table 3) mediation service: not specified |
| WSML model | Listing 10 |
| WSMO component type | oo mediator |
| name | importing the OWL Factbook ontology to WSML |
| description | Mediator to import an OWL factbook ontology into a WSML ontology |
| imported ontologies / used mediators |
|
| main constructs | source component: the OWL Factbook (in OWL) target component: Location Ontology (Table 4) mediation service: not specified |
| WSML model | Listing 11 |
| WSMO component type | oo mediator |
| name | importing the OWL Person ontology to WSML |
| description | Mediator to import an OWL person ontology into a WSML ontology |
| imported ontologies / used mediators |
|
| main contructs | source component: a Person ontology (in OWL) target component: Internaction Train Connection Ontology (Table 1) mediation service: not specified |
| WSML model | Listing 12 |
| WSMO component type | gg mediator |
| name | GG Mediator that that links the general Goal for buying tickets with the concrete Goal for buying a train ticket from Innsbruck to Frankfurt |
| description | Restricts the trip to train trips within Austria and Germany |
| imported ontologies / used mediators |
all ontologies and mediators are inherited from the source component; no additional ontologies or OO Mediators are needed |
| main constructs | source component: general goal for buying tickets (Table 5)
target component: concrete Goal for buying a train ticket (Table 6) mediation service: not specified |
| WSML model | Listing 13 |
With regard to modularized ontologies as a basic design principle of WSMO, we define four separate domain ontologies as the the terminology definitions for the use case:
The ontologies specified in the following are intended to be "real ontologies" in the sense that they describe the specific domain as a shared conceptualization in a sufficient manner. This allows to reuse this ontologies in different settings and use cases - for example, notions or date and time or a general purchase ontology are needed in a lot of other possible scenarios. However, we do not claim the defined below to be such generic ontologies, but they will be enhanced and completed within cooperations with other use cases, projects, and initiatives. Appendix B provides the original ontologies that are used within the domain ontologies specified in this section.
At this point in time, WSMO does not provide a technique to link to large set of instances. Therefore, in this version of the ontology we only include some example instances, which holds for the other ontologies defined in this use case as well. For reader's convenience, the relevant instances for this use case are gathererd in the VTA Use Case Knowlege Base, a separate ontology. The inclusion of links to large set of instances will be considered in future versions of WSMO.
The "International Train Ticket" Ontology defines a train trip and the surrounding concepts as defined the WSML definition of the ontology shown in Listing 1.
The definition of the ontology is based on the travel itinerary ontology from the DAML ontology library, which is also available in Appendix B6 in OWL abstract syntax. The ontology defines travel itineraries for trips by plane. Our ontology reuses the itinerary and flight concepts and adapt them to define train trips, also introducing new concepts such as train station. The international train ticket ontology also makes use of the person ontology defined at http://daml.umbc.edu/ontologies/ittalks/person (Appendix B1), which defines a subset of vCard. The person concept is used to define the passenger information for an itinerary. We did not find any other available ontologies that model the domain of train tickets or itineraries. The first version of the harmonize ontology for the tourism domain focuses on the events and accommodations subdomains. We will take into account future versions of the harmonise ontology, as they are likely to include the travelling subdomain.
namespace <<http://www.wsmo.org/ontologies/trainConnection#>>
dc:<<http://purl.org/dc/elements/1.1#>>
dt:<<http://www.wsmo.org/ontologies/dateTime#>>
prs:<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlPersonMediator.wsml>>
loc:<<http://www.wsmo.org/ontologies/location#>>
geo:<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlGeoMediator.wsml#>>
xsd:<<http://www.w3.org/2001/XMLSchema#>>
ontology <<http://www.wsmo.org/ontologies/trainConnection>>
nonFunctionalProperties
dc:title hasValue "International Train Connections Ontology"
dc:creator hasValue "DERI International"
dc:subject hasValues {"Train", "Itinerary", "Train Connection", "Ticket"}
dc:description hasValue "International Train Connections"
dc:publisher hasValue "DERI International"
dc:contributor hasValues {"Michael Stollberg",
<<http://homepage.uibk.ac.at/~C703225/foaf.rdf>>,
<<http://homepage.uibk.ac.at/~c703240/foaf.rdf>>,
<<http://homepage.uibk.ac.at/~c703262/foaf.rdf>>}
dc:date hasValue "2004-10-08"
dc:type hasValue <<http://www.wsmo.org/2004/d2#ontologies>>
dc:format hasValue "text/html"
dc:identifier hasValue <<http://www.wsmo.org/ontologies/trainConnection>>
dc:source hasValue <<http://www.daml.org/2001/06/itinerary/itinerary-ont>>
dc:language hasValue "en-US"
dc:relation hasValues {<<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://www.daml.org/2001/02/geofile/geofile-ont>>,
<<http://www.daml.org/2001/02/geofile/geofile-ont>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.6 $"
endNonFunctionalProperties
importedOntologies {<<http://www.wsmo.org/ontologies/dateTime>>,
<<http://www.wsmo.org/ontologies/location>>}
usedMediators {<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlPersonMediator.wsml>>,
<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlFactBookMediator.wsml>>}
concept station subConceptOf geo:geographicLocation
nonFunctionalProperties
dc:description hasValue "Train station"
endNonFunctionalProperties
code ofType xsd:string
nonFunctionalProperties
dc:description hasValue "Code of the station"
endNonFunctionalProperties
borderToCountry ofType loc:border
nonFunctionalProperties
dc:description hasValue "For stations located at the border"
endNonFunctionalProperties
concept ticket
nonFunctionalProperties
dc:description hasValue "a ticket for an itinerary"
endNonFunctionalProperties
itinerary ofType itinerary
provider ofType po:partnerDescription
price ofType po:price
concept itinerary
nonFunctionalProperties
dc:description hasValue "An itinerary between two locations"
endNonFunctionalProperties
passenger ofType prs:person
nonFunctionalProperties
dc:description hasValue "prs:person is a subset of vCard (http://www.ietf.org/rfc/rfc2425.txt)"
endNonFunctionalProperties
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
nonFunctionalProperties
dc:description hasValue "A train trip"
endNonFunctionalProperties
start ofType station
end ofType station
via ofType set station
seat ofType xsd:string
train ofType xsd:string
class ofType xsd:string
axiom stationCountry
nonFunctionalProperties
dc:description hasValue "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"
endNonFunctionalProperties
definedBy
constraint
?S[
locatedIn hasValue ?L,
country hasValue ?C
]memberOf station
and not ?L[
country hasValue ?C
]memberOf loc:location .
axiom departureBeforeArrival
nonFunctionalProperties
dc:description hasValue "Integrity Constraint: departure has to be before arrival"
endNonFunctionalProperties
definedBy
constraint
?T[
departure hasValue ?D,
arrival hasValue ?A
]memberOf trip
and ?A <= ?D.
axiom startNotEqualEnd
nonFunctionalProperties
dc:description hasValue "Integrity Constraint: the start and end of a trip have to be different"
endNonFunctionalProperties
definedBy
constraint
?T[
start hasValue ?Start,
end hasValue ?End
]memberOf trip
and ?Start = ?End.
|
The "Date and Time Ontology" in Listing 2 defines models for dates (i.e. certain days) and time (i.e. definition of certain points in time). Further, it defines axioms that represent conventional aspects of date and time, like ´before´ and ´after´, etc. In the use case, this is needed to determine validity of train connections, e.g for ensuring that a ticket is not for an itinerary that is in the past. It also can be used generally for expressing dates and time and relationships between them.
The main ontology taken into consideration for developing this conceptual model of Date and Time is an entry sub-ontology of time, available at http://www.isi.edu/~pan/damltime/time-entry.owl. This ontology uses abstract temporal concepts like instant, interval and event and uses the Gregorian calendar as representation (partly using own encoding and partly using XSD encoding). Axioms are defined in first order logic in the accompanying paper [Pan and Hobbs]; there also is a LISP version of these axioms available at http://www.cs.rochester.edu/~ferguson/daml/daml-time-20030728.lisp. Other ontologies like COBRA calenderclock ontology (http://daml.umbc.edu/ontologies/cobra/0.4/calendarclock) are only a straight forward representation of the Gregorian calendar, without any abstraction of concepts and description of axioms. Widely used concrete representations for date and time are defined in ISO 8601 (Numeric representation of Dates and Time) and in the XML Schema Definition (http://www.w3.org/TR/xmlschema-2/), which is based on ISO 8601. In a later stage when it is clear which build in predicates can be used we will add a syntactical mapping to xsd:dateTime.
namespace
dc: <<http://purl.org/dc/elements/1.1#>>
targetNameSpace: <<http://www.wsmo.org/ontologies/dateTime#>>
ontology <<http://wsmo.org/ontologies/dateTime/>>
nonFunctionalProperties
dc:title hasValue "Date and Time Ontology"
dc:creator hasValue "DERI International"
dc:subject hasValues {"Date", "Time", "Date and Time Algebra"}
dc:description hasValue "generic representation of data and time including basic algebra"
dc:publisher hasValue "DERI International"
dc:date hasValue "2004-10-04"
dc:type hasValue <<http://www.wsmo.org/2004/d2/v1.0/#ontologies>>
dc:format hasValue "text/html"
dc:language hasValue "en-US"
dc:relation hasValues {<<http://www.isi.edu/~pan/damltime/time-entry.owl>>,
<<http://www.w3.org/TR/xmlschema-2/>>}
dc:coverage hasValue "World"
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.2 $"
endNonFunctionalProperties
comment: conceptDefinitions
concept instant
nonFunctionalProperties
dc:description hasValue "An instant represents a particular point in time and is the super concept
of all concrete representations such as the Gregorian calendar"
endNonFunctionalProperties
concept interval
nonFunctionalProperties
dc:description hasValue "An interval represents a duration between 2 points in time"
endNonFunctionalProperties
start ofType instant
end ofType instant
concept date subConceptOf instant
nonFunctionalProperties
dc:description hasValue "concept date and its representation according to the Gregorian Calendar"
endNonFunctionalProperties
dayOfMonth ofType dayOfMonth
monthOfYear ofType monthOfYear
year ofType year
concept dayOfMonth subConceptOf xsd:integer
nonFunctionalProperties
dc:description hasValue "day of a month is represented by an integer"
endNonFunctionalProperties
concept year subConceptOf xsd:integer
nonFunctionalProperties
dc:description hasValue "year is represented by an integer"
endNonFunctionalProperties
concept monthOfYear subConceptOf xsd:integer
nonFunctionalProperties
dc:description hasValue "monthOfYear is represented by an integer"
endNonFunctionalProperties
concept time
hourOfDay ofType hourOfDay
minuteOfHour ofType minuteOfHour
secondOfMinute ofType secondOfMinute
concept secondOfMinute subConceptOf xsd:integer
nonFunctionalProperties
dc:description hasValue "a secondOfMinute is represented by an integer"
endNonFunctionalProperties
concept minuteOfHour subConceptOf xsd:integer
nonFunctionalProperties
dc:description hasValue "a minuteOfHour is represented by an integer"
endNonFunctionalProperties
concept hourOfDay subConceptOf xsd:integer
nonFunctionalProperties
dc:description hasValue "a hourOfDay is represented by an integer"
endNonFunctionalProperties
concept dateAndTime subConceptOf instant
nonFunctionalProperties
dc:description hasValue "concept date and time and representing together a specific point of time (instant)"
endNonFunctionalProperties
date ofType date
time ofType time
comment: functionDefintions
function julianDayNumber
nonFunctionalProperties
dc:description hasValue "The Julian Day Count is a uniform count of days from a remote epoch
in the past (about 4712 BC). At this instant, the Julian Day Number is 0. Once
you have the Julian Day Number of a particular date in history, it is easy to
calculate time elapsed between it and any other Julian Day Number"
dc:source hasValue <<http://quasar.as.utexas.edu/BillInfo/JulianDatesG.html>>
dc:description hasValue "For each instant there should exist a corresponding Julian Day
Number, however it may not be always defined only by this binary predicate,
e.g. if the instant is represented as Gregorian Date and it is a date between
1582 and 1924 a country must be given as third parameter (since e.g. Greece
changed no earlier then 9th of March 1924 from the Julian to the Gregorian Calendar)"
comment: The following dc:source indicates which country changed in which year
comment: from the Julian to the Gregorian Calendar
dc:source hasValue <<http://members.brabant.chello.nl/~h.reints/cal/whenjul2greg.htm>>
endNonFunctionalProperties
instant ofType instant
range ofType xsd:integer
function daysBetween
nonFunctionalProperties
dc:description hasValue "(Instant1, Instant2, Difference) is a triple of the ternary relation
corresponding to this function iff Instant1 and Instant2 are members of the concept
instant (particular point in time) and Instant2 is Difference days after Instant1."
endNonFunctionalProperties
instant1 ofType instant
instant2 ofType instant
range ofType xsd:integer
function secondsBetween
nonFunctionalProperties
dc:description hasValue "(Instant1, Instant2, Difference) is a triple of the ternary relation
corresponding to this function iff Instant1 and Instant2 are members of the concept
instant (particular point in time) and Instant2 is Differnce seconds after Instant1."
endNonFunctionalProperties
instant1 ofType instant
instant2 ofType instant
range ofType xsd:integer
function secondsFromMidnight
nonFunctionalProperties
dc:description hasValue "(Time, SecondsFromMidnight) is a tuple of the binary relation
corresponding to this function iff SecondsFromMidnight are the seconds elapsed from
00:00:00 of the same day.
This simplifies the axiomatization of the difference between two given times"
endNonFunctionalProperties
time ofType time
range ofType xsd:integer
comment: relationDefintions
relation contains
nonFunctionalProperties
dc:description hasValue "(Interval, X) is a tuple of the binary relation
corresponding to this function iff Interval contains X and X is an instant or an
interval"
endNonFunctionalProperties
interval ofType interval
intervalOrInstant ofType instantOrInterVal
concept instantOrInterVal
definedBy
forAll ?x (?x memberOf instantOrInterVal <-> ?x memberOf instant or ?x memberOf interval).
comment: axiomDefinitions
axiom invalidMonthOfYear
nonFunctionalProperties
dc:description hasValue "integrity constraint for valid monthOfYear"
endNonFunctionalProperties
definedBy
constraint
?X memberOf monthOfYear and
(?X < 1 or X > 12).
axiom invalidDayOfMonth
nonFunctionalProperties
dc:description hasValue "integrity constraint for valid dayOfMonths"
endNonFunctionalProperties
definedBy
constraint
?X memberOf dayOfMonth and
(X < 1 or X > 31).
axiom validDate
nonFunctionalProperties
dc:description hasValue "Integrity Constraints for date.
The dayOfMonth is valid in dependency of the actual monthOfYear, in a leap
year the month 2 of the Year has 29 days otherwise 28. For leap years holds
the following: Every year divisible by 4 is a leap year. However, every
year divisible by 100 is not a leap year. However, every year divisible by
400 is a leap year after all.
Note: This axiomatization is still imprecise, since the country plays a role
when defining a valid day of the month: E.g. 1712 was a double leap year
in Sweden, i.e. February 1712 had 30 days in Sweden.
The mathematical function symbol modulo is assumed to be defined elsewhere
as that it returns the remainder after an integer division of its
first argument by its second"
dc:source hasValue <<http://www.tondering.dk/claus/cal/node3.html>>
endNonFunctionalProperties
definedBy
constraint
?X memberOf date and (
(?X.dayOfMonth > 28 and ?X.monthOfYear = 2 and
not ((modulo(?X.year ,4) = 0 and not modulo(?X.year ,100) = 0)
or modulo(?X.year ,400) = 0))
or (?X.dayOfMonth > 29 and ?X.monthOfYear = 2)
or (?X.dayOfMonth > 30 and ?X.monthOfYear = 4)
or (?X.dayOfMonth > 30 and ?X.monthOfYear = 6)
or (?X.dayOfMonth > 30 and ?X.monthOfYear = 9)
or (?X.dayOfMonth > 30 and ?X.monthOfYear = 11)).
axiom invalidHourOfDay
nonFunctionalProperties
dc:description hasValue "integrity constraint for valid hourOfDay:"
endNonFunctionalProperties
definedBy
constraint
?X memberOf hourOfDay and
(?X < 0 or ?X >= 24).
axiom invalidMinuteOfHour
nonFunctionalProperties
dc:description hasValue "integrity constraint for valid minuteOfHour:"
endNonFunctionalProperties
definedBy
constraint
?X memberOf minuteOfHour and
(?X < 0 or ?X >= 60).
axiom invalidSecondOfMinute
nonFunctionalProperties
dc:description hasValue "integrity constraint for valid secondOfMinute:"
endNonFunctionalProperties
definedBy
constraint
?X memberOf secondOfMinute and
(?X < 0 or ?X >= 60).
axiom invalidInterval
definedBy
constraint
?X memberOf interval and ?X.start >= ?X.end.
axiom equalityDate
nonFunctionalProperties
dc:description hasValue "computes equality of a date"
endNonFunctionalProperties
definedBy
X = ?Y <-
?Y memberOf date and ?X memberOf date and
?X.dayOfMonth = ?Y.dayOfMonth and
?X.monthOfYear = ?Y.monthOfYear and
?X.year = ?Y.year.
axiom beforeDate
nonFunctionalProperties
dc:description hasValue "computes if a given date X is before another date ?Y"
endNonFunctionalProperties
definedBy
?X < ?Y <-
?Y memberOf date and ?X memberOf date and
((?X.dayOfMonth = ?Y.dayOfMonth and ?X.monthOfYear = ?Y.monthOfYear and ?X.year = ?Y.year) or
(?X.monthOfYear < ?Y.monthOfYear and ?X.year = ?Y.year) or
(?X.year < ?Y.year)).
axiom afterDate
nonFunctionalProperties
dc:description hasValue "defined as inverse of beforeDate"
endNonFunctionalProperties
definedBy
?X > ?Y <- ?Y < ?X.
axiom julianDayNumber
nonFunctionalProperties
dc:description hasValue "This Axiom describes how the correct Julian Day Number
can be computed for a given Gregorian Calendar Date. Note
that the Gregorian Calendar was introduced in 15.October 1582.
however until 1919 this axiomatization is not unambiguous since the country
should be taken into to account as 3rd parameter (e.g. Greece
changed at the 9 Mar 1924 from the Julian to the Gregorian calendar).
Details to the axiomatization
If the month is January or February we subtract 1 from the year to get a new Year
and add 12 to the month to get a new Month. (Thus, we are thinking of January and
February as being the 13th and 14th month of the previous year and March is the
start of the year, this simplifies the calculation considering the leap year)
Within the calculation the fractional part of all results has to be dropped,
here we use the function symbol floor() [it can be rewritten as predicate,
however it gets less readable]
A more lengthy description of this axiomatization can be found at
http://quasar.as.utexas.edu/BillInfo/JulianDatesG.html"
dc:source hasValues {<<http://quasar.as.utexas.edu/BillInfo/JulianDatesG.html>>,
<<http://members.brabant.chello.nl/~h.reints/cal/whenjul2greg.htm>>}
endNonFunctionalProperties
definedBy
julianDayNumber[instant hasValue ?X, result hasValue ?JDN]
<-
?X memberOf date and
((
?X.monthOfYear < 3 and
?Y = ?X.year -1 and
?M = ?X.monthOfYear + 12
)
or
(
?X.monthOfYear > 2 and
?Y = ?X.year and
M = ?X.monthOfYear
))
and
?D = ?X.dayOfMonth and
?A = floor(?Y / 100) and
?B = floor(?A / 4) and
?C = 2 - ?A + ?B and
?E = floor(365.25 * (?Y + 4716)) and
?F = floor(30.6001 * (?M + 1)) and
?JDN = ?C + ?D + ?E + ?F - 1524.
axiom daysBetweenDates
nonFunctionalProperties
dc:description hasValue "the difference in days between 2 dates"
endNonFunctionalProperties
definedBy
daysBetween[instant1 hasValue ?D1, instant2 hasValue ?D2, result hasValue ?X] <-
?D1 memberOf date and ?D2 memberOf date and
?X = julianDayNumber(?D1) - julianDayNumber(?D2).
axiom equalityTime
nonFunctionalProperties
dc:description hasValue "computes if two given times are the same"
endNonFunctionalProperties
definedBy
?X = ?Y <-
?X memberOf time and ?Y memberOf time and
?X.secondOfMinute = ?Y.secondOfMinute and
?X.minuteOfHour = ?Y.minuteOfHour and
?X.hourOfDay = ?Y.hourOfDay.
axiom beforeTime
nonFunctionalProperties
dc:description hasValue "computes if a given time ?X is before another time ?Y"
endNonFunctionalProperties
definedBy
?X < ?Y <-
?X memberOf time and ?Y memberOf time and
((?X.secondOfMinute < ?Y.secondOfMinute and ?X.minuteOfHour = ?Y.minuteOfHour and ?X.hourOfDay = ?Y.hourOfDay) or
(?X.minuteOfHour < ?Y.minuteOfHour and ?X.hourOfDay = ?Y.hourOfDay) or
(?X.hourOfDay < ?Y.hourOfDay)).
axiom afterTime
nonFunctionalProperties
dc:description hasValue "defined as inverse of beforeTime"
endNonFunctionalProperties
definedBy
?X > ?Y <- ?Y < ?X.
axiom secondsFromMidnight
nonFunctionalProperties
dc:description hasValue "computes the amount of seconds from midnight"
endNonFunctionalProperties
definedBy
secondsFromMidnight[time hasValue ?T, result hasValue ?X] <-
?T memberOf time and
?X = ?T.secondOfMinute + (?T.minuteOfHour*60) + (?T.hourOfDay*60*60).
axiom secondsBetweenTimes
nonFunctionalProperties
dc:description hasValue "the difference in seconds between 2 times"
endNonFunctionalProperties
definedBy
secondsBetween[instant1 hasValue ?T1, instant2 hasValue T2, result hasValue ?X] <-
?T1 memberOf time and ?T2 memberOf time and
?X = secondsFromMidnight(?T1) - secondsFromMidnight(?T2).
axiom equalityDateAndTime
nonFunctionalProperties
dc:description hasValue "computes if Date and Time are equal"
endNonFunctionalProperties
definedBy
?X = ?Y <-
?X memberOf dateAndTime and ?Y memberOf dateAndTime and
?X.date = ?Y.date and
?X.time = ?Y.time.
axiom beforeDateAndTime
nonFunctionalProperties
dc:description hasValue "computes if a given date and time ?X is before another date and time ?Y"
endNonFunctionalProperties
definedBy
?X < ?Y <-
?X memberOf dateAndTime and ?Y memberOf dateAndTime and
((?X.date = ?Y.date and ?X.time < ?Y.time) or
?X.date < ?Y.date).
axiom afterDateAndTime
nonFunctionalProperties
dc:description hasValue "defined as inverse of beforeDateAndTime"
endNonFunctionalProperties
definedBy
?X > ?Y <- ?X
memberOf dateAndTime and ?Y memberOf dateAndTime and
?Y < ?X.
axiom secondsBetweenDateAndTime
nonFunctionalProperties
dc:description hasValue "computes the difference in seconds between two different DateAndTime"
endNonFunctionalProperties
definedBy
secondsBetween[instant1 hasValue ?D1, instant2 hasValue ?D2, result hasValue ?X] <-
?D1 memberOf dateAndTime and ?D2 memberOf dateAndTime and
?X = secondsFromMidnight(?D1.time) + julianDayNumber(?D1.date) * 24 * 60 * 60 -
(secondsFromMidnight(?D2.time) + julianDayNumber(?D2.date) * 24 * 60 * 60).
axiom daysBetweenDateAndTime
nonFunctionalProperties
dc:description hasValue "the difference in days between two different DateAndTime"
endNonFunctionalProperties
definedBy
daysBetween[instant1 hasValue ?T1, instant2 hasValue T2, result hasValue ?X] <-
D1 memberOf dateAndTime and D2 memberOf dateAndTime and
?X = daysBetween(D1.date, D2.date).
axiom intervalContainment
nonFunctionalProperties
dc:description hasValue "computes if a interval ?X contains a second interval ?Y"
endNonFunctionalProperties
definedBy
contains(?X, ?Y) <-
?X memberOf interval and ?Y memberOf interval and
(?X.start < ?Y.start or ?X.start = ?Y.start) and
(?X.end > ?Y.end or ?X.end = ?Y.end).
axiom instantContainment
nonFunctionalProperties
dc:description hasValue "computes if a interval ?X contains a instant ?Y"
endNonFunctionalProperties
definedBy
contains(?X, ?Y) <-
?X memberOf interval and ?Y memberOf instant and
(?X.start < ?Y or ?X.start = ?Y) and
(?X.end > ?Y or ?X.end = ?Y).
|
The Purchase Ontology describes the domain of purchasing within a B2C scenario. In order to base this ontology on existing, commonly accepted conceptual models for purchasing, RosettaNet's PIP3A4 "PurchaseOrderRequest" [RosettaNet] has been transformed into a WSMO ontology. However, RosettaNet as well as the other existing conceptual models for purchasing like ebXML [ebXML] and EDIFACT [EDIFACT] are designed for B2B purchase scenarios and thus not applicable for B2C settings as the one of this use case. Because of this, the Purchase Ontology defined in the folloing listing describes ontological notions relevant for purchasing within a B2C setting. We refer to the WSML representation of RosettaNet's PIP3A4 "PurchaseOrderRequest" which is provided in listing B5, Appendix B, denoting the realted concepts within the realtion attribute of the non functional properties.
The main constructs of the Purchase Ontology are :
namespace <<http://www.wsmo.org/ontologies/purchase#>>
dc:<<http://purl.org/dc/elements/1.1#>>
cu:<<http://www.wsmo.org/2004/d3/d3.2/v0.1/20040628/resources/owlCurrencyMediator.wsml#>>
dt:<<http://www.wsmo.org/ontologies/dateTime#>>
loc:<<http://www.wsmo.org/ontologies/location#>>
prs:<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlPersonMediator.wsml>>
rn:<<http://www.wsmo.org/ontologies/rosettanet#>>
xsd:<<http://www.w3.org/2001/XMLSchema#>>
targetnamespace: <<http://www.wsmo.org/ontologies/purchase#>>
ontology <<http://wsmo.org/ontologies/purchase/>>
nonFunctionalProperties
dc:title hasValue "B2C Purchase Ontology"
dc:creator hasValue "DERI International"
dc:subject hasValues {"Purchase", "Purchase Order", "Buyer", "Seller", "Product", "Price", "Payment method", "Delivery"}
dc:description hasValue "general ontology for purchasing in B2C settings, related to 3A4 PIP of RosettaNet"
dc:publisher hasValue "DERI International"
dc:contributor hasValues {<<http://sw.deri.ie/~haller/foaf.rdf>>, "Michael Stollberg"}
dc:date hasValue "2004-10-27"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#ontologies>>
dc:format hasValue "text/html"
dc:language hasValue "en-US"
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet/>>,
<<http://www.daml.ecs.soton.ac.uk/ont/currency.daml>>,
<<http://www.wsmo.org/ontologies/dateTime>>,
<<http://www.wsmo.org/ontologies/location>>}
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.7 $"
endNonFunctionalProperties
importedOntologies {<<http://www.wsmo.org/ontologies/dateTime.wsml>>,
<<http://www.wsmo.org/ontologies/location.wsml>>}
usedMediators
ooMediator {<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlCurrencyMediator.wsml>>,
<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlPersonMediator.wsml>>}
/*
* Purchase, Purchase Order
*/
concept purchase
nonFunctionalProperties
dc:description hasValue "a purchase for a product between a buyer & a seller"
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#pip3A4Purchase>>}
endNonFunctionalProperties
purchaseIdentifier ofType identifier
purchaseorder ofType purchaseOrder
buyer ofType buyer
seller ofType seller
concept identifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Unique identifier for a thing,
i.e. a numeric value or alphanumeric value"
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#proprietaryDocumentIdentifier>>}
endNonFunctionalProperties
concept purchaseOrder
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describes the product, payment, and delivery terms of a purchase"
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#purchaseOrder>>}
endNonFunctionalProperties
product ofType set product
payment ofType paymentMethod
delivery ofType delivery
contractDate ofType dt:date
paymentTerms ofType paymentTerms
totalPrice ofType financialAount
/*
* Purchase Partners
*/
concept buyer
nonFunctionalProperties
dc:description hasValue "the partner that buys a product in a purchase"
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#buyer>>}
endNonFunctionalProperties
contactInformation ofType contactInformation
billToAddress ofType loc:address
shipToAddress ofType loc:address
hasPayment ofType set paymentMethod
concept seller
nonFunctionalProperties
dc:description hasValue "the partner that sells a product in a purchase"
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#seller>>}
endNonFunctionalProperties
contactInformation ofType contactInformation
acceptsPaymentMethod ofType set paymentMethod
concept contactInformation
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
provide communication and address information for
contacting a person, organization or business."
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#contactInformation>>}
endNonFunctionalProperties
name ofType xsd:string
emailaddress ofType xsd:string
faxnumber ofType xsd:string
telephonenumber ofType xsd:string
physicalAddress ofType loc:address
/*
* Product
*/
concept product
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describes a product."
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#productLineItem>>}
endNonFunctionalProperties
productidentification ofType productIdentification
item ofType set productItem
provider ofType seller
price ofType financialAmount
concept productItem
nonFunctionalProperties
dc:description hasValue "a placeholder for an item that is provided for sale by a
seller. Any concept can be declared as a subconcept of productItem"
endNonFunctionalProperties
concept financialAmount
nonFunctionalProperties
dc:description hasValue "The collection of business properties
that describe the monetary amount defined by a specified currency."
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#financialAmount>>}
endNonFunctionalProperties
monetaryamount ofType xsd:float
globalcurrencycode ofType cu:currency
invoicechargetypecode ofType xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the values for the types of charges contained in an invoice."
endNonFunctionalProperties
/*
* Payment Methods
*/
concept paymentMethod
nonFunctionalProperties
dc:description hasValue "superconcept of payment methods"
endNonFunctionalProperties
concept creditCard subConceptOf paymentMethod
nonFunctionalProperties
dc:description hasValue "payment method credit card"
endNonFunctionalProperties
type ofType creditCardType
creditCardNumber ofType xsd:integer
holder ofType xsd:string
expMonth ofType dt:monthOfYear
expYear ofType dt:year
concept creditCardType
nonFunctionalProperties
dc:description hasValue "specifies type of credit card. This is a unique code
defined by the first 4 digits of the credit card number;
thus, we we would have the knowledge for decoding these digits, the
credit card type could be inferred from the credit card number."
endNonFunctionalProperties
concept invoice subConceptOf paymentMethod
nonFunctionalProperties
dc:description hasValue "payment method invoice"
endNonFunctionalProperties
invoiceNumber ofType xsd:string
payer ofType buyer
receiver ofType seller
receiverAccount ofType account
concept check subConceptOf paymentMethod
nonFunctionalProperties
dc:description hasValue "payment method check"
endNonFunctionalProperties
checkNumber ofType xsd:integer
drawer ofType buyer
receiver ofType seller
drawerAccount ofType account
concept cash subConceptOf paymentMethod
nonFunctionalProperties
dc:description hasValue "payment method cash"
endNonFunctionalProperties
payer ofType buyer
receiver ofType seller
concept account
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe a bank account."
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#accountDescription>>}
endNonFunctionalProperties
accountnumber ofType xsd:string
holder ofType prs:person
provider ofType financialInstitute
globalaccountclassificationcode ofType xsd:string
nonFunctionalProperties
dc:description hasValue "Account classification indicating
its functionality, e.g., credit card or a giro account."
endNonFunctionalProperties
concept financialInstitute
nonFunctionalProperties
dc:description hasValue "an organization that provides financial services."
endNonFunctionalProperties
name ofType xsd:string
contactInformation ofType contactInformation
concept bank subConceptOf financialInstitute
nonFunctionalProperties
dc:description hasValue "specifies a bank (financial institute)"
endNonFunctionalProperties
bankIdentifierCode ofType xsd:string
nonFunctionalProperties
dc:description hasValue "the (inter)national code of the bank"
endNonFunctionalProperties
/*
* Payment Terms
*/
concept paymentTerms
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe payment terms."
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#paymentTerms>>}
endNonFunctionalProperties
discounts ofType discounts
globalpaymentconditioncode ofType xsd:string
nonFunctionalProperties
dc:description hasValue "A code identifying the conditions
under which payment will be made."
endNonFunctionalProperties
nettermsday ofType dt:dayOfMonth
nonFunctionalProperties
dc:description hasValue "The specific day of the month
a payment is due without incurring late charges."
endNonFunctionalProperties
nettermsdays ofType dt:interval
nonFunctionalProperties
dc:description hasValue "The number of days within
which a payment is due without incurring late charges."
endNonFunctionalProperties
percentdue ofType xsd:float
nonFunctionalProperties
dc:description hasValue "The amount owed expressed as a percentage."
endNonFunctionalProperties
concept discounts
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe payment discounts."
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#discounts>>}
endNonFunctionalProperties
discountday ofType dt:dayOfMonth
nonFunctionalProperties
dc:description hasValue "The specific day of the month a
payment is required in order to receive a discount."
endNonFunctionalProperties
discountdays ofType dt:interval
nonFunctionalProperties
dc:description hasValue "The number of days within which a
payment is required in order to receive a discount."
endNonFunctionalProperties
discountpercent ofType xsd:float
nonFunctionalProperties
dc:description hasValue "The financial percent representing a reduction to the total amount due."
endNonFunctionalProperties
/*
* Delivery
*/
concept delivery
nonFunctionalProperties
dc:description hasValue "superconcept of delivery methods. one instance of a
delivery is a main function of the marketplace in addition to purchase contracting."
endNonFunctionalProperties
deliveryItem ofType set product
sender ofType seller
receiver ofType buyer
concept dropShip subConceptOf delivery
nonFunctionalProperties
dc:description hasValue "delivery directly to the buyer shipping address by a delivery service"
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#isDropShip>>}
endNonFunctionalProperties
carrier ofType dropShipCarrier
concept dropShipCarrier
nonFunctionalProperties
dc:description hasValue "a company that provides a drop ship delivery service"
dc:relation hasValues {<<http://wsmo.org/ontologies/rosettanet#carrierInformation>>}
endNonFunctionalProperties
contactInformation ofType contactInformation
businessIdentifier ofType rn:globalBusinessIdentifier
transportBy ofType transportationMean
deliveryCoverage ofType loc:location
concept transportationMean
nonFunctionalProperties
dc:description hasValue "mean of transportation used by a drop ship delivery service"
endNonFunctionalProperties
concept selfCollection subConceptOf delivery
nonFunctionalProperties
dc:description hasValue "buyer collects purchased "
endNonFunctionalProperties
concept onlineDelivery subConceptOf delivery
nonFunctionalProperties
dc:description hasValue "a product is delivery online as a piece of information"
endNonFunctionalProperties
onlineDeliveryMethod ofType xsd:string
|
The "Location Ontology" defines concepts for locations, including cities and states, as well as postal addresses. This ontology is based on the DAML ontology for geographical locations (Appendix B5), an ontology describing a wide variety of locations and geographical areas. The concept country is extended using the OWL-Factbook ontology (Appendix B2). The concept address reuses the DAML address ontology (Appendix B3).
namespace <<http:://www.wsmo.org/ontologies/location#>>
dc:<<http://purl.org/dc/elements/1.1#>>
wsml:<<http://www.wsmo.org/d2/#>>
cnt:<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlFactbookMediator.wsml#>>
geo:<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlGeoMediator.wsml#>>
ad:<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlAddressMediator.wsml#>>
xsd:<<http://www.w3.org/2001/XMLSchema#>>
ontology <<http://www.wsmo.org/ontologies/location>>
nonFunctionalProperties
dc:title hasValue "Locations Ontology"
dc:creator hasValue "DERI International"
dc:subject hasValues {"Location", "Country", "State", "City", "Address"}
dc:description hasValue "Ontology for representing locations in the current political/social system"
dc:publisher hasValue "DERI International"
dc:contributor hasValues {<<http://www.deri.org/foaf#lara>>,
<<http://homepage.uibk.ac.at/~c703262/foaf.rdf>>}
dc:date hasValue "2004-10-04"
dc:type hasValue <<http://www.wsmo.org/2004/d2#ontologies>>
dc:format hasValue "text/html"
dc:language hasValue "en-US"
dc:identifier hasValue <<http://www.wsmo.org/ontologies/location>>
dc:source hasValue <<http://www.daml.org/2001/02/geofile/geofile-ont>>
dc:language hasValue "en-US"
dc:relation hasValues {<<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://www.daml.org/2001/02/geofile/geofile-ont>>,
<<http://daml.umbc.edu/ontologies/ittalks/address>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.3 $"
endNonFunctionalProperties
usedMediators {<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlFactbookMediator.wsml>>,
<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlAddressMediator.wsml>>,
<<http://www.daml.org/2004/d3/d3.3/v0.1/20041008/resources/owlGeoMediator.wsml>>}
concept country subConceptOf {cnt:country, geo:country}
nonFunctionalProperties
dc:description hasValue "Add the codes to the CIA country properties"
endNonFunctionalProperties
fipsCode ofType xsd:string
nonFunctionalProperties
dc:description hasValue "FIPS 10-4 Country Code"
endNonFunctionalProperties
isoCode ofType xsd:string
nonFunctionalProperties
dc:description hasValue "ISO 3166 Country Code"
endNonFunctionalProperties
concept address subConceptOf ad:address
nonFunctionalProperties
dc:description hasValue "Extended address, adding more details to
city, state and country"
endNonFunctionalProperties
city ofType city
state ofType state
country ofType country
concept city subConceptOf geo:city
nonFunctionalProperties
dc:description hasValue "City"
endNonFunctionalProperties
population ofType xsd:integer
extension ofType xsd:integer
nonFunctionalProperties
dc:description hasValue "Extension of the city in square kilometers"
endNonFunctionalProperties
zipcodes ofType set xsd:string
concept state subConceptOf geo:state
nonFunctionalProperties
dc:description hasValue "State"
endNonFunctionalProperties
cities ofType set city
population ofType xsd:integer
extension ofType xsd:integer
concept border subConceptOf geo:geographicLocation
nonFunctionalProperties
dc:description hasValue "Border between two countries. Notice that it
would be more natural to model this as a location with a cardinality
constraint = 2 for the country property. However, it is not clear
how to do this in F-Logic"
endNonFunctionalProperties
countryA ofType country
countryB ofType country
concept distance
nonFunctionalProperties
dc:description hasValue "Distance between two points"
endNonFunctionalProperties
amount ofType xsd:float
units ofType xsd:string
axiom validDistance
nonFunctionalProperties
dc:description hasValue "The amount in a distance cannot be less than 0.
We only accept kilometers and miles."
endNonFunctionalProperties
definedBy
constraint
?D[
amount hasValue ?A,
units hasValue ?U
]memberOf distance
and ?A < 0
and not (U="Kilometers" or U="Miles").
function kilometers
nonFunctionalProperties
dc:description hasValue "Calculates a distance in kilometers"
endNonFunctionalProperties
d ofType distance
range ofType xsd:float
definedBy
forAll ?x,?y ( kilometers[d hasValue ?d, result hasValue ?y] equivalent
?d[
amount hasValue ?a,
units hasValue ?u
] and
( (?u="Kilometers" and ?y=?a) or
(?a="Miles" and ?y=?a*1.609344))).
function miles
nonFunctionalProperties
dc:description hasValue "Calculates a distance in miles"
endNonFunctionalProperties
d ofType distance
range ofType xsd:float
definedBy
forAll ?x,?y ( miles[d hasValue ?d, result hasValue ?y] equivalent
?d[
amount hasValue ?a,
units hasValue ?u
] and
( (?u="Miles" and ?y=?a) or
(?a="Kilometers" and ?y=?a/1.609344))).
relation equalDistance
nonFunctionalProperties
dc:description hasValue "Computes equality of a distance"
endNonFunctionalProperties
d1 ofType distance
d2 ofType distance
definedBy
forAll ?x,?y ( equalDistance[d1 hasValue ?x, d2 hasValue ?y] equivalent
kilometers(?x,?k1) and kilometers(?y,?k2) and ?k1=?k2).
relation lessThanDistance
nonFunctionalProperties
dc:description hasValue "Computes -less than- for a distance"
endNonFunctionalProperties
d1 ofType distance
d2 ofType distance
definedBy
forAll ?x,?y ( equalDistance[d1 hasValue ?x, d2 hasValue ?y] equivalent
kilometers(?x,?k1) and kilometers(?y,?k2) and ?k1<?k2).
relation moreThanDistance
nonFunctionalProperties
dc:description hasValue "Computes -more than- for a distance"
endNonFunctionalProperties
d1 ofType distance
d2 ofType distance
definedBy
forAll ?x,?y ( equalDistance[d1 hasValue ?x, d2 hasValue ?y] equivalent
kilometers(?x,?k1) and kilometers(?y,?k2) and ?k1>?k2).
|
The VTA Use Case Knowledge Base holds all instance data that are needed within the use case descriptions. The knowledge base is defined as an WSMO ontology that holds instances of all four domain ontologies defined above. Within this knowlegde base, only a selection of instances is defined that is used within the subsequent WSMO component models.
/**
* VTA Use Case Knowledge Base
* this is a collection of pre-defined data for the WSMO D3.3 VTA Use Case
*/
namespace <<http://www.wsmo.org/ontologies/kb.wsml#>>
dc:<<http://purl.org/dc/elements/1.1#>>
wsml:<<http://www.wsmo.org/2004/d16/d16.1/v0.2/20040418#>>
tc:<<http://www.wsmo.org/ontologies/trainConnection#>>
dt:<<http://www.wsmo.org/ontologies/dateTime#>>
tc:<<http://www.wsmo.org/ontologies/trainConnection#>>
po:<<http://www.wsmo.org/ontologies/purchase#>>
cu:<<http://www.wsmo.org/2004/d3/d3.2/v0.1/20040628/resources/owlCurrencyMediator.wsml#>>
loc:<<http://www.wsmo.org/ontologies/location#>>
ontology <<http://www.wsmo.org/ontologies/kb.wsml>>
nonFunctionalProperties
dc:title hasValue "VTA Use Case Knowledge Base"
dc:creator hasValue "SWF Project"
dc:subject hasValues {dt:dateandtime, po:paymentMethods, loc:location}
dc:description hasValue "describes pre-defined instance data for the VTA Use Case"
dc:publisher hasValue "SWF Project"
dc:contributor hasValue "Michael Stollberg, Holger Lausen, Ruben Lara, Axel Polleres, Armin Haller"
dc:date hasValue "2004-10-27"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#ontologies>>
dc:format hasValue "text/html"
dc:language hasValue "en-US"
dc:relation hasValues {<<http://www.wsmo.org/ontologies/dateTime>>,
<<http://www.wsmo.org/ontologies/trainConnection>>,
<<http://www.wsmo.org/ontologies/purchase>>,
<<http://www.wsmo.org/ontologies/location>>}
dc:coverage hasValue "VTA virtual marketplace"
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.2 $"
endNonFunctionalProperties
importedOntologies {<<http://www.wsmo.org/ontologies/dateTime>>,
<<http://www.wsmo.org/ontologies/trainConnection>>,
<<http://www.wsmo.org/ontologies/purchase>>,
<<http://www.wsmo.org/ontologies/location>>}
usedMediators ooMediator <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlCurrencyMediator.wsml>>
// Station instances
instance innsbruckHbf memberOf station
nonFunctionalProperties
dc:description hasValue "Innsbruck central station"
endNonFunctionalProperties
name hasValue "Innsbruck Hbf"^^xsd:string
code hasValue "INN"^^xsd:string
locatedIn hasValues {loc:innsbruck}
instance frankfurtHbf memberOf station
name hasValue "Frankfurt Hbf"^^xsd:string
code hasValue "FKF"^^xsd:string
locatedIn hasValues {loc:frankfurt}
// Date and Time Instance
comment: the current date is defined as an instance here, as there is no build in function avaliable for this at the moment.
instance currentDate memberOf dt:dateandtime
date hasValue currentDateDate
time hasValue currentDateTime
instance currentDateDate memberOf dt:date
dayOfMonth hasValue 22
monthOfYear hasValue 5
year hasValue 2004
instance currentDateTime memberOf dt:time
hourOfDay hasValue 15
minuteOfHour hasValue 27
secondOfMinute hasValue 38
// Locations
instance europe memberOf loc:continent
name hasValue "Europe"
instance austria memberOf country
fipsCode hasValue "AU"^^xsd:string
isoCode hasValue "AT"^^xsd:string
instance germany memberOf country
fipsCode hasValue "GM"^^xsd:string
isoCode hasValue "DE"^^xsd:string
instance usa memberOf country
fipsCode hasValue "US"^^xsd:string
isoCode hasValue "US"^^xsd:string
instance massachusetts memberOf state
name hasValue "Massachusetts"^^xsd:string
locatedIn hasValue usa
instance innsbruck memberOf city
name hasValue "Innsbruck"^^xsd:string
locatedIn hasValue austria
instance frankfurt memberOf city
name hasValue "Frankfurt"^^xsd:string
locatedIn hasValue germany
instance boston memberOf city
name hasValue "Boston"^^xsd:string
locatedIn hasValue usa
/*
* Drop Ship Deliverers
*/
instance PostAt http://www.post.at/ memberOf po:dropShipCarrier
name hasValue "Oesterreichische Post AG"
companyNumber hasValue "post"
contactaddress hasValue PostATAddress
transportBy hasValue truck
deliveryCoverage hasValue europe
instance PostATAddress memberOf loc:address
street hasValue "Südtiroler Platz"
number hasValue "5-7 "
city hasValue innsbruck
zip hasValue 6020
// transportation means
instance truck memberOf po:transportationMean
instance train memberOf po:transportationMean
instance plane memberOf po:transportationMean
/*
* currencies - only Euro, as the markeptlace is limited to Austria
*/
instance euro memberOf cu:curreny
name hasValue "Euro"
code hasValue "EUR"
/*
* payment methods
*/
instance masterCard memberOf po:creditCardType
instance visa memberOf po:creditCardType
instance amercianExpress memberOf po:creditCardType
|
Goals denote what a user wants as the result of the Web Service. For modeling the goal, WSMO describes the information elements that the user wants to get from the service (the postcondition) together with the state of the world desired after the service execution (the effect).
In WSMO, Goals can be defined a different levels of granularity. By so-called GG Mediators, new, more specific Goals can be created out of generic existing Goals. You can also think of generic Goals as being pre-defined in a specific application context, wherefrom concrete Goals can be generated from. In order to showcase this, we define a generic Goal for buying a ticket for any kind of trip (Listing 6), a concrete Goal wherein a user wants to buy a train itinerary from Innsbruck to Frankfurt on a certain date (Listing 7), and a GG Mediator that connects the generic Goal to tickets for traintrips within Austria and Germany (see Section 3.4.3. for the GG Mediator that connects this two Goals).
Listing 6 shows the generic Goal with the following description elements:
namespace <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/GeneralTrainTrip#>>
dc:<<http://purl.org/dc/elements/1.1#>>
tc:<<http://www.wsmo.org/ontologies/trainConnection#>>
po:<<http://www.wsmo.org/ontologies/purchase#>>
loc:<<http://www.wsmo.org/ontologies/location#>>
goal <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/goal1.wsml>>
nonFunctionalProperties
dc:title hasValue "Buying a ticket online"
dc:creator hasValue "DERI International"
dc:subject hasValues {"Tickets", "Online Ticket Booking", "trip"}
dc:description hasValue "Express the goal of buying a ticket for a trip"
dc:publisher hasValue "DERI International"
dc:contributor hasValues {"Michael Stollberg",
<<http://www.deri.org/foaf#lara>>,
<<http://homepage.uibk.ac.at/~c703240/foaf.rdf>>,
<<http://homepage.uibk.ac.at/~c703262/foaf.rdf>>}
dc:date hasValue "2004-10-04"
dc:type hasValue <<http://www.wsmo.org/2004/d2#goals>>
dc:format hasValue "text/html"
dc:identifier hasValue <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/goal1.wsml>>
dc:language hasValue "en-US"
dc:relation hasValues {<<http://www.wsmo.org/ontologies/trainConnection>>,
<<http://www.wsmo.org/ontologies/purchase>>,
<<http://www.wsmo.org/ontologies/location>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://deri.at/privacy.html>>
version hasValue "$Revision: 1.4 $"
endNonFunctionalProperties
importedOntologies {<<http://www.wsmo.org/ontologies/trainConnection>>,
<<http://www.wsmo.org/ontologies/purchase>>,
<<http://www.wsmo.org/ontologies/location>>}
postcondition
axiom purchasingTicketForTrip
nonFunctionalProperties
dc:description hasValue "This goal expresses the general desire of buying a ticket for
any kind of itinerary."
endNonFunctionalProperties
definedBy
exists ?Purchase, ?Purchaseorder, ?Buyer, ?Product, ?PaymentMethod, ?Ticket, ?Itinerary, ?Passenger, ?Trip
(?Purchase memberOf po:purchase[
po:purchaseorder hasValue ?Purchaseorder,
po:buyer hasValue ?Buyer
] and
?Buyer memberOf po:buyer and
?Purchaseorder memberOf po:purchaseOrder[
po:product hasValues {?Product},
po:payment hasValue ?PaymentMethod
] and
?PaymentMethod memberOf po:paymentMethod and
?Product memberOf po:product[
po:item hasValues {?Ticket}
] and
?Ticket memberOf tc:ticket[
po:itinerary hasValue ?Itinerary
] and
?Itinerary memberOf tc:itinerary[
po:passenger hasValue ?Passenger,
po:trip hasValue ?Trip
] and
?Passenger memberOf tc:person and
?Trip memberOf tc:trip) .
effect
axiom havingTradeForTrip
nonFunctionalProperties
dc:description hasValue "The goal effect is to get the purchased ticket delivered
to the buyer."
endNonFunctionalProperties
definedBy
exists ?Delivery, ?Product, ?Buyer, ?Ticket
(
?Delivery memberOf po:delivery[
po:deliveryItem hasValues {?Product},
po:receiver hasValue ?Buyer
] and
?Product memberOf po:product[
po:item hasValues {?Ticket}
] and
?Buyer memberOf po:buyer and
?Ticket memberOf tc:ticket
) .
|
The concrete Goal expresses the desire to buy a train ticket by refining the notions of the general Goal. Listing 7 shows this Goal with the following elements:
namespace <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/SpecificTrainTripInnbsruckFrankfurt#>>
dc:<<http://purl.org/dc/elements/1.1#>>
dt:<<http://www.wsmo.org/ontologies/dateTime#>>
tc:<<http://www.wsmo.org/ontologies/trainConnection#>>
po:<<http://www.wsmo.org/ontologies/purchase#>>
loc:<<http://www.wsmo.org/ontologies/location#>>
kb:<<http://www.wsmo.org/ontologies/kb#>>
wsml:<<http://www.wsmo.org/2004/d2/#>>
xsd:<<http://www.w3.org/2001/XMLSchema#>>
goal <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/goal.wsml>>
nonFunctionalProperties
dc:title hasValue "Buying a train ticket from Innsbruck to Frankfurt on..."
dc:creator hasValue "DERI International"
dc:subject hasValues {"Train Tickets", "Online Ticket Booking", "Train trip"}
dc:description hasValue "Express the goal of buying a concrete ticket for a train trip"
dc:publisher hasValue "DERI International"
dc:contributor hasValues{"Michael Stollberg",
<<http://www.deri.org/foaf#lara>>,
<<http://homepage.uibk.ac.at/~c703240/foaf.rdf>>,
<<http://homepage.uibk.ac.at/~c703262/foaf.rdf>>,
<<http://www.deri.org/foaf#haller>>}
dc:date hasValue "2004-10-04"
dc:type hasValue <<http://www.wsmo.org/2004/d2#goals>>
dc:format hasValue "text/html"
dc:identifier hasValue <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/goal.wsml>>
dc:language hasValue "en-US"
dc:relation hasValues {<<http://www.wsmo.org/ontologies/dateTime>>,
<<http://www.wsmo.org/ontologies/trainConnection>>,
<<http://www.wsmo.org/ontologies/purchase>>,
<<http://www.wsmo.org/ontologies/location>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://deri.at/privacy.html>>
version hasValue "$Revision: 1.4 $"
endNonFunctionalProperties
// all mediators and ontologies are inherited from the GG Mediator
usedMediators
ggMediator <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041105/resources/ggm1.wsml>>
importedOntologies {<<http://www.wsmo.org/ontologies/dateTime>>, <<http://www.wsmo.org/ontologies/kb>>}
// the constants defined in the logical expressions refer to instances defined in the VTA Use Case Knowledge Base
postcondition
axiom purchasingTicketForSpecificTraintrip
nonFunctionalProperties
dc:description hasValue "The goal postcondition specifies that Tim Berners-Lee wants
to go buy a train ticket from Innsbruck to Frankfurt, departing from innsbruckHbf
on 17th July 2004 at 6 p.m."
endNonFunctionalProperties
definedBy
exists ?Purchase, ?Purchaseorder, ?Buyer, ?Product, ?PaymentMethod, ?Ticket, ?Itinerary, ?Passenger, ?Trip,
?DepartureTime, ?DepartureDate, ?Departure, ?TBLAddress, ?TBLContactInformation
(
?Purchase memberOf po:purchase[
po:purchaseorder hasValue ?Purchaseorder,
po:buyer hasValue ?Buyer
] and
?Buyer memberOf po:buyer[
po:contactInformation hasValue ?TBLContactInformation,
po:billToAddress hasValue ?TBLAddress,
po:hasPayment hasValues {?PaymentMethod}
] and
?TBLContactInformation memberOf po:contactInformation[
po:name hasValue "Tim Berners-Lee",
po:emailaddress hasValue "tbl@w3c.org"
] and
?TBLAddress memberOf loc:address[
po:streetAddress hasValue "32 Vassar Street",
po:city hasValue boston,
po:state hasValue massachusetts,
po:country hasValue usa
] and
?Purchaseorder memberOf po:purchaseOrder[
po:product hasValues {?Product},
po:payment hasValue ?PaymentMethod
] and
?PaymentMethod memberOf po:creditCard[
po:type hasValue masterCard,
po:creditCardNumber hasValue 5535446466867747,
po:holder hasValue "Tim Berners-Lee",
po:expMonth hasValue 09,
po:expYear hasValue 2007
] and
?Product memberOf po:product[
po:item hasValues {?Ticket}
] and
?Ticket memberOf tc:ticket[
po:itinerary hasValue ?Itinerary
] and
?Itinerary memberOf tc:itinerary[
po:passenger hasValue ?Passenger,
po:trip hasValue ?Trip
] and
?Passenger memberOf tc:person[
po:name hasValue "Tim Berners-Lee"
] and
?Trip memberOf tc:trainTrip[
po:start hasValue kb:innsbruckHbf,
po:end hasValue kb:frankfurtHbf,
po:departure hasValue ?Departure
] and
?Departure memberOf dt:dateAndTime[
dt:date hasValue ?DepartureDate,
dt:time hasValue ?DepartureTime
] and
?DepartureDate memberOf dt:date[
dt:dayOfMonth hasValue 17,
dt:monthOfYear hasValue 07,
dt:year hasValue 2004
] and
?DepartureTime memberOf dt:time[
dt:hourOfDay hasValue 18
]
).
effect
axiom getTicketDelivererd
nonFunctionalProperties
dc:description hasValue "The goal effect that a ticket is delivered via emial."
endNonFunctionalProperties
definedBy
exists ?Delivery, ?Product, ?Buyer(
?Delivery memberOf po:onlineDelivery[
po:deliveryItem hasValues {?Product},
po:receiver hasValue ?Buyer,
po:onlineDeliveryMethod hasValue "email"
] and
?Product memberOf po:product[
po:item hasValues {?Ticket}
]and
?Ticket memberOf tc:ticket
)
.
|
We define one (imaginary) Web Service in this use case: an end-user service (means that the user interacts with this service) for purchasing international train tickets offered by the Austrian national train operator ÖBB; this Web Service can be composed of other Web Services, each for the search and buying facility of international train tickets. This setting allows modeling all notions of a WSMO Web Service description: a Capability of the end-user service and its Choreography for user-service interaction, as well as the orchestration which incorporates the aggregated Web Services. The current version of WSMO Standard does only provide a stable specification for describing Capabilities, the model below is restricted to the overall Web Service description and the Capability definition. The modeling for the WSMO Web Service Interface will be added in a later version.
A Web Service Capability in WSMO is described by pre- and postconditions, assumptions and effects, as defined in [Roman et al., 2004]. Listing 8 shows the ÖBB Web Service description, currently the Capability only. More detailed discussion of the Discovery mechanism of WSMO Goals and Capabilities is provided in section 3.1.3. The Capability description elements are defined as follows:
namespace <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/VTAService#>>
dc: <<http://purl.org/dc/elements/1.1#>>
dt: <<http:://www.wsmo.org/ontologies/dateTime#>>
tc: <<http:://www.wsmo.org/ontologies/trainConnection#>>
po: <<http:://www.wsmo.org/ontologies/purchase#>>
loc: <<http:://www.wsmo.org/ontologies/location#>>
ucase:<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041105/resources/>>
targetnamespace: <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/ws#>>
webservice <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/ws.wsml>>
nonFunctionalProperties
dc:title hasValue "OEBB Online Ticket Booking Web Service"
dc:creator hasValue "DERI International"
dc:description hasValue "web service for booking online train tickets for Austria and Germany"
dc:publisher hasValue "DERI International"
dc:contributor hasValues {"Michael Stollberg", "Ruben Lara", "Holger Lausen"}
dc:date hasValue "2004-10-04"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#webservice>>
dc:format hasValue "text/html"
dc:language hasValue "en-us"
dc:relation hasValues {<<http://www.wsmo.org/ontologies/dateTime>>,
<<http://www.wsmo.org/ontologies/trainConnection>>,
<<http://www.wsmo.org/ontologies/purchase>>,
<<http://www.wsmo.org/ontologies/location>>}
dc:coverage hasValues {tc:austria, tc:germany}
dc:rights hasValue <<http://deri.at/privacy.html>>
version hasValue "$Revision: 1.5 $"
endNonFunctionalProperties
importedOntologies {<<http:://www.wsmo.org/ontologies/dateTime>>,
<<http:://www.wsmo.org/ontologies/trainConnection>>,
<<http:://www.wsmo.org/ontologies/purchase>>,
<<http:://www.wsmo.org/ontologies/location>>}
capability oebbWSCapability
precondition
axiom oebbWSprecondition
nonFunctionalProperties
dc:description hasValue "The oebbWSprecondition puts the following conditions ont
the input: it has to include a buyer with a billTo and a shipTo
address, and credit card as a paymentMethod, and trip with the start- and
endlocation have to be in Austria or in Germany, and the departure date
has to be later than the current date. "
endNonFunctionalProperties
definedBy
forAll ?Buyer, ?BuyerBilltoAddress, ?BuyerShiptoAddress, ?BuyerPaymentMethod,
?Trip, ?Start, ?End, ?Departure (
?Buyer memberOf po:buyer[
po:billToAddress hasValue ?BuyerBilltoAddress,
po:shipToAddress hasValue ?BuyerShiptoAddress,
po:hasPaymentMethod hasValues {?BuyerPaymentMethod}
] and
?BuyerBilltoAddress memberOf loc:address and
?BuyerShiptoAddress memberOf loc:address and
?BuyerPaymentMethod memberOf po:creditCard and
?Trip memberOf tc:trainTrip[
tc:start hasValue ?Start,
tc:end hasValue ?End,
tc:departure hasValue ?Departure
] and
(?Start.locatedIn = austria or ?Start.locatedIn = germany) and
(?End.locatedIn = austria or ?End.locatedIn = germany) and
dt:after(?Departure,currentDate)
).
postcondition
axiom oebbWSpostcondition
nonFunctionalProperties
dc:description hasValue "the output of the service is a purchase for a ticket for train trips wherefore
the start- and endlocation have to be in Austria or in Germany and
the departure date has to be later than the current Date."
endNonFunctionalProperties
definedBy
forAll ?Purchase, ?Seller, ?OEBBContactInformation, ?Purchaseorder, ?PaymentMethod, ?Product, ?Ticket,
?Itinerary, ?Trip, ?Start, ?End
(
?Purchase memberOf po:purchase[
purchaseorder hasValue ?Purchaseorder,
seller hasValue ?Seller
] and
?Seller memberOf po:seller[
contactInformation hasValue ?OEBBContactInformation,
acceptsPaymentMethod hasValues {?PaymentMethod}
] and
?OEBBContactInformation memberOf po:contactInformation[
name hasValue "Oesterreichische Bundesbahn",
emailaddress hasValue "office@oebb.at",
physicalAddress hasValue ?OEBBAddress
] and
?OEBBAddress memberOf loc:address[
streetAddress hasValue "Hauptfrachtenbahnhof 4",
city hasValue innsbruck,
country hasValue austria
] and
?Purchaseorder memberOf po:purchaseOrder[
product hasValues {?Product},
payment hasValue ?PaymentMethod
] and
?PaymentMethod memberOf po:creditCard and
?Product memberOf po:product[
item hasValues {?Ticket}
] and
?Ticket memberOf tc:ticket[
itinerary hasValue ?Itinerary
] and
?Itinerary memberOf tc:itinerary[
trip hasValue ?Trip
] and
?Trip memberOf tc:trainTrip[
start hasValue ?Start,
end hasValue ?End,
departure hasValue ?Departure
] and
(?Start.locatedIn = austria or ?Start.locatedIn = germany) and
(?End.locatedIn = austria or ?End.locatedIn = germany) and
dt:after(?Departure,currentDate)
).
effect
axiom oebbWSeffect
nonFunctionalProperties
dc:description hasValue "the sold ticket is delivered to the buyer via a drop ship carrier or via email."
endNonFunctionalProperties
definedBy
forAll ?Delivery, ?Product, ?Buyer, ?BuyerShipToAddress, ?Seller, ?OEBBContactInformation, ?OEBBAddress
(
((?Delivery memberOf po:dropShipDelivery[
deliveryItem hasValues {?Product},
receiver hasValue ?Buyer,
sender hasValue ?Seller,
carrier hasValue PostAt
]) or
(?Delivery memberOf po:onlineDelivery[
deliveryItem hasValues {?Product},
receiver hasValue ?Buyer,
onlineDeliveryMethod hasValue "email"
])) and
?Product memberOf po:product[
item hasValues {?Ticket}
] and
?Buyer memberOf po:buyer[
shipToAddress hasValue ?BuyerShipToAddress
] and
?BuyerShipToAddress memberOf loc:address and
?Seller memberOf po:seller[
contactInformation hasValue ?OEBBContactInformation
] and
?OEBBContactInformation memberOf po:contactInformation[
name hasValue "Oesterreichische Bundesbahn",
emailaddress hasValue "office@oebb.at",
physicalAddress hasValue ?OEBBAddress
] and
?OEBBAddress memberOf loc:address[
streetAddress hasValue "Hauptfrachtenbahnhof 4",
city hasValue innsbruck,
country hasValue austria
]
).
interface oebbWSInterface
nonFunctionalProperties
dc:description hasValue "describes the Interface of Web Service (not specified yet)"
endNonFunctionalProperties
choreography ***
orchestration ***
|
OO Mediators import other ontologies or OO Mediators into WSMO entities and resolve possible terminology mismatches. If no mistach has to be resolved the syntactical simplification "importOntologies" can be used. In the following we specify the mediators used:
namespace
dc:<<http://purl.org/dc/elements/1.1#>>
wsml:<<http://www.wsmo.org/2004/d2/#>>
ooMediator <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlAddressMediator.wsml>>
nonFunctionalProperties
dc:title hasValue "OO Mediator importing the OWL Factbook ontology to WSML"
dc:creator hasValue "DERI International"
dc:subject hasValues {"ooMediator", "Address", "Locations"}
dc:description hasValue "Mediator to import an OWL address ontology into a WSML locations ontology"
dc:publisher hasValue "DERI International"
dc:contributor hasValue <<http://homepage.uibk.ac.at/~c703262/foaf.rdf>>
dc:date hasValue "2004-08-30"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#ooMediator>>
dc:format hasValue "text/html"
dc:identifier hasValue <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlAddressMediator.wsml>>
dc:language hasValue "en-us"
dc:relation hasValues {<<http://daml.umbc.edu/ontologies/ittalks/address>>,
<<http://www.wsmo.org/ontologies/location>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.4 $"
endNonFunctionalProperties
source <<http://daml.umbc.edu/ontologies/ittalks/address>>
target <<http://www.wsmo.org/ontologies/location>>
useService <<http://138.232.65.151:8080/TranslatorService/OWL2WSML/>>
|
namespace
dc:<<http://purl.org/dc/elements/1.1#>>
wsml:<<http://www.wsmo.org/2004/d2/#>>
ooMediator <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlCurrencyMediator.wsml>>
nonFunctionalProperties
dc:title hasValue "OO Mediator importing the OWL Currency ontology to WSML"
dc:creator hasValue "DERI International"
dc:subject hasValues {"ooMediator", "Currency", "Purchase Order"}
dc:description hasValue "Mediator to import an OWL currency ontology into a WSML purchase order ontology"
dc:publisher hasValue "DERI International"
dc:contributor hasValue <<http://homepage.uibk.ac.at/~c703240/foaf.rdf>>
dc:date hasValue "2004-08-30"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#ooMediator>>
dc:format hasValue "text/html"
dc:identifier hasValue <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlCurrencyMediator.wsml>>
dc:language hasValue "en-us"
dc:relation hasValues{<<http://www.daml.ecs.soton.ac.uk/ont/currency.daml>>,
<<http://www.wsmo.org/ontologies/purchaseOrder>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.3 $"
endNonFunctionalProperties
source <<http://www.daml.ecs.soton.ac.uk/ont/currency.daml>>
target <<http://www.wsmo.org/ontologies/purchaseOrder>>
useService http://138.232.65.151:8080/TranslatorService/OWL2WSML/
|
namespace
dc:<<http://purl.org/dc/elements/1.1#>>
wsml:<<http://www.wsmo.org/2004/d2/#>>
ooMediator <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlFactbookMediator.wsml>>
nonFunctionalProperties
dc:title hasValue "OO Mediator importing the OWL Factbook ontology to WSML"
dc:creator hasValue "DERI International"
dc:subject hasValues {"ooMediator", "Factbook", "Locations"}
dc:description hasValue "Mediator to import an OWL factbook ontology into a WSML locations ontology"
dc:publisher hasValue "DERI International"
dc:contributor hasValue <<http://homepage.uibk.ac.at/~c703262/foaf.rdf>>
dc:date hasValue "2004-08-30"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#ooMediator>>
dc:format hasValue "text/html"
dc:identifier hasValue <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlFactbookMediator.wsml>>
dc:language hasValue "en-us"
dc:relation hasValues {<<http://www.daml.org/2003/09/factbook/factbook-ont>>,
<<http://www.wsmo.org/ontologies/locations>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.3 $"
endNonFunctionalProperties
source <<http://www.daml.org/2003/09/factbook/factbook-ont>>
target <<http://www.wsmo.org/ontologies/locations>>
useService http://138.232.65.151:8080/TranslatorService/OWL2WSML/
|
namespace
dc:<<http://purl.org/dc/elements/1.1#>>
wsml:<<http://www.wsmo.org/2004/d2/#>>
ooMediator <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlPersonMediator.wsml>>
nonFunctionalProperties
dc:title hasValue "OO Mediator importing the OWL Person ontology to WSML"
dc:creator hasValue "DERI International"
dc:subject hasValues {"ooMediator", "Person", "Train Connections"}
dc:description hasValue "Mediator to import an OWL person ontology into a WSML train connections ontology"
dc:publisher hasValue "DERI International"
dc:contributor hasValue <<http://homepage.uibk.ac.at/~c703262/foaf.rdf>>
dc:date hasValue "2004-08-30"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#ooMediator>>
dc:format hasValue "text/html"
dc:identifier hasValue <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlPersonMediator.wsml>>
dc:language hasValue "en-us"
dc:relation hasValues {<<http://daml.umbc.edu/ontologies/ittalks/person/>>,
<<http://www.wsmo.org/ontologies/trainConnection>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.3 $"
endNonFunctionalProperties
source <<http://daml.umbc.edu/ontologies/ittalks/person/>>
target <<http://www.wsmo.org/ontologies/trainConnection>>
useService http://138.232.65.151:8080/TranslatorService/OWL2WSML/
|
Notice that the mediation service is not implemented yet. Furthermore we do not specify the capability of the mediator, since it is outside of the scope of this deliverable to define the required terminology such as an ontology about ontology languages and mediation patterns.
A WG Mediator links a Web Service to a Goal, resolves terminological mismatches, and may state the functional difference (if any) between both. WG Mediators can be used to pre-link Services to existing Goals. For resolving terminological mismatches, OO Mediators are applied, similar to the ones specified above.
In our use case, we do not need an WG Mediator, because the Goal and the Web Service Description use the same domain ontologies (i.e. there are not terminology mismatches).
A GG Mediator connects Goals and possible specifying the functional reduction. For example, a GG Mediator can connect a Goal "buy a ticket" with another Goal "buy a train ticket". Assuming 'train ticket' is a subclass of 'ticket', the GG Mediator would specify that the set described by the goal "buy a train ticket" is more specific then "buy a ticket".
In our use case, we have defined a generic Goal for buying a ticket for any kind of trip (Listing 6), a concrete Goal wherein a user wants to buy a train ticket from Innsbruck to Frankfurt on a certain date (Listing 7). The GG Mediator is used within the concrete Goal, so defining a connection between the general Goal as a 'template' which is 'instantiated' in the concrete Goal.
namespace <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041105/resources/ggm1>>
dc:<<http://purl.org/dc/elements/1.1#>>
wsml:<<http://www.wsmo.org/2004/d2/#>>
ggMediator <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041105/resources/ggm1.wsml>>
nonFunctionalProperties
dc:title hasValue "GG Mediator that links the general Goal for buying tickets with the concrete Goal for buying a train ticket from Innsbruck to Frankfurt"
dc:creator hasValue "DERI International"
dc:subject hasValues {"ggMediator", "Tickets", "Online Ticket Booking", "train trip"}
dc:description hasValue "Restricts the trip to train trips within Austria and Germany"
dc:publisher hasValue "DERI International"
dc:contributor hasValue "Michael Stollberg"
dc:date hasValue "2004-10-28"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#ggMediator>>
dc:format hasValue "text/html"
dc:identifier hasValue <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041105/resources/ggm1.wsml>>
dc:language hasValue "en-us"
dc:relation hasValues {<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041105/resources/goal1.wsml>>,
<<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041105/resources/goal.wsml>>}
dc:coverage hasValue "ID:7029392 Name:World"
dc:rights hasValue <<http://deri.at/privacy.html>>
version hasValue "$Revision: 1.3 $"
endNonFunctionalProperties
source <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/goal1>>
target <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/goal>>
|
A WW Mediator allows establishing interoperability of Web Services that are not interoperable a priori by used by connecting Web Services and resolving mismtaches. The mediation facility needed for WW Mediators is to mediate between the Choreographies of Web Services that are ought to interact. This requires mediation on the data, protocol, and process level, i.e. all levels of mediation relevant for Semantic Web Services [Fensel & Bussler, 2002], in order to establish valid global interaction models of Web Services.
There is no WW Mediator in this use case as the corresponding notions of Choreography and Orchestration are still under development at this point in time. Future versions might include the definition of the composition of the search and buying service, wherein a WW Mediator might be applied.
Web Service Discovery is a core technology for Semantic Web Services: the aim is to detect web services that can resolve a given Goal, working on the descriptions of the goal and of web services. WSMO supports Web Service discovery by defining Goals and Web Services as top level components. Web Service discovery is a complex topic of its own, and is addressed within related documents in WSMO. Thus, we do not specify and explain realization of Web Service discovery here, but link to the related documents.
This use case has been serving as a test bed for developing the WSMO Discovery Framework that is elaborated in WSMO Deliverable 5.1 (see: http://www.wsmo.org/2004/d5/d5.1/); and it serves as the testing environment for the implementation of a WSMO discovery engine that is presented in WSMO Deliverable 5.2 (see: http://www.wsmo.org/2004/d5/d5.2/). Please refer to these documents for a complete overview of discovery within WSMO.
This document provides a real-world setting of using Semantic Web Services for a Virtual Travel Agency (VTA) that provides an end-user service for booking international train tickets, thereby aggregating Web Services of different e-Tourism Service Providers. We have modeled ontologies, goals, a Web Service, and OO Mediators according to their current specification status in WSMO [Roman et al., 2004].
This use case is the first, initial use case defined for testing and recursively developing WSMO. The major outcomes of this use case are:
Other use cases address different aspects of Semantic Web Services around the Web Service Modeling Ontology WSMO; WSMO Use Case are gathered in the WSMO Use Case Overview document.
[de Bruijn, 2004]de Bruijn, J. (ed): D16.0 v0.2 WSMO The WSML Family of Representation Languages ebXML, WMSL Working Draft 26 September 2004, avaliable at: http://www.wsmo.org/2004/d16/v0.2/20040926/.
[ebXML] ebXML, avaliable at: http://www.ebxml.org.
[EDIFACT] UN/EDIFACT, avaliable at: http://www.unece.org/trade/untdid/welcome.htm.
[Fensel & Bussler, 2002] D. Fensel and C. Bussler: The Web Service Modeling Framework WSMF, Electronic Commerce Research and Applications, 1(2), 2002.
[Keller et al., 2004] Keller, U.; Lara;, R.; Polleres, A. (eds.): WSMO Discovery, D5.1 v0.1, WSML Working Draft 13 September 2004. available at http://www.wsmo.org/2004/d5/d5.1/v0.1/20040913/
[Pan and Hobbs] F. Pan and R. Hobbs: Time in OWL-S, avaliable at: http://www.isi.edu/~pan/damltime/AAAIsymp2004.pdf.
[Roman et al., 2004] D. Roman, U. Keller, H. Lausen (eds.): Web Service Modeling Ontology (WSMO), WSMO Working Draft D2, final version 1.0, 20 September 2004, available at http://www.wsmo.org/2004/d2/v1.0/20040920/.
[RosettaNet] RosettaNet, avaliable at: http://www.rosettanet.org.
The work is funded by the European Commission under the projects DIP, Knowledge Web, InfraWebs, SEKT, SWWS, ASG and Esperonto; by Science Foundation Ireland under the DERI-Lion project; by the Vienna city government under the CoOperate programme and by the FIT-IT (Forschung, Innovation, Technologie - Informationstechnologie) under the projects RW˛ and TSC.
The editors would like to thank to all the members of the WSMO working group for their advice and input into this document.
To facilitate retracing of changes between different version of this deliverable, the following lists the essentail changes done in comparison to the preceding version.
The change tracking starts with the version of 28 June 2004.
Version: 19 November 2004 http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/
To ease understanding of the resources modeled within this use case, the section gathers all ontologies (re)used within this use case as well as other related resources.
The ontologies specified in Section 3.1 use existing ontologies. Most of these ontologies are modelled in OWL. To use them within WSML, the syntax has to be converted to WSML (using an OO Mediator). A mediation Service has not yet been implemented, however a partial mapping is defined in [de Bruijn, 2004].
The following listings provide the ontologies in OWL abstract syntax, since this syntax is more human readable then the RDF/XML syntax. The conversion was done using the OWL API developed by the University of Manchestor. Specific Notes to the conversion can be found below each ontology (if applicable). The Listings are given to illustrate the expressive power used in this OWL ontologies and to allow the reader the comparison of between the wsml and owl ontologies.
Namespace(rdf = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Namespace(xsd = <http://www.w3.org/2001/XMLSchema#>)
Namespace(rdfs = <http://www.w3.org/2000/01/rdf-schema#>)
Namespace(owl = <http://www.w3.org/2002/07/owl#>)
Namespace(a = <http://daml.umbc.edu/ontologies/ittalks/person#>)
Namespace(b = <http://daml.umbc.edu/ontologies/ittalks/address#>)
Ontology( <http://daml.umbc.edu/ontologies/ittalks/person>
Annotation(owl:imports http://daml.umbc.edu/ontologies/ittalks/address)
Annotation(owl:imports http://daml.umbc.edu/ontologies/ittalks/event)
Annotation(owl:versionInfo "$Revision: 1.1 $")
Annotation(rdfs:comment "A ontology that describe a person.
The properties listed in this ontology is a subset of vCard.
see also: http://www.ietf.org/rfc/rfc2426.txt.
This ontology is created by
Li Ding -- http://www.csee.umbc.edu/~dingli1/,
Harry Chen -- http://www.csee.umbc.edu/~hchen4/,
Lalana Kagal -- http://www.cs.umbc.edu/~lkagal1/,
Tim Finin -- http://www.csee.umbc.edu/~finin/.")
ObjectProperty(a:homeAddress domain(a:Person) range(b:Address))
ObjectProperty(a:officeAddress domain(a:Person) range(b:Address))
DatatypeProperty(a:birthday domain(a:Person) range(<http://daml.umbc.edu/ontologies/ittalks/event#Instant>))
DatatypeProperty(a:cellPhone domain(a:Person) range(xsd:string))
DatatypeProperty(a:email domain(a:Person) range(xsd:string))
DatatypeProperty(a:fax domain(a:Person) range(xsd:string))
DatatypeProperty(a:firstName domain(a:Person) range(xsd:string))
DatatypeProperty(a:gender domain(a:Person) range(xsd:string))
DatatypeProperty(a:homePhone domain(a:Person) range(xsd:string))
DatatypeProperty(a:homepage domain(a:Person) range(xsd:anyURI))
DatatypeProperty(a:lastName domain(a:Person) range(xsd:string))
DatatypeProperty(a:officePhone domain(a:Person) range(xsd:string))
DatatypeProperty(a:pager domain(a:Person) range(xsd:string))
DatatypeProperty(a:title domain(a:Person) range(xsd:string))
Class(b:Address partial)
Class(a:Person partial
restriction(a:firstName cardinality(1))
restriction(a:gender maxCardinality(1))
restriction(a:birthday maxCardinality(1))
restriction(a:lastName cardinality(1)))
Class(a:Person partial
annotation(rdfs:comment "OWL description of a person")
annotation(rdfs:label "Person")
)
AnnotationProperty(rdfs:comment)
AnnotationProperty(rdfs:label)
AnnotationProperty(owl:versionInfo)
)
|
The original ontology in OWL/RDF format is available at: http://daml.umbc.edu/ontologies/ittalks/person
Namespace(rdf = http://www.w3.org/1999/02/22-rdf-syntax-ns#)
Namespace(xsd = http://www.w3.org/2001/XMLSchema#)
Namespace(rdfs = http://www.w3.org/2000/01/rdf-schema#)
Namespace(owl = http://www.w3.org/2002/07/owl#)
Namespace(a = http://www.daml.org/2003/09/factbook/factbook-ont#)
Namespace(b = http://www.daml.org/2001/09/countries/fips-10-4-ont#)
Ontology(
Annotation( owl:imports http://www.daml.org/2001/09/countries/fips-10-4-ont)
Annotation(rdfs:comment "CIA World Fact Book (2003) Ontology")
Annotation(rdfs:comment "see http://www.cia.gov/cia/publications/factbook/")
Annotation(owl:versionInfo "$Id: owlFactbook-ont-abstract.owl.html,v 1.1 2004/11/19 14:51:57 hlausen Exp $")
Class(b:Country partial
restriction(a:administrativeDivision allValuesFrom (a:AdministrativeDivision))
restriction(a:agricultureProduct allValuesFrom (a:AgricultureProduct))
restriction(a:airportBreakdown allValuesFrom (a:AirportBreakdown))
restriction(a:airports allValuesFrom (xsd:integer))
restriction(a:background allValuesFrom (xsd:string))
restriction(a:birthRate allValuesFrom (xsd:float))
restriction(a:border allValuesFrom (a:Border))
restriction(a:budgetCapitalExpenditures allValuesFrom (xsd:decimal))
restriction(a:budgetExpenditures allValuesFrom (xsd:decimal))
restriction(a:budgetRevenues allValuesFrom (xsd:decimal))
restriction(a:capital allValuesFrom (a:CapitalCity))
restriction(a:climate allValuesFrom (xsd:string))
restriction(a:coastline allValuesFrom (xsd:decimal))
restriction(a:comparativeArea allValuesFrom (xsd:string))
restriction(a:constitution allValuesFrom (xsd:string))
restriction(a:conventionalLongCountryName allValuesFrom (xsd:string))
restriction(a:conventionalShortCountryName allValuesFrom (xsd:string))
restriction(a:countryAbbreviation allValuesFrom (xsd:string))
restriction(a:currency allValuesFrom (xsd:string))
restriction(a:currencyCode allValuesFrom (xsd:string))
restriction(a:deathRate allValuesFrom (xsd:float))
restriction(a:dependencyStatus allValuesFrom (xsd:string))
restriction(a:dependentArea allValuesFrom (b:Country))
restriction(a:distributionOfFamilyIncomeGiniIndex allValuesFrom (xsd:float))
restriction(a:economicAidDonor allValuesFrom (xsd:decimal))
restriction(a:economicAidRecipient allValuesFrom (xsd:decimal))
restriction(a:economyOverview allValuesFrom (xsd:string))
restriction(a:electricityConsumption allValuesFrom (xsd:decimal))
restriction(a:electricityExports allValuesFrom (xsd:decimal))
restriction(a:electricityImports allValuesFrom (xsd:decimal))
restriction(a:electricityProduction allValuesFrom (xsd:decimal))
restriction(a:electricityProductionPercent allValuesFrom (xsd:float))
restriction(a:environmentalIssue allValuesFrom (xsd:string))
restriction(a:ethnicGroup allValuesFrom (a:EthnicGroupPercent))
restriction(a:exportPartner allValuesFrom (a:CountryPercent))
restriction(a:exports allValuesFrom (xsd:decimal))
restriction(a:exportsCommodity allValuesFrom (a:CommodityPercent))
restriction(a:externalDebt allValuesFrom (xsd:decimal))
restriction(a:femalesFitForMilitaryService allValuesFrom (xsd:integer))
restriction(a:femalesOfMilitaryAge allValuesFrom (xsd:integer))
restriction(a:femalesReachingMilitaryAgeAnnually allValuesFrom (xsd:integer))
restriction(a:fiscalYear allValuesFrom (xsd:string))
restriction(a:flagDescription allValuesFrom (xsd:string))
restriction(a:formerCountryName allValuesFrom (xsd:string))
restriction(a:geographicCoordinates allValuesFrom (a:LatLon))
restriction(a:governmentType allValuesFrom (a:GovernmentType))
restriction(a:grossDomesticProduct allValuesFrom (xsd:decimal))
restriction(a:grossDomesticProductComposition allValuesFrom (xsd:float))
restriction(a:grossDomesticProductPerCapita allValuesFrom (xsd:decimal))
restriction(a:grossDomesticProductRealGrowth allValuesFrom (xsd:float))
restriction(a:heliports allValuesFrom (xsd:integer))
restriction(a:highestPoint allValuesFrom (a:ElevationExtreme))
restriction(a:highwaysPaved allValuesFrom (xsd:integer))
restriction(a:highwaysUnpaved allValuesFrom (xsd:integer))
restriction(a:householdIncomeByPercentageShare allValuesFrom (xsd:float))
restriction(a:illicitDrugs allValuesFrom (xsd:string))
restriction(a:importPartner allValuesFrom (a:CountryPercent))
restriction(a:imports allValuesFrom (xsd:decimal))
restriction(a:importsCommodity allValuesFrom (a:CommodityPercent))
restriction(a:independence allValuesFrom (xsd:string))
restriction(a:industrialProductionGrowthRate allValuesFrom (xsd:float))
restriction(a:industry allValuesFrom (a:Industry))
restriction(a:infantMortalityRateFemale allValuesFrom (xsd:float))
restriction(a:infantMortalityRateMale allValuesFrom (xsd:float))
restriction(a:infantMortalityRateTotal allValuesFrom (xsd:float))
restriction(a:inflationRate allValuesFrom (xsd:float))
restriction(a:internationalDispute allValuesFrom (xsd:string))
restriction(a:internetCountryCode allValuesFrom (xsd:string))
restriction(a:internetServiceProviders allValuesFrom (xsd:integer))
restriction(a:internetUsers allValuesFrom (xsd:integer))
restriction(a:irrigatedLand allValuesFrom (xsd:float))
restriction(a:laborForce allValuesFrom (xsd:integer))
restriction(a:landArea allValuesFrom (xsd:decimal))
restriction(a:landBoundaries allValuesFrom (xsd:decimal))
restriction(a:landUse allValuesFrom (xsd:float))
restriction(a:language allValuesFrom (a:LanguagePercent))
restriction(a:largeFlag allValuesFrom (xsd:anyURI))
restriction(a:legalSystem allValuesFrom (xsd:string))
restriction(a:literacyDefinition allValuesFrom (xsd:string))
restriction(a:literacyFemale allValuesFrom (xsd:float))
restriction(a:literacyMale allValuesFrom (xsd:float))
restriction(a:literacyTotal allValuesFrom (xsd:float))
restriction(a:localLongCountryName allValuesFrom (xsd:string))
restriction(a:localShortCountryName allValuesFrom (xsd:string))
restriction(a:location allValuesFrom (xsd:string))
restriction(a:lowestPoint allValuesFrom (a:ElevationExtreme))
restriction(a:mainTelephoneLines allValuesFrom (xsd:integer))
restriction(a:malesFitForMilitaryService allValuesFrom (xsd:integer))
restriction(a:malesOfMilitaryAge allValuesFrom (xsd:integer))
restriction(a:malesReachingMilitaryAgeAnnually allValuesFrom (xsd:integer))
restriction(a:map allValuesFrom (xsd:anyURI))
restriction(a:mapReferences allValuesFrom (xsd:string))
restriction(a:maritimeClaim allValuesFrom (xsd:integer))
restriction(a:medianAgeFemale allValuesFrom (xsd:float))
restriction(a:medianAgeMale allValuesFrom (xsd:float))
restriction(a:medianAgeTotal allValuesFrom (xsd:float))
restriction(a:militaryAge allValuesFrom (xsd:integer))
restriction(a:militaryExpenditures allValuesFrom (xsd:decimal))
restriction(a:militaryExpendituresPercentGDP allValuesFrom (xsd:float))
restriction(a:mobileTelephoneLines allValuesFrom (xsd:integer))
restriction(a:nationalityAdjective allValuesFrom (xsd:string))
restriction(a:nationalityNoun allValuesFrom (xsd:string))
restriction(a:naturalGasProvedReserves allValuesFrom (xsd:decimal))
restriction(a:naturalHazard allValuesFrom (xsd:string)))
restriction(a:naturalResource allValuesFrom (a:NaturalResource))
restriction(a:netMigrationRate allValuesFrom (xsd:float))
restriction(a:occupation allValuesFrom (a:OccupationPercent))
restriction(a:oilConsumption allValuesFrom (xsd:decimal))
restriction(a:oilExports allValuesFrom (xsd:decimal))
restriction(a:oilImports allValuesFrom (xsd:decimal))
restriction(a:oilProduction allValuesFrom (xsd:decimal))
restriction(a:oilProvedReserves allValuesFrom (xsd:decimal))
restriction(a:participatesIn allValuesFrom (a:InternationalOrganization))
restriction(a:pipelines allValuesFrom (a:PipelineDistance))
restriction(a:population allValuesFrom (xsd:integer))
restriction(a:populationBelowPovertyLine allValuesFrom (xsd:float))
restriction(a:populationGrowthRate allValuesFrom (xsd:float))
restriction(a:port allValuesFrom (a:Port))
restriction(a:radioStations allValuesFrom (a:RadioBandBreakdown))
restriction(a:radios allValuesFrom (xsd:integer))
restriction(a:railwaysBroadGauge allValuesFrom (xsd:integer))
restriction(a:railwaysDualGauge allValuesFrom (xsd:integer))
restriction(a:railwaysNarrowGauge allValuesFrom (xsd:integer))
restriction(a:railwaysStandardGauge allValuesFrom (xsd:integer))
restriction(a:railwaysTotal allValuesFrom (xsd:integer))
restriction(a:religion allValuesFrom (a:ReligionPercent))
restriction(a:sexRatio allValuesFrom (a:SexRatioBreakdown))
restriction(a:smallFlag allValuesFrom (xsd:anyURI))
restriction(a:suffrage allValuesFrom (xsd:string))
restriction(a:telephoneSystemDomestic allValuesFrom (xsd:string))
restriction(a:telephoneSystemGeneralAssessment allValuesFrom (xsd:string))
restriction(a:telephoneSystemInternational allValuesFrom (xsd:string))
restriction(a:televisionBroadcastStations allValuesFrom (xsd:integer))
restriction(a:televisions allValuesFrom (xsd:integer))
restriction(a:terrain allValuesFrom (xsd:string))
restriction(a:totalArea allValuesFrom (xsd:decimal))
restriction(a:totalFertilityRate allValuesFrom (xsd:float))
restriction(a:unemploymentRate allValuesFrom (xsd:float))
restriction(a:waterArea allValuesFrom (xsd:decimal))
restriction(a:waterways allValuesFrom (xsd:integer))
Class(a:AdministrativeDivision partial
restriction(a:name allValuesFrom (xsd:string)))
Class(a:AdministrativeDivision
annotation(rdfs:comment "intended to be subclassed for each country"))
Class(a:AgeBreakdown partial
restriction(a:maxAge allValuesFrom (xsd:integer))
a:Breakdown
restriction(a:minAge allValuesFrom (xsd:integer)))
Class(a:AgricultureProduct partial
a:SharedObject)
Class(a:AirportBreakdown partial
restriction(a:maxRunway allValuesFrom (xsd:integer))
a:CountBreakdown
restriction(a:minRunway allValuesFrom (xsd:integer))
restriction(a:paved allValuesFrom (xsd:boolean)))
Class(a:Border partial
restriction(a:country allValuesFrom (b:Country))
restriction(a:distance allValuesFrom (xsd:decimal)))
Class(a:Breakdown
annotation(rdfs:comment "abstract base for classes associating categorizing a value by some other index (percentage, count, etc.)"))
Class(a:CapitalCity partial
restriction(a:name allValuesFrom (xsd:string)))
Class(a:Commodity partial
a:SharedObject)
Class(a:CommodityPercent partial
a:PercentBreakdown
restriction(a:commodity allValuesFrom (a:Commodity)))
Class(a:CountBreakdown partial
restriction(a:count allValuesFrom (xsd:integer))
a:Breakdown)
Class(a:CountryPercent partial
a:PercentBreakdown
restriction(a:country allValuesFrom (b:Country)))
Class(a:ElevationExtreme partial
restriction(a:elevation allValuesFrom (xsd:integer))
restriction(a:name allValuesFrom (xsd:string)))
Class(a:EnvironmentalAgreement partial
a:SharedObject)
Class(a:Estimate partial
rdf:Statement)
Class(a:Estimate
annotation(rdfs:comment "rdf:type added to some (reified) Statements"))
Class(a:EthnicGroup partial
a:SharedObject)
Class(a:EthnicGroupPercent partial
a:PercentBreakdown
restriction(a:ethnicGroup allValuesFrom (a:EthnicGroup)))
Class(a:GovernmentType partial
a:SharedObject)
Class(a:Industry partial
a:SharedObject)
Class(a:InternationalOrganization partial
a:SharedObject)
Class(a:Language partial
a:SharedObject)
Class(a:LanguagePercent partial
a:PercentBreakdown
restriction(a:language allValuesFrom (a:Language)))
Class(a:LatLon partial
restriction(a:longitude allValuesFrom (xsd:double))
restriction(a:latitude allValuesFrom (xsd:double)))
Class(a:NaturalResource partial
a:SharedObject)
Class(a:Occupation partial
a:SharedObject)
Class(a:OccupationPercent partial
a:PercentBreakdown
restriction(a:occupation allValuesFrom (a:Occupation)))
Class(a:PercentBreakdown partial
restriction(a:percent allValuesFrom (xsd:float))
a:Breakdown)
Class(a:PipelineDistance partial
restriction(a:type allValuesFrom (a:PipelineType))
restriction(a:distance allValuesFrom (xsd:integer)))
Class(a:PipelineType partial
a:SharedObject)
Class(a:Port partial
restriction(a:name allValuesFrom (xsd:string)))
Class(a:RadioBand partial
a:SharedObject)
Class(a:RadioBandBreakdown partial
restriction(a:band allValuesFrom (a:RadioBand))
a:CountBreakdown)
Class(a:Religion partial
a:SharedObject)
Class(a:ReligionPercent partial
a:PercentBreakdown
restriction(a:religion allValuesFrom (a:Religion)))
Class(a:SexRatioBreakdown partial
a:AgeBreakdown
restriction(a:ratio allValuesFrom (xsd:float)))
Class(a:SharedObject partial
restriction(a:name allValuesFrom (xsd:string)))
Class(a:SharedObject
annotation(rdfs:comment "abstract base for common instances that are referred to by multiple Countries"))
Class(rdf:Statement partial
restriction(a:note allValuesFrom (xsd:string))
restriction(a:year allValuesFrom (xsd:gYear))
restriction(a:fiscalYear allValuesFrom (xsd:gYear)))
Class(rdf:Statement
annotation(rdfs:comment "associate a parenthesized comment with a (reified) Statement") annotation(rdfs:comment "associate a timestamp with a (reified) Statement"))
Class(xsd:string partial)
AnnotationProperty(rdfs:comment)
AnnotationProperty(owl:versionInfo)
ObjectProperty(a:administrativeDivision)
ObjectProperty(a:agricultureProduct)
ObjectProperty(a:border)
ObjectProperty(a:capital)
ObjectProperty(a:commodity)
ObjectProperty(a:country)
ObjectProperty(a:dependentArea)
ObjectProperty(a:environmentalAgreementPartyTo)
ObjectProperty(a:environmentalAgreementSigned)
ObjectProperty(a:ethnicGroup)
ObjectProperty(a:exportPartner)
ObjectProperty(a:exportsCommodity)
ObjectProperty(a:geographicCoordinates)
ObjectProperty(a:governmentType)
ObjectProperty(a:importPartner)
ObjectProperty(a:importsCommodity)
ObjectProperty(a:industry)
ObjectProperty(a:language)
ObjectProperty(a:naturalHazard)
ObjectProperty(a:naturalResource)
ObjectProperty(a:occupation)
ObjectProperty(a:participatesIn)
ObjectProperty(a:pipelines)
ObjectProperty(a:port)
ObjectProperty(a:radioStations)
ObjectProperty(a:sexRatio)
DatatypeProperty(a:airportBreakdown)
DatatypeProperty(a:airports)
DatatypeProperty(a:arableLand)
DatatypeProperty(a:background)
DatatypeProperty(a:band)
DatatypeProperty(a:birthRate)
DatatypeProperty(a:budgetCapitalExpenditures)
DatatypeProperty(a:budgetExpenditures)
DatatypeProperty(a:budgetRevenues)
DatatypeProperty(a:climate)
DatatypeProperty(a:coastline)
DatatypeProperty(a:comparativeArea)
DatatypeProperty(a:constitution)
DatatypeProperty(a:contiguousZone)
DatatypeProperty(a:continentalShelf)
DatatypeProperty(a:conventionalLongCountryName)
DatatypeProperty(a:conventionalShortCountryName)
DatatypeProperty(a:count)
DatatypeProperty(a:countryAbbreviation)
DatatypeProperty(a:currency)
DatatypeProperty(a:currencyCode)
DatatypeProperty(a:deathRate)
DatatypeProperty(a:dependencyStatus)
DatatypeProperty(a:distance)
DatatypeProperty(a:distributionOfFamilyIncomeGiniIndex)
DatatypeProperty(a:economicAidDonor)
DatatypeProperty(a:economicAidRecipient)
DatatypeProperty(a:economyOverview)
DatatypeProperty(a:electricityConsumption)
DatatypeProperty(a:electricityExports)
DatatypeProperty(a:electricityImports)
DatatypeProperty(a:electricityProduction)
DatatypeProperty(a:electricityProductionFossilFuel)
DatatypeProperty(a:electricityProductionHydro)
DatatypeProperty(a:electricityProductionNuclear)
DatatypeProperty(a:electricityProductionOther)
DatatypeProperty(a:electricityProductionPercent)
DatatypeProperty(a:elevation)
DatatypeProperty(a:environmentalIssue)
DatatypeProperty(a:exclusiveEconomicZone)
DatatypeProperty(a:exclusiveFishingZone)
DatatypeProperty(a:exports)
DatatypeProperty(a:extendedFishingZone)
DatatypeProperty(a:externalDebt)
DatatypeProperty(a:femalesFitForMilitaryService)
DatatypeProperty(a:femalesOfMilitaryAge)
DatatypeProperty(a:femalesReachingMilitaryAgeAnnually)
DatatypeProperty(a:fiscalYear)
DatatypeProperty(a:flagDescription)
DatatypeProperty(a:forestsAndWoodland)
DatatypeProperty(a:formerCountryName)
DatatypeProperty(a:grossDomesticProduct)
DatatypeProperty(a:grossDomesticProductAgriculture)
DatatypeProperty(a:grossDomesticProductComposition)
DatatypeProperty(a:grossDomesticProductIndustry)
DatatypeProperty(a:grossDomesticProductPerCapita)
DatatypeProperty(a:grossDomesticProductRealGrowth)
DatatypeProperty(a:grossDomesticProductServices)
DatatypeProperty(a:heliports)
DatatypeProperty(a:highestPoint)
DatatypeProperty(a:highwaysPaved)
DatatypeProperty(a:highwaysTotal)
DatatypeProperty(a:highwaysUnpaved)
DatatypeProperty(a:householdIncomeByPercentageShare)
DatatypeProperty(a:householdIncomeHighest10Percent)
DatatypeProperty(a:householdIncomeLowest10Percent)
DatatypeProperty(a:illicitDrugs)
DatatypeProperty(a:imports)
DatatypeProperty(a:independence)
DatatypeProperty(a:industrialProductionGrowthRate)
DatatypeProperty(a:infantMortalityRateFemale)
DatatypeProperty(a:infantMortalityRateMale)
DatatypeProperty(a:infantMortalityRateTotal)
DatatypeProperty(a:inflationRate)
DatatypeProperty(a:internationalDispute)
DatatypeProperty(a:internetCountryCode)
DatatypeProperty(a:internetServiceProviders)
DatatypeProperty(a:internetUsers)
DatatypeProperty(a:irrigatedLand)
DatatypeProperty(a:laborForce)
DatatypeProperty(a:landArea)
DatatypeProperty(a:landBoundaries)
DatatypeProperty(a:landUse)
DatatypeProperty(a:largeFlag)
DatatypeProperty(a:latitude)
DatatypeProperty(a:legalSystem)
DatatypeProperty(a:literacyDefinition)
DatatypeProperty(a:literacyFemale)
DatatypeProperty(a:literacyMale)
DatatypeProperty(a:literacyTotal)
DatatypeProperty(a:localLongCountryName)
DatatypeProperty(a:localShortCountryName)
DatatypeProperty(a:location)
DatatypeProperty(a:longitude)
DatatypeProperty(a:lowestPoint)
DatatypeProperty(a:mainTelephoneLines)
DatatypeProperty(a:malesFitForMilitaryService)
DatatypeProperty(a:malesOfMilitaryAge)
DatatypeProperty(a:malesReachingMilitaryAgeAnnually)
DatatypeProperty(a:map)
DatatypeProperty(a:mapReferences)
DatatypeProperty(a:maritimeClaim)
DatatypeProperty(a:maxAge)
DatatypeProperty(a:maxRunway)
DatatypeProperty(a:medianAgeFemale)
DatatypeProperty(a:medianAgeMale)
DatatypeProperty(a:medianAgeTotal)
DatatypeProperty(a:militaryAge)
DatatypeProperty(a:militaryExpenditures)
DatatypeProperty(a:militaryExpendituresPercentGDP)
DatatypeProperty(a:minAge)
DatatypeProperty(a:minRunway)
DatatypeProperty(a:mobileTelephoneLines)
DatatypeProperty(a:name)
DatatypeProperty(a:nationalityAdjective)
DatatypeProperty(a:nationalityNoun)
DatatypeProperty(a:naturalGasProvedReserves)
DatatypeProperty(a:netMigrationRate)
DatatypeProperty(a:note)
DatatypeProperty(a:oilConsumption)
DatatypeProperty(a:oilExports)
DatatypeProperty(a:oilImports)
DatatypeProperty(a:oilProduction)
DatatypeProperty(a:oilProvedReserves)
DatatypeProperty(a:otherLandUse)
DatatypeProperty(a:paved)
DatatypeProperty(a:percent)
DatatypeProperty(a:permanentCrops)
DatatypeProperty(a:permanentPastures)
DatatypeProperty(a:population)
DatatypeProperty(a:populationBelowPovertyLine)
DatatypeProperty(a:populationGrowthRate)
DatatypeProperty(a:radios)
DatatypeProperty(a:railwaysBroadGauge)
DatatypeProperty(a:railwaysDualGauge)
DatatypeProperty(a:railwaysNarrowGauge)
DatatypeProperty(a:railwaysStandardGauge)
DatatypeProperty(a:railwaysTotal)
DatatypeProperty(a:ratio)
DatatypeProperty(a:religion)
DatatypeProperty(a:smallFlag)
DatatypeProperty(a:suffrage)
DatatypeProperty(a:telephoneSystemDomestic)
DatatypeProperty(a:telephoneSystemGeneralAssessment)
DatatypeProperty(a:telephoneSystemInternational)
DatatypeProperty(a:televisionBroadcastStations)
DatatypeProperty(a:televisions)
DatatypeProperty(a:terrain)
DatatypeProperty(a:territorialSea)
DatatypeProperty(a:totalArea)
DatatypeProperty(a:totalFertilityRate)
DatatypeProperty(a:type)
DatatypeProperty(a:unemploymentRate)
DatatypeProperty(a:units)
DatatypeProperty(a:waterArea)
DatatypeProperty(a:waterways)
DatatypeProperty(a:year)
Individual(_ value(a:units "US dollars"))
Individual(_ value(a:units "bbl"))
Individual(_ value(a:units "bbl/day"))
Individual(_ value(a:units "births/1000 population"))
Individual(_ value(a:units "children born/woman"))
Individual(_ value(a:units "cu m"))
Individual(_ value(a:units "deaths/1000 population"))
Individual(_ value(a:units "degrees"))
Individual(_ value(a:units "index"))
Individual(_ value(a:units "kWh"))
Individual(_ value(a:units "km"))
Individual(_ value(a:units "male(s)/female"))
Individual(_ value(a:units "meters"))
Individual(_ value(a:units "migrants/1000 population"))
Individual(_ value(a:units "nautical miles"))
Individual(_ value(a:units "people"))
Individual(_ value(a:units "percent"))
Individual(_ value(a:units "percent/year"))
Individual(_ value(a:units "sq km"))
Individual(_ value(a:units "years"))
SubPropertyOf(a:arableLand a:landUse)
SubPropertyOf(a:contiguousZone a:maritimeClaim)
SubPropertyOf(a:continentalShelf a:maritimeClaim)
SubPropertyOf(a:electricityProductionFossilFuel a:electricityProductionPercent)
SubPropertyOf(a:electricityProductionHydro a:electricityProductionPercent)
SubPropertyOf(a:electricityProductionNuclear a:electricityProductionPercent)
SubPropertyOf(a:electricityProductionOther a:electricityProductionPercent)
SubPropertyOf(a:exclusiveEconomicZone a:maritimeClaim)
SubPropertyOf(a:exclusiveFishingZone a:maritimeClaim)
SubPropertyOf(a:extendedFishingZone a:maritimeClaim)
SubPropertyOf(a:forestsAndWoodland a:landUse)
SubPropertyOf(a:grossDomesticProductAgriculture a:grossDomesticProductComposition)
SubPropertyOf(a:grossDomesticProductIndustry a:grossDomesticProductComposition)
SubPropertyOf(a:grossDomesticProductServices a:grossDomesticProductComposition)
SubPropertyOf(a:householdIncomeHighest10Percent a:householdIncomeByPercentageShare)
SubPropertyOf(a:householdIncomeLowest10Percent a:householdIncomeByPercentageShare)
SubPropertyOf(a:otherLandUse a:landUse)
SubPropertyOf(a:permanentCrops a:landUse)
SubPropertyOf(a:permanentPastures a:landUse)
SubPropertyOf(a:territorialSea a:maritimeClaim)
)
|
The original ontology in OWL/RDF format is available at: http://www.daml.org/2003/09/factbook/factbook-ont
Note that the original ontology contains several Individual assertions which
seemed to be mend as annotation for range fillers, e.g.:
<owl:Restriction> <owl:onProperty rdf:resource="#totalArea" /> <owl:allValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#decimal" /> <factbook:units>sq km</factbook:units> </owl:Restriction>
However those individuals have semantically no connection to the properties they occur next to within the XML representation. As shown in the abstract syntax they are just individual assertions.
Namespace(xsd = http://www.w3.org/2001/XMLSchema#) Namespace(a = http://daml.umbc.edu/ontologies/ittalks/address#) Ontology( Class(a:Address partial) DatatypeProperty(a:city domain(a:Address) range(xsd:string)) DatatypeProperty(a:country domain(a:Address) range(xsd:string)) DatatypeProperty(a:roomNumber domain(a:Address) range(xsd:string)) DatatypeProperty(a:state domain(a:Address) range(xsd:string)) DatatypeProperty(a:streetAddress domain(a:Address) range(xsd:string)) DatatypeProperty(a:zip domain(a:Address) range(xsd:string)) ) |
The original ontology in OWL/RDF format is available at: http://daml.umbc.edu/ontologies/ittalks/address
| [an error occurred while processing this directive]
|
Namespace(rdf = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Namespace(xsd = <http://www.w3.org/2001/XMLSchema#>)
Namespace(rdfs = <http://www.w3.org/2000/01/rdf-schema#>)
Namespace(owl = <http://www.w3.org/2002/07/owl#>)
Namespace(a = <http://www.daml.org/2001/02/geofile/geofile-dt.xsd#>)
Namespace(b = <http://www.daml.org/2001/02/geofile/geofile-ont#>)
Ontology( <http://www.daml.org/2001/02/geofile/geofile-ont>
Annotation(owl:versionInfo "$Id: geofile-abstract.owl.html,v 1.1 2004/11/19 14:51:57 hlausen Exp $")
Annotation(rdfs:comment "Ontology for the GEOFILE")
ObjectProperty(b:classification domain(b:GeographicLocation) range(b:Classification))
ObjectProperty(b:containsLocation inverseOf(b:locatedIn) domain(b:GeographicArea) range(b:Location))
ObjectProperty(b:locatedIn domain(b:Location) range(b:GeographicArea))
ObjectProperty(b:primeGeoloc domain(b:GeographicLocation) range(b:GeographicLocation))
ObjectProperty(b:recordOwner domain(b:GeographicLocation))
ObjectProperty(b:status domain(b:GeographicLocation) range(b:Status))
DatatypeProperty(b:cancelledDate domain(b:GeographicLocation) range(xsd:date))
DatatypeProperty(b:countryStateCode domain(b:GeographicArea) range(a:cc))
DatatypeProperty(b:createdDate domain(b:GeographicLocation) range(xsd:date))
DatatypeProperty(b:geolocationCode domain(b:GeographicLocation) range(a:geocode))
DatatypeProperty(b:icao domain(b:GeographicLocation) range(a:icaoCode))
DatatypeProperty(b:installationTypeCode domain(b:GeographicLocation) range(a:installationTypeCode))
DatatypeProperty(b:lastChangedDate domain(b:GeographicLocation) range(xsd:date))
DatatypeProperty(b:latitude domain(b:Location) range(a:latitude))
DatatypeProperty(b:longName domain(b:GeographicArea) range(xsd:string))
DatatypeProperty(b:longitude domain(b:Location) range(a:longitude))
DatatypeProperty(b:name domain(b:GeographicLocation) range(xsd:string))
DatatypeProperty(b:planCode domain(b:GeographicLocation) range(a:planCode))
DatatypeProperty(b:shortName domain(b:GeographicArea) range(xsd:string))
Class(b:Adminstration complete restriction(b:installationTypeCode value ("ADM")))
Class(b:Adminstration partial b:Infrastructure)
Class(b:AirForceStation complete restriction(b:installationTypeCode value ("AFS")))
Class(b:AirForceStation partial b:AirLandingArea)
Class(b:AirLandingArea partial b:GeographicLocation)
Class(b:AirNationalGuardStation complete restriction(b:installationTypeCode value ("AGS")))
Class(b:AirNationalGuardStation partial b:MilitaryInstallation)
Class(b:AirStation complete restriction(b:installationTypeCode value ("ASN")))
Class(b:AirStation partial b:AirLandingArea)
Class(b:AirTerminal complete restriction(b:installationTypeCode value ("ATM")))
Class(b:AirTerminal partial b:Infrastructure)
Class(b:Airfield complete restriction(b:installationTypeCode value ("AFD")))
Class(b:Airfield partial b:AirLandingArea)
Class(b:Airport complete restriction(b:installationTypeCode value ("APT")))
Class(b:Airport partial b:AirLandingArea)
Class(b:AmmunitionStorage complete restriction(b:installationTypeCode value ("AMO")))
Class(b:AmmunitionStorage partial b:SupplyArea)
Class(b:Annex complete restriction(b:installationTypeCode value ("ANX")))
Class(b:Annex partial b:Infrastructure)
Class(b:ArmyInstallation complete restriction(b:installationTypeCode value ("AIN")))
Class(b:ArmyInstallation partial b:MilitaryInstallation)
Class(b:Bay complete restriction(b:installationTypeCode value ("BAY")))
Class(b:Bay partial b:SeaArea)
Class(b:Canal complete restriction(b:installationTypeCode value ("CNL")))
Class(b:Canal partial b:SeaArea)
Class(b:Cape complete restriction(b:installationTypeCode value ("CPE")))
Class(b:Cape partial b:SeaArea)
Class(b:Channel complete restriction(b:installationTypeCode value ("CHL")))
Class(b:Channel partial b:SeaArea)
Class(b:City complete restriction(b:installationTypeCode value ("CTY")))
Class(b:City partial b:GeographicalArea)
Class(b:CivilAirPatrol complete restriction(b:installationTypeCode value ("CAP")))
Class(b:CivilAirPatrol partial b:MilitaryInstallation)
EnumeratedClass(b:Classification b:classified b:unclassified)
Class(b:Clinic complete restriction(b:installationTypeCode value ("CLN")))
Class(b:Clinic partial b:MedicalFacility)
Class(b:CoastGuardInstallation complete restriction(b:installationTypeCode value ("CGI")))
Class(b:CoastGuardInstallation partial b:MilitaryInstallation)
Class(b:CommandOperations complete restriction(b:installationTypeCode value ("COC")))
Class(b:CommandOperations partial b:MilitaryInstallation)
Class(b:Communication complete restriction(b:installationTypeCode value ("COM")))
Class(b:Communication partial b:Infrastructure)
Class(b:Country partial b:GeographicArea)
Class(b:Country partial
annotation(rdfs:comment "")
)
Class(b:DefenseFuelSupportPoint complete restriction(b:installationTypeCode value ("DFP")))
Class(b:DefenseFuelSupportPoint partial b:SupplyArea)
Class(b:Depot complete restriction(b:installationTypeCode value ("DEP")))
Class(b:Depot partial b:SupplyArea)
Class(b:Dispensary complete restriction(b:installationTypeCode value ("DIS")))
Class(b:Dispensary partial b:MedicalFacility)
Class(b:Dock complete restriction(b:installationTypeCode value ("DOC")))
Class(b:Dock partial b:SeaArea)
Class(b:FamilyHousing complete restriction(b:installationTypeCode value ("FHG")))
Class(b:FamilyHousing partial b:HousingCivilianFacility)
Class(b:GeographicArea partial
annotation(rdfs:comment "A GeographicArea is a larger area such as a state or country.")
)
Class(b:GeographicLocation partial b:Location)
Class(b:GeographicLocation partial
annotation(rdfs:comment "A Geographic Location is a item from the GEOFILE. It has a name and code.
There are multiple sub-types for a geographic location.")
)
Class(b:GeographicalArea partial b:GeographicLocation)
Class(b:Gulf complete restriction(b:installationTypeCode value ("GLF")))
Class(b:Gulf partial b:SeaArea)
Class(b:Hospital complete restriction(b:installationTypeCode value ("HSP")))
Class(b:Hospital partial b:MedicalFacility)
Class(b:HousingCivilianFacility partial b:GeographicLocation)
Class(b:Infrastructure partial b:GeographicLocation)
Class(b:InstallationType partial)
Class(b:InternationalAirport complete restriction(b:installationTypeCode value ("IAP")))
Class(b:InternationalAirport partial b:AirLandingArea)
Class(b:Island complete restriction(b:installationTypeCode value ("ISL")))
Class(b:Island partial b:GeographicalArea)
Class(b:JointUseAirport complete restriction(b:installationTypeCode value ("JAP")))
Class(b:JointUseAirport partial b:AirLandingArea)
Class(b:Lake complete restriction(b:installationTypeCode value ("LKE")))
Class(b:Lake partial b:SeaArea)
Class(b:Location partial
annotation(rdfs:comment "A Location is a place defined by a longitude, latitude, and an altitude.
If the altitude is missing, then we assume that it is ground level")
annotation(rdfs:label "Location")
)
Class(b:Maintenance complete restriction(b:installationTypeCode value ("MFC")))
Class(b:Maintenance partial b:Infrastructure)
Class(b:MarineBarracks complete restriction(b:installationTypeCode value ("MBK")))
Class(b:MarineBarracks partial b:MilitaryInstallation)
Class(b:MarineCorpsCamp complete restriction(b:installationTypeCode value ("MCC")))
Class(b:MarineCorpsCamp partial b:MilitaryInstallation)
Class(b:MarineGroundInstallation complete restriction(b:installationTypeCode value ("MGI")))
Class(b:MarineGroundInstallation partial b:MilitaryInstallation)
Class(b:MedicalFacility partial b:GeographicLocation)
Class(b:MilitaryAirport complete restriction(b:installationTypeCode value ("MAP")))
Class(b:MilitaryAirport partial b:AirLandingArea)
Class(b:MilitaryInstallation partial b:GeographicLocation)
Class(b:Missile complete restriction(b:installationTypeCode value ("MSL")))
Class(b:Missile partial b:OtherInstallation)
Class(b:Navaid complete restriction(b:installationTypeCode value ("NAV")))
Class(b:Navaid partial b:OtherInstallation)
Class(b:NavalActivity complete restriction(b:installationTypeCode value ("NAC")))
Class(b:NavalActivity partial b:OtherInstallation)
Class(b:NavalBase complete restriction(b:installationTypeCode value ("NBA")))
Class(b:NavalBase partial b:MilitaryInstallation)
Class(b:NavyInstallation complete restriction(b:installationTypeCode value ("NYI")))
Class(b:NavyInstallation partial b:MilitaryInstallation)
Class(b:Ocean complete restriction(b:installationTypeCode value ("OCN")))
Class(b:Ocean partial b:SeaArea)
Class(b:OperatingArea complete restriction(b:installationTypeCode value ("OPA")))
Class(b:OperatingArea partial b:GeographicalArea)
Class(b:OtherInstallation partial b:GeographicLocation)
Class(b:POLRetailDistributionStation complete restriction(b:installationTypeCode value ("POL")))
Class(b:POLRetailDistributionStation partial b:SupplyArea)
Class(b:Passage complete restriction(b:installationTypeCode value ("PSG")))
Class(b:Passage partial b:SeaArea)
Class(b:Port complete restriction(b:installationTypeCode value ("PRT")))
Class(b:Port partial b:SeaArea)
Class(b:RadarInstallation complete restriction(b:installationTypeCode value ("RTR")))
Class(b:RadarInstallation partial b:Infrastructure)
Class(b:RadarReceiver complete restriction(b:installationTypeCode value ("RRC")))
Class(b:RadarReceiver partial b:Infrastructure)
Class(b:RadioRelay complete restriction(b:installationTypeCode value ("RRL")))
Class(b:RadioRelay partial b:Infrastructure)
Class(b:RailroadJunction complete restriction(b:installationTypeCode value ("RRJ")))
Class(b:RailroadJunction partial b:Infrastructure)
Class(b:Recreation complete restriction(b:installationTypeCode value ("REC")))
Class(b:Recreation partial b:HousingCivilianFacility)
Class(b:ReserveTrainingCenter complete restriction(b:installationTypeCode value ("RTC")))
Class(b:ReserveTrainingCenter partial b:Infrastructure)
Class(b:RuralPopulatedArea complete restriction(b:installationTypeCode value ("RPA")))
Class(b:RuralPopulatedArea partial b:GeographicalArea)
Class(b:School complete restriction(b:installationTypeCode value ("SCH")))
Class(b:School partial b:HousingCivilianFacility)
Class(b:Sea complete restriction(b:installationTypeCode value ("SEA")))
Class(b:Sea partial b:SeaArea)
Class(b:SeaArea partial b:GeographicLocation)
Class(b:Service complete restriction(b:installationTypeCode value ("SVC")))
Class(b:Service partial b:Infrastructure)
Class(b:State partial b:GeographicArea)
Class(b:State partial
annotation(rdfs:comment "")
)
EnumeratedClass(b:Status b:active b:cancelled b:S)
Class(b:Storage complete restriction(b:installationTypeCode value ("STG")))
Class(b:Storage partial b:SupplyArea)
Class(b:Strait complete restriction(b:installationTypeCode value ("STR")))
Class(b:Strait partial b:SeaArea)
Class(b:SupplyArea partial b:GeographicLocation)
Class(b:Training complete restriction(b:installationTypeCode value ("TNG")))
Class(b:Training partial b:Infrastructure)
Class(b:WaterArea partial b:GeographicArea)
Class(b:WaterArea partial
annotation(rdfs:comment "")
)
Class(b:WeatherStation complete restriction(b:installationTypeCode value ("WAE")))
Class(b:WeatherStation partial b:Infrastructure)
AnnotationProperty(rdfs:comment)
AnnotationProperty(rdfs:label)
AnnotationProperty(owl:versionInfo)
Individual(b:S type(b:Status))
Individual(b:active type(b:Status))
Individual(b:cancelled type(b:Status))
Individual(b:classified type(b:Classification))
Individual(b:unclassified type(b:Classification))
Datatype(a:cc)
Datatype(a:installationTypeCode)
Datatype(a:longitude)
Datatype(a:geocode)
Datatype(a:icaoCode)
Datatype(a:latitude)
Datatype(a:planCode)
)
|
The original ontology in OWL/RDF format is available at: http://www.daml.org/2001/02/geofile/geofile-ont
Note that this ontology is in OWL Full, in order to show it in the more
concise abstract syntax and to be able to reason with it using Description
Logic Reasoners we converted it to OWL DL by applying the following fixes:
The rdf/xml version of the ontology with those fixes is available at: http://www.wsmo.org/2004/d3/d3.3/v0.1/20041119/resources/owl-ontologies/geofile.owl
Namespace(rdf = http://www.w3.org/1999/02/22-rdf-syntax-ns#)
Namespace(xsd = http://www.w3.org/2001/XMLSchema#)
Namespace(rdfs = http://www.w3.org/2000/01/rdf-schema#)
Namespace(owl = http://www.w3.org/2002/07/owl#)
Namespace(a = http://www.daml.org/2001/06/itinerary/itinerary-ont#)
Namespace(b = http://www.daml.org/2001/06/itinerary/icao#)
Namespace(c = http://www.daml.ri.cmu.edu/ont/AirportCodes.daml#)
Ontology(
Annotation(owl:versionInfo "$Id: itinerary-abstract.owl.html,v 1.1 2004/11/19 14:51:57 hlausen Exp $")
Annotation(rdfs:comment "Travel Itinerary")
Class(b:Airline partial)
EnumeratedClass(a:Aircraft a:A320 a:B737 a:A300 a:B767 a:B777 a:B747 a:A340 a:B727 a:B757)
EnumeratedClass(a:Class a:Business a:Coach a:First)
Class(a:Flight partial
restriction(a:aircraft allValuesFrom (a:Aircraft))
restriction(a:aircraft cardinality(1))
restriction(a:airline allValuesFrom (b:Airline))
restriction(a:airline cardinality(1))
restriction(a:arrive allValuesFrom (xsd:dateTime))
restriction(a:arrive cardinality(1))
restriction(a:class allValuesFrom (a:Class))
restriction(a:class cardinality(1))
restriction(a:depart allValuesFrom (xsd:dateTime))
restriction(a:depart cardinality(1))
restriction(a:destination allValuesFrom (c:AirportCode))
restriction(a:destination cardinality(1))
restriction(a:duration allValuesFrom (xsd:timeDuration))
restriction(a:duration cardinality(1))
restriction(a:flight allValuesFrom (xsd:nonNegativeInteger))
restriction(a:flight cardinality(1))
restriction(a:meal allValuesFrom (a:Meal)))
restriction(a:miles allValuesFrom (xsd:integer))
restriction(a:miles cardinality(1))
restriction(a:origin allValuesFrom (c:AirportCode))
restriction(a:origin cardinality(1))
restriction(a:seat allValuesFrom (xsd:string))
Class(a:HotelReservation partial
restriction(a:address allValuesFrom (xsd:string)))
restriction(a:address cardinality(1))
restriction(a:checkin allValuesFrom (xsd:date))
restriction(a:checkin cardinality(1))
restriction(a:checkout allValuesFrom (xsd:date))
restriction(a:checkout cardinality(1))
restriction(a:confirmation allValuesFrom (xsd:string))
restriction(a:confirmation cardinality(1))
restriction(a:hotelName allValuesFrom (xsd:string))
restriction(a:hotelName cardinality(1))
restriction(a:rate allValuesFrom (xsd:decimal))
restriction(a:rate cardinality(1))
restriction(a:smoking allValuesFrom (xsd:boolean))
restriction(a:smoking maxCardinality(1))
Class(a:Itinerary partial
restriction(a:flight allValuesFrom (a:Flight))
restriction(a:hotel allValuesFrom (a:HotelReservation)))
restriction(a:passenger allValuesFrom (xsd:string))
restriction(a:passenger cardinality(1))
restriction(a:rentalCar allValuesFrom (a:RentalCar))
restriction(a:rln allValuesFrom (a:RecordLocatorNumber))
EnumeratedClass(a:Meal a:Lunch a:Breakfast a:Snack a:Dinner)
Class(a:RecordLocatorNumber partial
restriction(a:airline allValuesFrom (b:Airline))
restriction(a:airline cardinality(1)))
restriction(a:rloc allValuesFrom (xsd:string))
restriction(a:rloc cardinality(1))
Class(a:RentalCar partial)
Class(c:AirportCode partial)
Class(xsd:nonNegativeInteger partial)
AnnotationProperty(rdfs:comment)
AnnotationProperty(owl:versionInfo)
ObjectProperty(a:aircraft)
ObjectProperty(a:airline)
ObjectProperty(a:class)
ObjectProperty(a:destination)
ObjectProperty(a:flight)
ObjectProperty(a:meal)
ObjectProperty(a:origin)
ObjectProperty(a:rentalCar)
ObjectProperty(a:rln)
DatatypeProperty(a:address)
DatatypeProperty(a:arrive)
DatatypeProperty(a:checkin)
DatatypeProperty(a:checkout)
DatatypeProperty(a:confirmation)
DatatypeProperty(a:depart)
DatatypeProperty(a:duration)
DatatypeProperty(a:hotel)
DatatypeProperty(a:hotelName)
DatatypeProperty(a:miles)
DatatypeProperty(a:passenger)
DatatypeProperty(a:rate)
DatatypeProperty(a:rloc)
DatatypeProperty(a:seat)
DatatypeProperty(a:smoking)
Individual(a:A300 type(a:Aircraft))
Individual(a:A320 type(a:Aircraft))
Individual(a:A340 type(a:Aircraft))
Individual(a:B727 type(a:Aircraft))
Individual(a:B737 type(a:Aircraft))
Individual(a:B747 type(a:Aircraft))
Individual(a:B757 type(a:Aircraft))
Individual(a:B767 type(a:Aircraft))
Individual(a:B777 type(a:Aircraft))
Individual(a:Breakfast type(a:Meal))
Individual(a:Business type(a:Class))
Individual(a:Coach type(a:Class))
Individual(a:Dinner type(a:Meal))
Individual(a:First type(a:Class))
Individual(a:Lunch type(a:Meal))
Individual(a:Snack type(a:Meal))
)
|
The original ontology in OWL/RDF format is available at: http://www.daml.org/2001/06/itinerary/itinerary-ont
Within the elaboration of the use case, the RosettaNet's PIP3A4 "PurchaseOrderRequest" has been transformed into a WSMO ontology. As the RosettaNet model is designed for B2B purchase orders, it is not applicable for the B2C setting of the use case demonstrated in this document. However, the Purchase Ontology of this use case as defined in Listing 3, Section 3.1, is based and heavily related to the RosettaNet Purchase Model. The listing below therefore provides the RosettaNet Purchase Model modeled in WSML.
The ontology is an WSML representation of the RosettaNet's PIP3A4 "PurchaseOrderRequest" [RosettaNet]. RosettaNet is a consortium of major Information Technology, Electronic Components, Semiconductor Manufacturing, Telecommunications and Logistics companies working to create and implement industry-wide, open e-business process standards. These standards form a common e-business language, aligning processes between supply chain partners on a global basis.
Every standard business transaction within the RosettaNet trading network is defined in a so called PIP (Partner Interface Process) which defines the XML code, activities, decisions and Partner Role interactions between two partners in the supply chain. Each partner participating in the "Partner Interface Process" must fulfill the obligations specified in a PIP. These PIPs are organized into seven clusters, or groups of core business processes, that represent the backbone of the trading network. Each cluster is broken down into segments which are cross-enterprise processes involving more than one type of trading partner. Within each segment are individual PIPs, whereas the above mentioned PIP3A4 is part of Segment 3A "Quote and Order Entry". This segment allows partners to exchange price and availability information, quotes, purchase orders and order status, and enables partners to send requested orders, or shopping carts, to other partners.
At the current state this domain ontology is preliminary and will be further enhanced in future versions. As far as RosettaNet's PIPs are only intended for the use in the above mentioned industry sectors we also consider and partly work on the ontologizing of other conceptualizations, inter alia ebXML [ebXML] and EDIFACT [EDIFACT].
namespace <<http://www.wsmo.org/ontologies/rosettanet#>>
dc: <<http://purl.org/dc/elements/1.1#>>
cu: <<http://www.wsmo.org/2004/d3/d3.2/v0.1/20040628/resources/owlCurrencyMediator.wsml#>>
dt: <<http:://www.wsmo.org/ontologies/dateTime#>>
targetnamespace: <<http://www.wsmo.org/ontologies/rosettanet#>>
ontology <<http://wsmo.org/ontologies/rosettanet/>>
nonFunctionalProperties
dc:title hasValue "Purchase Ontology"
dc:creator hasValue "DERI International"
dc:subject hasValues {"Purchase Order Request", "Buyer", "Seller", "Product Line Item", "Price", "Payment method", "Delivery"}
dc:description hasValue "general purchase order request ontology based on the 3A4 PIP of RosettaNet"
dc:publisher hasValue "DERI International"
dc:contributor hasValues {<<http://sw.deri.ie/~haller/foaf.rdf>>}
dc:date hasValue "2004-10-04"
dc:type hasValue <<http://www.wsmo.org/2004/d2/#ontologies>>
dc:format hasValue "text/html"
dc:language hasValue "en-US"
dc:relation hasValues {<<http://www.daml.ecs.soton.ac.uk/ont/currency.daml>>,
<<http://www.wsmo.org/ontologies/dateTime>>}
dc:rights hasValue <<http://www.deri.org/privacy.html>>
version hasValue "$Revision: 1.1 $"
endNonFunctionalProperties
importedOntologies
<<http://www.wsmo.org/ontologies/dateTime>>
usedMediators
ooMediator <<http://www.wsmo.org/2004/d3/d3.3/v0.1/20041008/resources/owlCurrencyMediator.wsml>>
comment: conceptDefinitions
concept pip3A4Purchase
nonFunctionalProperties
dc:description hasValue "Rosettanets Purchase Order Request Document"
endNonFunctionalProperties
buyer {1} ofType buyer
globaldocumentfunctioncode ofType globalDocumentFunctionCode
purchaseorder {1} ofType purchaseOrder
thisdocumentgenerationdatetime {1} ofType thisDocumentGenerationDateTime
thisdocumentidentifier {1} ofType thisDocumentIdentifier
seller {1} ofType seller
concept buyer
nonFunctionalProperties
dc:description hasValue "The role initiating a business document exchange."
endNonFunctionalProperties
partnerroledescription {1} ofType partnerRoleDescription
concept seller
nonFunctionalProperties
dc:description hasValue "The role receiving the document in a business document exchange."
endNonFunctionalProperties
partnerroledescription {1} ofType partnerRoleDescription
concept partnerRoleDescription
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe a business partners role in the purchase order request."
endNonFunctionalProperties
contactinformation ofType contactInformation
globalpartnerroleclassificationcode {1} ofType globalPartnerRoleClassificationCode
partnerdescription ofType partnerDescription
concept contactInformation
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
provide communication and address information for
contacting a person, organization or business."
endNonFunctionalProperties
contactname ofType contactName
emailaddress ofType emailAddress
facsimilenumber ofType facsimileNumber
telephonenumber ofType telephoneNumber
physicallocation ofType physicalLocation
concept contactName
nonFunctionalProperties
dc:description hasValue "Name of the contact person(s) within the organization."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept freeFormText subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Unformatted text."
endNonFunctionalProperties
concept emailAddress subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Electronic mail address."
endNonFunctionalProperties
concept facsimileNumber
nonFunctionalProperties
dc:description hasValue "The numerical schema designed to achieve contact via facsimile."
endNonFunctionalProperties
communicationsnumber {1} ofType communicationsNumber
concept communicationsNumber subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "The electro-technical communication number,
e.g., telephone number, facsimile number, pager number."
endNonFunctionalProperties
concept telephoneNumber
nonFunctionalProperties
dc:description hasValue "The numerical schema designed to achieve contact via telephone."
endNonFunctionalProperties
communicationsnumber {1} ofType communicationsNumber
concept globalPartnerRoleClassificationCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying a partys role in the supply chain."
endNonFunctionalProperties
concept partnerDescription
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe a business partners identity, their contact information,
where they are physically located and their function in a supply chain."
endNonFunctionalProperties
businessdescription {1} ofType businessDescription
globalpartnerclassificationcode ofType globalPartnerClassificationCode
contactinformation ofType contactInformation
physicallocation ofType physicalLocation
concept businessDescription
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe a business identity and location."
endNonFunctionalProperties
globalbusinessidentifier ofType globalBusinessIdentifier
globalsupplychaincode ofType globalSupplyChainCode
businessname ofType businessName
partnerbusinessidentification {1 n} ofType partnerBusinessIdentification
nationalbusinesstaxidentifier ofType nationalBusinessTaxIdentifier
concept globalBusinessIdentifier subConceptOf xsd:integer
nonFunctionalProperties
dc:description hasValue "A unique business identifier."
endNonFunctionalProperties
concept globalSupplyChainCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the supply chain for the partners function."
endNonFunctionalProperties
concept globalPartnerClassificationCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying a partners function in the supply chain."
endNonFunctionalProperties
concept globalDocumentFunctionCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the function of
a document as either a request or a response."
endNonFunctionalProperties
concept purchaseOrder
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe a buyers offer to purchase a quantity of
products at an agreed price and schedule."
endNonFunctionalProperties
accountdescription ofType accountDescription
comments ofType comments
contractinformation {1 n} ofType contractInformation
documentreference {1 n} ofType documentReference
financingterms {1 n} ofType financingTerms
generalservicesadministrationnumber ofType generalServicesAdministrationNumber
globalgovernmentpriorityratingcode ofType globalGovernmentPriorityRatingCode
globalpurchaseorderfillprioritycode ofType globalPurchaseOrderFillPriorityCode
globalpurchaseordertypecode {1 n} ofType globalPurchaseOrderTypeCode
governmentcontractidentifier ofType governmentContractIdentifier
installat ofType installAt
isdropship {1} ofType isDropShip
ordershippinginformation ofType orderShippingInformation
productlineitem {1 n} ofType productLineItem
proprietaryinformation ofType proprietaryInformation
requestedevent ofType requestedEvent
requestedshipfrom {1 n} ofType requestedShipFrom
secondarybuyer ofType secondaryBuyer
shipto ofType shipTo
taxexemptstatus ofType taxExemptStatus
totalamount ofType totalAmount
concept accountDescription
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe a customer or supplier account."
endNonFunctionalProperties
accountname {1} ofType accountName
accountnumber ofType accountNumber
billto ofType billTo
creditcard ofType creditCard
financedby ofType financedBy
globalaccountclassificationcode ofType globalAccountClassificationCode
prepaymentchecknumber ofType prePaymentCheckNumber
wiretransferidentifier ofType wireTransferIdentifier
concept po:comments
nonFunctionalProperties
dc:description hasValue "Free form textual description of a general nature."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept accountName
nonFunctionalProperties
dc:description hasValue "The name of a bank account."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept accountNumber subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Identification number of an account."
endNonFunctionalProperties
concept billTo
nonFunctionalProperties
dc:description hasValue "The party that will pay the invoice."
endNonFunctionalProperties
partnerdescription ofType partnerDescription
concept businessName
nonFunctionalProperties
dc:description hasValue "The name of a business entity."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept partnerBusinessIdentification
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
allow for the proprietary identification of a business entity."
endNonFunctionalProperties
proprietarybusinessidentifier {1} ofType proprietaryBusinessIdentifier
proprietarydomainidentifier {1} ofType proprietaryDomainIdentifier
proprietaryidentifierauthority ofType proprietaryIdentifierAuthority
concept proprietaryBusinessIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "A unique business identifier assigned
and administered by a private authority."
endNonFunctionalProperties
concept proprietaryDomainIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "A descriptor that is used to categorize an organization
or business entity that is in the Proprietary Business Identifier."
endNonFunctionalProperties
concept proprietaryIdentifierAuthority subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "A unique name that identifies an organization or business entity
that is responsible for managing one or more lists of identifiers."
endNonFunctionalProperties
concept physicalLocation
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
identify and describe the actual physical location of an entity
as prescribed by local postal authorities,
including country identification."
endNonFunctionalProperties
globallocationidentifier ofType globalLocationIdentifier
partnerlocationidentification {1 n} ofType partnerLocationIdentification
physicaladdress ofType physicalAddress
concept globalLocationIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Location uniquely identified by the DUNS +4 number."
endNonFunctionalProperties
concept partnerLocationIdentification
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
allow for the proprietary identification of a business location."
endNonFunctionalProperties
proprietarydomainidentifier {1} ofType proprietaryDomainIdentifier
proprietaryidentifierauthority ofType proprietaryIdentifierAuthority
proprietarylocationidentifier {1} ofType proprietaryLocationIdentifier
concept proprietaryLocationIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "A unique location identifier assigned
and administered by a private authority."
endNonFunctionalProperties
concept physicalAddress
nonFunctionalProperties
dc:description hasValue "The actual physical location of an entity as
prescribed by local postal authorities, including
country identification as it relates to the party or a product."
endNonFunctionalProperties
addressline1 ofType addressLine1
addressline2 ofType addressLine2
addressline3 ofType addressLine3
cityname ofType cityName
globalcountrycode ofType globalCountryCode
nationalpostalcode ofType nationalPostalCode
postofficeboxidentifier ofType postOfficeBoxIdentifier
regionname ofType regionName
globallocationidentifier ofType globalLocationIdentifier
partnerlocationidentification {1 n} ofType partnerLocationIdentification
concept addressLine1
nonFunctionalProperties
dc:description hasValue "Line 1 of the physical address."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept addressLine2
nonFunctionalProperties
dc:description hasValue "Line 2 of the physical address."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept addressLine3
nonFunctionalProperties
dc:description hasValue "Line 3 of the physical address."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept cityName
nonFunctionalProperties
dc:description hasValue "The name of a city."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept globalCountryCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the two character
country code specified in ISO 3166-1993."
endNonFunctionalProperties
concept nationalPostalCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying geographic
location as specified by a national postal code."
endNonFunctionalProperties
concept postOfficeBoxIdentifier
nonFunctionalProperties
dc:description hasValue "The proprietary identity of a physical address,
located at a post office, designed solely to accept and receive mail."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept regionName
nonFunctionalProperties
dc:description hasValue "The name of a state or province within a country."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept creditCard
nonFunctionalProperties
dc:description hasValue "A collection of business properties
that describe information about a credit card."
endNonFunctionalProperties
cardholdername {1} ofType cardHolderName
creditcardidentifier {1} ofType creditCardIdentifier
expirydate {1} ofType expiryDate
globalcreditcardclassificationcode {1} ofType globalCreditCardClassificationCode
proprietarycididentifier ofType proprietaryCIDIdentifier
concept cardHolderName
nonFunctionalProperties
dc:description hasValue "The name of the owner of a credit card."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept creditCardIdentifier
nonFunctionalProperties
dc:description hasValue "The unique number that identifies a credit card."
endNonFunctionalProperties
proprietaryreferenceidentifier {1} ofType proprietaryReferenceIdentifier
concept proprietaryReferenceIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "A unique reference identifier for goods,
services or business documents."
endNonFunctionalProperties
concept expiryDate
nonFunctionalProperties
dc:description hasValue "The date that a contractual agreement expires."
endNonFunctionalProperties
expMonth {1} ofType dt:monthOfYear
expYear {1} ofType dt:year
concept globalCreditCardClassificationCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the type of credit card used."
endNonFunctionalProperties
concept proprietaryCIDIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Unique identifier for credit card purchase
activity utilized by American Express."
endNonFunctionalProperties
concept financedBy
nonFunctionalProperties
dc:description hasValue "The party who is the financier."
endNonFunctionalProperties
partnerdescription ofType partnerDescription
concept globalAccountClassificationCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Account classification indicating
its functionality, e.g., credit card account, debit card account."
endNonFunctionalProperties
concept prePaymentCheckNumber
nonFunctionalProperties
dc:description hasValue "The check number issued to prepay a monetary amount for an account."
endNonFunctionalProperties
checknumber {1} ofType checkNumber
concept checkNumber subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "The identification code of a bank cheque."
endNonFunctionalProperties
concept wireTransferIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "A unique identity of a wire transfer used for reference."
endNonFunctionalProperties
concept contractInformation
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
represent a business arrangement for the supply
of goods or services at an agreed price."
endNonFunctionalProperties
contractidentifier {1} ofType contractIdentifier
primarycontractwith ofType primaryContractWith
secondarycontractwith ofType secondaryContractWith
concept contractIdentifier
nonFunctionalProperties
dc:description hasValue "The unique number than identifies a contract."
endNonFunctionalProperties
proprietarydocumentidentifier {1} ofType proprietaryDocumentIdentifier
concept proprietaryDocumentIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Unique identifier, i.e. a numeric value
or alphanumeric value, for a business document."
endNonFunctionalProperties
concept primaryContractWith
nonFunctionalProperties
dc:description hasValue "The principal party in a binding
agreement between two or more persons or parties."
endNonFunctionalProperties
partnerdescription {1} ofType partnerDescription
concept secondaryContractWith
nonFunctionalProperties
dc:description hasValue "The subsequent party in a binding
agreement between two or more persons or parties."
endNonFunctionalProperties
partnerdescription {1} ofType partnerDescription
concept documentReference
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
allows the description of multiple proprietary
documents and applicable line number references."
endNonFunctionalProperties
datetimestamp ofType dt:dateAndTime
globaldocumentreferencetypecode {1} ofType globalDocumentReferenceTypeCode
globalpartnerroleclassificationcode {1} ofType globalPartnerRoleClassificationCode
linenumber ofType lineNumber
proprietarydocumentidentifier {1} ofType proprietaryDocumentIdentifier
revisionnumber ofType revisionNumber
concept globalDocumentReferenceTypeCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the type of business
document used for referencing within another business document."
endNonFunctionalProperties
concept lineNumber subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Number of the line in the document."
endNonFunctionalProperties
concept revisionNumber subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "An incremental number used to identify changes."
endNonFunctionalProperties
concept financingTerms
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe financing terms."
endNonFunctionalProperties
globalfinancetermscode ofType globalFinanceTermsCode
paymentterms {1 n} ofType paymentTerms
concept globalFinanceTermsCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the terms that govern financing."
endNonFunctionalProperties
concept paymentTerms
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe payment terms."
endNonFunctionalProperties
discounts {1 n} ofType discounts
globalpaymentconditioncode ofType globalPaymentConditionCode
nettermsday ofType netTermsDay
nettermsdays ofType netTermsDays
percentdue ofType percentDue
concept discounts
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe payment discounts."
endNonFunctionalProperties
discountday ofType discountDay
discountdays ofType discountDays
discountpercent ofType discountPercent
concept discountDay
nonFunctionalProperties
dc:description hasValue "The specific day of the month a
payment is required in order to receive a discount."
endNonFunctionalProperties
dayofmonth {1} ofType dt:dayOfMonth
concept discountDays
nonFunctionalProperties
dc:description hasValue "The number of days within which a
payment is required in order to receive a discount."
endNonFunctionalProperties
countableamount {1} ofType countableAmount
concept countableAmount subConceptOf xsd:integer
nonFunctionalProperties
dc:description hasValue "Dimensionless magnitude, e.g. number of products."
endNonFunctionalProperties
concept discountPercent
nonFunctionalProperties
dc:description hasValue "The financial percent representing a reduction to the total amount due."
endNonFunctionalProperties
percentamount {1} ofType percentAmount
concept percentAmount subConceptOf xsd:float
nonFunctionalProperties
dc:description hasValue "A real number representing a percentage value,
e.g. 75.125 represents 75 1/8 percent."
endNonFunctionalProperties
concept globalPaymentConditionCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "A code identifying the conditions
under which payment will be made."
endNonFunctionalProperties
concept netTermsDay
nonFunctionalProperties
dc:description hasValue "The specific day of the month
a payment is due without incurring late charges."
endNonFunctionalProperties
dayofmonth {1} ofType dt:dayOfMonth
concept netTermsDays
nonFunctionalProperties
dc:description hasValue "The number of days within
which a payment is due without incurring late charges."
endNonFunctionalProperties
countableamount {1} ofType countableAmount
concept percentDue
nonFunctionalProperties
dc:description hasValue "The amount owed expressed as a percentage."
endNonFunctionalProperties
percentamount {1} ofType percentAmount
concept generalServicesAdministrationNumber
nonFunctionalProperties
dc:description hasValue "Identifying number relating to a pre-established end-user pricing agreement."
endNonFunctionalProperties
proprietarydocumentidentifier {1} ofType proprietaryDocumentIdentifier
concept globalGovernmentPriorityRatingCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "If a contract number exists and
PO type is Government, a priority rating code is required."
endNonFunctionalProperties
concept globalPurchaseOrderFillPriorityCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying fill priority for manufacturing
in a constrained condition. Value to be determined by Trading Partner Agreement."
endNonFunctionalProperties
concept globalPurchaseOrderTypeCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying category specification for a purchase order."
endNonFunctionalProperties
concept governmentContractIdentifier
nonFunctionalProperties
dc:description hasValue "The unique number that identifies a government contract."
endNonFunctionalProperties
proprietarydocumentidentifier {1} ofType proprietaryDocumentIdentifier
concept installAt
nonFunctionalProperties
dc:description hasValue "The partner and/or location to
which the product must be set up for use or service."
endNonFunctionalProperties
partnerdescription {1} ofType partnerDescription
concept isDropShip
nonFunctionalProperties
dc:description hasValue "Indicates whether the order is a drop shipment."
endNonFunctionalProperties
affirmationindicator {1} ofType affirmationIndicator
concept affirmationIndicator subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Used to indicate "Yes", "No" statements."
endNonFunctionalProperties
concept orderShippingInformation
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe information relating to shipping a product."
endNonFunctionalProperties
carrierinformation ofType carrierInformation
globalfreeonboardcode ofType globalFreeOnBoardCode
globalshipmenttermscode ofType globalShipmentTermsCode
globalshippingservicelevelcode ofType globalShippingServiceLevelCode
globalspecialfulfillmentrequestcode {1 n} ofType globalSpecialFulfillmentRequestCode
packlistrequirements ofType packListRequirements
specialhandlinginstruction ofType specialHandlingInstruction
concept carrierInformation
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe a carriers identification."
endNonFunctionalProperties
accountidentifier ofType accountIdentifier
globalcarriercode {1} ofType globalCarrierCode
concept accountIdentifier
nonFunctionalProperties
dc:description hasValue "The unique identifier that identifies an account."
endNonFunctionalProperties
proprietaryreferenceidentifier {1} ofType proprietaryReferenceIdentifier
concept globalCarrierCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "A unique carrier identification code,
based on Standard Carrier Alpha Code(s) (SCAC)."
endNonFunctionalProperties
concept globalFreeOnBoardCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying a specified point where
a product is delivered or placed on board a carrier without charge."
endNonFunctionalProperties
concept globalShipmentTermsCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the terms under which a product is shipped."
endNonFunctionalProperties
concept globalShippingServiceLevelCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the shipping service level, e.g., overnight, same day."
endNonFunctionalProperties
concept globalSpecialFulfillmentRequestCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying a special fulfillment request, e.g. delivery options."
endNonFunctionalProperties
concept packListRequirements
nonFunctionalProperties
dc:description hasValue "Free form textual description, on the pack list,
of requirements relating to the packing of the product."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept specialHandlingInstruction
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe product packaging or shipping handling instructions."
endNonFunctionalProperties
globalspecialhandlingcode {1 n} ofType globalSpecialHandlingCode
specialhandlingtext ofType specialHandlingText
concept globalSpecialHandlingCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying special handling or packaging requirements for the product."
endNonFunctionalProperties
concept specialHandlingText
nonFunctionalProperties
dc:description hasValue "Free form textual description for
how specified goods, packages or containers should be handled."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept productLineItem
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe a business document entry for a product."
endNonFunctionalProperties
comments ofType comments
contractinformation {1 n} ofType contractInformation
countryoforigin ofType countryOfOrigin
customerinformation {1 n} ofType customerInformation
documentreference {1 n} ofType documentReference
expeditereferenceidentifier ofType expediteReferenceIdentifier
globalproductunitofmeasurecode {1} ofType globalProductUnitOfMeasureCode
globalpurchaseorderfillprioritycode ofType globalPurchaseOrderFillPriorityCode
installat ofType installAt
isdropship {1} ofType isDropShip
linenumber {1} ofType lineNumber
orderquantity {1} ofType orderQuantity
ordershippinginformation ofType orderShippingInformation
productidentification {1} ofType productIdentification
productsublineitem {1 n} ofType productSubLineItem
proprietaryinformation ofType proprietaryInformation
requestedevent {1} ofType requestedEvent
requestedshipfrom {1 n} ofType requestedShipFrom
requestedunitprice ofType requestedUnitPrice
shipto ofType shipTo
taxexemptstatus ofType taxExemptStatus
totallineitemamount ofType totalLineItemAmount
concept countryOfOrigin
nonFunctionalProperties
dc:description hasValue "Country where product originates."
endNonFunctionalProperties
globalcountrycode {1} ofType globalCountryCode
concept customerInformation
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe an end user."
endNonFunctionalProperties
customerprojectidentifier ofType customerProjectIdentifier
globalcustomertypecode {1} ofType globalCustomerTypeCode
partnerdescription {1} ofType partnerDescription
concept customerProjectIdentifier
nonFunctionalProperties
dc:description hasValue "The unique identification number that
identifies a project for a given customer."
endNonFunctionalProperties
proprietaryreferenceidentifier {1} ofType proprietaryReferenceIdentifier
concept globalCustomerTypeCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the type of end user."
endNonFunctionalProperties
concept nationalBusinessTaxIdentifier
nonFunctionalProperties
dc:description hasValue "The national tax identification number assigned to a business."
endNonFunctionalProperties
businesstaxidentifier {1} ofType businessTaxIdentifier
globalcountrycode ofType globalCountryCode
concept businessTaxIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Identifying number for Tax Information Field."
endNonFunctionalProperties
concept expediteReferenceIdentifier
nonFunctionalProperties
dc:description hasValue "The unique identification number for the expediting of a product."
endNonFunctionalProperties
proprietaryreferenceidentifier {1} ofType proprietaryReferenceIdentifier
concept globalProductUnitOfMeasureCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying a product unit of measure."
endNonFunctionalProperties
concept orderQuantity
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe various types of product quantity used in an ordering process."
endNonFunctionalProperties
requestedquantity {1} ofType requestedQuantity
concept productIdentification
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe proprietary and global identifier information regarding a product."
endNonFunctionalProperties
globalproductidentifier ofType globalProductIdentifier
partnerproductidentification {1 n} ofType partnerProductIdentification
concept requestedQuantity
nonFunctionalProperties
dc:description hasValue "The quantity of product requested."
endNonFunctionalProperties
productquantity {1} ofType productQuantity
concept productQuantity subConceptOf xsd:float
nonFunctionalProperties
dc:description hasValue "A quantity specifying the number of product units."
endNonFunctionalProperties
concept partnerProductIdentification
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe proprietary part information."
endNonFunctionalProperties
globalpartnerclassificationcode {1} ofType globalPartnerClassificationCode
proprietaryproductidentifier {1} ofType proprietaryProductIdentifier
revisionidentifier ofType revisionIdentifier
concept globalProductIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Global unique product identifier,
expressed by the Global Trade Identification Number (GTIN)."
endNonFunctionalProperties
concept proprietaryProductIdentifier subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "An internal identifier used to identify a product."
endNonFunctionalProperties
concept revisionIdentifier
nonFunctionalProperties
dc:description hasValue "Free form text that identifies a revision to a proprietary serial number."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept productSubLineItem
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe a part of a product line item."
endNonFunctionalProperties
comments ofType comments
contractinformation ofType contractInformation
countryoforigin ofType countryOfOrigin
customerinformation {1 n} ofType customerInformation
expeditereferenceidentifier ofType expediteReferenceIdentifier
globalproductunitofmeasurecode {1} ofType globalProductUnitOfMeasureCode
globalpurchaseorderfillprioritycode ofType globalPurchaseOrderFillPriorityCode
installat ofType installAt
isdropship {1} ofType isDropShip
orderquantity {1} ofType orderQuantity
ordershippinginformation ofType orderShippingInformation
proprietaryinformation ofType proprietaryInformation
requestedevent {1} ofType requestedEvent
requestedshipfrom {1 n} ofType requestedShipFrom
requestedunitprice ofType requestedUnitPrice
shipto ofType shipTo
sublineitem ofType subLineItem
concept proprietaryInformation
nonFunctionalProperties
dc:description hasValue "A free form textual description of information, relating to a product."
endNonFunctionalProperties
freeformtext {1} ofType freeFormText
concept requestedEvent
nonFunctionalProperties
dc:description hasValue "The date a transportation event is requested to occur."
endNonFunctionalProperties
transportationevent ofType transportationEvent
concept transportationEvent
nonFunctionalProperties
dc:description hasValue "The collection of business properties that
describe the occurrence of the public conveyance of goods as a commercial enterprise."
endNonFunctionalProperties
begintime ofType beginTime
datestamp ofType dt:dateAndTime
endtime ofType endTime
globaltransporteventcode ofType globalTransportEventCode
concept beginTime
nonFunctionalProperties
dc:description hasValue "The start time of a time period."
endNonFunctionalProperties
timestamp ofType dt:dateAndTime
concept endTime
nonFunctionalProperties
dc:description hasValue "The end time of a time period."
endNonFunctionalProperties
timestamp ofType dt:dateAndTime
concept globalTransportEventCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying an event during the transportation of a shipment."
endNonFunctionalProperties
concept requestedShipFrom
nonFunctionalProperties
dc:description hasValue "The location where the product is requested to be shipped from."
endNonFunctionalProperties
physicaladdress ofType physicalAddress
concept requestedUnitPrice
nonFunctionalProperties
dc:description hasValue "The price requested for a unit of product."
endNonFunctionalProperties
financialamount ofType financialAmount
concept financialAmount
nonFunctionalProperties
dc:description hasValue "The collection of business properties
that describe the monetary amount defined by a specified currency."
endNonFunctionalProperties
globalcurrencycode ofType cu:currency
globalmonetaryamounttypecode ofType globalMonetaryAmountTypeCode
invoicechargetypecode ofType invoiceChargeTypeCode
monetaryamount ofType monetaryAmount
concept globalMonetaryAmountTypeCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying whether the monetary amount is a debit or credit."
endNonFunctionalProperties
concept invoiceChargeTypeCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the values for the types of charges contained in an invoice."
endNonFunctionalProperties
concept monetaryAmount subConceptOf xsd:float
nonFunctionalProperties
dc:description hasValue "Magnitude of currency amount."
endNonFunctionalProperties
concept shipTo
nonFunctionalProperties
dc:description hasValue "The partner and/or location to which the product must be delivered."
endNonFunctionalProperties
partnerdescription {1} ofType partnerDescription
concept subLineItem
nonFunctionalProperties
dc:description hasValue "Information contained within a subline."
endNonFunctionalProperties
linenumber {1} ofType lineNumber
concept taxExemptStatus
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe tax exemption conditions."
endNonFunctionalProperties
istaxexempt ofType isTaxExempt
taxexemption ofType taxExemption
concept isTaxExempt
nonFunctionalProperties
dc:description hasValue "Indicates whether a product is exempt from taxation."
endNonFunctionalProperties
affirmationindicator {1} ofType affirmationIndicator
concept taxExemption
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe
tax exemption type and identification information."
endNonFunctionalProperties
globaltaxexemptioncode ofType globalTaxExemptionCode
taxexemptioncertificationidentifier ofType taxExemptionCertificationIdentifier
concept globalTaxExemptionCode subConceptOf xsd:string
nonFunctionalProperties
dc:description hasValue "Code identifying the type of tax exemption for a product or service."
endNonFunctionalProperties
concept taxExemptionCertificationIdentifier
nonFunctionalProperties
dc:description hasValue "The unique identifier that represents the authorization
for a product or services tax exempt status."
endNonFunctionalProperties
proprietaryreferenceidentifier ofType ProprietaryReferenceIdentifier
concept totalLineItemAmount
nonFunctionalProperties
dc:description hasValue "The monetary total associated with a line item."
endNonFunctionalProperties
financialamount ofType financialAmount
concept secondaryBuyer
nonFunctionalProperties
dc:description hasValue "The collection of business properties that describe an alternate buyer."
endNonFunctionalProperties
partnerdescription {1} ofType partnerDescription
secondarybuyerpurchaseorderidentifier ofType secondaryBuyerPurchaseOrderIdentifier
concept secondaryBuyerPurchaseOrderIdentifier
nonFunctionalProperties
dc:description hasValue "Unique number that identifies a purchase order issued by the secondary buyer."
endNonFunctionalProperties
proprietarydocumentidentifier {1} ofType proprietaryDocumentIdentifier
concept totalAmount
nonFunctionalProperties
dc:description hasValue "Total price for an entire invoice."
endNonFunctionalProperties
financialamount ofType financialAmount
concept thisDocumentGenerationDateTime
nonFunctionalProperties
dc:description hasValue "The date-time stamp indicating when this business document was generated."
endNonFunctionalProperties
datetimestamp ofType dt:dateAndTime
concept thisDocumentIdentifier
nonFunctionalProperties
dc:description hasValue "The information that identifies the business document being sent.
This identifier is used to represent the specific business document
associated with the defined business process."
endNonFunctionalProperties
proprietarydocumentidentifier {1} ofType proprietaryDocumentIdentifier
|