SlideWiki | undefined | Examples of ontology elements for the shipment discovery scenario (cont’)

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Ontology ShipmentOntology has relations:
- cityIsOnContinent (relation that holds between a city and the continent it belongs to) with two parameters whose types are City and Continent
- cityIsInCountry (relation that holds between a city and the country it belongs to) with two parameters whose types are City and Country
Ontology ShipmentOntology has instances:
- Europe (member of Continent) whose name has value "Europe“
- NY (member of City) whose name has value "New York“ and country has value USA
- Luxembourg (member of City) whose name has value "Luxembourg“ and country hasvalue LuxembourgCountry
- …
Ontology ShipmentOntology has the axiom:
- cityIsOnContinentDef defined by a logical formula that states that if a given city is in a certain country and that country is in a certain continent, then the given city is part of that continent

Speaker notes:

There are currently no sources for this slide.

Current Slide