Current Slide

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.

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

  • 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:

Content Tools

Sources

There are currently no sources for this slide.