Ontology Container Information

Namespaces used

default

http://oiled.man.ac.uk/ontologies/ontoweb#

1

file:E:/Documents/OntoWeb/evaluation/ontology/ontoweb.daml#

Classes

Air Vehicle Airbus 330 Airbus Airplane Airplane Airport Attraction Bed & Breakfast Boeing 717 Boeing 737 Boeing Airplane Bus Bus Ride Car City City Bus City Vehicle Continent Country Europe To America Ferry Flight Geographical Location Helicopter Hotel Including Flight Journey Land Vehicle Long Journey Manufacturer Monument Museum Non Airbus Traveller Non Flyer Overland Journey Person Place To Stay RouteMaster Sailing Sea Port Taxi Taxi Ride Theme Park Train Traveller Trip Underground Vehicle Water Vehicle XX Europe To America XX Journey XX Non Flyer XX Trip

Properties

Individuals

class Air Vehicle

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A vehicle that travels through the air.

type:

primitive

superclasses:

Vehicle

known subclasses:

Airplane
Helicopter

used in classes:

Airplane
Flight
Helicopter
Including Flight
Non Flyer
Vehicle

axioms:

disjoint Air Vehicle Land Vehicle
disjoint Air Vehicle Water Vehicle

class Airbus 330

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A particular kind of Airplane.

type:

primitive

superclasses:

Airplane

constraints:

restriction madeBy has-class one-of (Airbus)

class Airbus Airplane

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

defined

superclasses:

Airplane

constraints:

restriction madeBy has-class one-of (Airbus)

known subclasses:

Airbus 330

class Airplane

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Air Vehicle

known subclasses:

Airbus Airplane
Boeing Airplane

used in classes:

Airbus 330
Airbus Airplane
Boeing 717
Boeing 737
Boeing Airplane

axioms:

covered (restriction madeBy has-class one-of (Airbus)) by Airplane

class Airport

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Geographical Location

used in individuals:

Charles de Gaul
Heathrow
OHare
Ringway

axioms:

covered Flight by ((restriction departsFrom to-class Airport) and (restriction arrivesAt to-class Airport))

class Attraction

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Geographical Location

known subclasses:

Monument
Museum
Theme Park

used in classes:

Monument
Museum
Theme Park

used in individuals:

Eiffel Tower
EuroDisney
Statue of Liberty

class Bed & Breakfast

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Place To Stay

class Boeing 717

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A particular kind of Airplane.

type:

primitive

superclasses:

Airplane

constraints:

restriction madeBy has-class one-of (Boeing)

class Boeing 737

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A particular kind of Airplane.

type:

primitive

superclasses:

Airplane

constraints:

restriction madeBy has-class one-of (Boeing)

class Boeing Airplane

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A Boeing Airplane is one that is made by Boeing.

type:

defined

superclasses:

Airplane

constraints:

restriction madeBy has-class one-of (Boeing)

known subclasses:

Boeing 717
Boeing 737

class Bus

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Land Vehicle

known subclasses:

City Bus
RouteMaster

used in classes:

Bus Ride
City Bus
RouteMaster
XX Europe To America

used in individuals:

A Bus

class Bus Ride

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A trip using a Bus

type:

defined

superclasses:

Trip

constraints:

restriction using has-class Bus

class Car

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Land Vehicle

known subclasses:

Taxi

used in classes:

Taxi

class City

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

constraints:

restriction in has-class Country

used in individuals:

Chicago
London
Manchester
New York
Paris

class City Bus

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Bus
City Vehicle

class City Vehicle

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A City Vehicle is one that can be used to travel around a city. For example the underground, or a city bus. Note that this is intended to be an "inclusive" concept. Things that are City Vehicles may also be used to travel outside of cities, for example a Taxi.

type:

primitive

superclasses:

Vehicle

known subclasses:

City Bus
Taxi
Underground

used in classes:

City Bus
Taxi
Underground

class Continent

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

used in individuals:

Europe
North America

class Country

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

used in classes:

City

used in individuals:

UK
USA

class Europe To America

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A trip from Europe To America. Can't be done by land -- this is represented by the use of an axiom.

type:

defined

superclasses:

Trip

constraints:

restriction departsFrom has-class (restriction in has-class one-of (Europe))
restriction arrivesAt has-class (restriction in has-class one-of (North America))

known subclasses:

XX Europe To America

used in classes:

XX Europe To America

axioms:

covered Europe To America by (restriction using to-class (not Land Vehicle))

class Ferry

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Water Vehicle

class Flight

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A flight is a trip on an air vehicle. An axiom states that flights must depart and land at airports.

type:

defined

superclasses:

Trip

constraints:

restriction using has-class Air Vehicle

known subclasses:

XX Trip

used in classes:

XX Trip

axioms:

covered Flight by ((restriction departsFrom to-class Airport) and (restriction arrivesAt to-class Airport))

class Geographical Location

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

known subclasses:

Airport
Attraction
City
Place To Stay
Sea Port

used in classes:

Airport
Attraction
Place To Stay
Sea Port
Trip

used in properties:

in

class Helicopter

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Air Vehicle

class Hotel

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Place To Stay

class Including Flight

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Anything that includes something that uses an air vehicle. Domain and range restrictions on the properties will tell us that this is, in fact a kind of Journey.

type:

defined

constraints:

restriction madeUpOf has-class (restriction using has-class Air Vehicle)

known subclasses:

XX Journey

used in classes:

XX Journey
XX Non Flyer

class Journey

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A Journey consists of one or more trips. Ideally we would like to be able to represent the fact that the trips must link up -- e.g. if a journey consists of t1, t2, t3, then we require that t2 departs from t1's arrival and t3 departs from t2's arrival.

type:

primitive

constraints:

property-constraint madeUpOf min-cardinality 1 Trip

known subclasses:

Including Flight
Long Journey
Overland Journey

used in classes:

Overland Journey
Traveller

used in properties:

madeUpOf

class Land Vehicle

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A vehicle that travels across land.

type:

primitive

superclasses:

Vehicle

known subclasses:

Bus
Car
Train

used in classes:

Bus
Car
Overland Journey
Train
Vehicle

axioms:

covered Europe To America by (restriction using to-class (not Land Vehicle))
disjoint Air Vehicle Land Vehicle
disjoint Land Vehicle Water Vehicle

class Long Journey

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A Long Journey is one that has at least three trips in it. Note that we don't have to explicititly say that this is a Journey -- the domain restriction does this for us.

type:

defined

constraints:

property-constraint madeUpOf min-cardinality 3 Trip

class Manufacturer

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

used in classes:

Vehicle

used in individuals:

Airbus
Boeing

class Monument

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Attraction

class Museum

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Attraction

class Non Airbus Traveller

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Someone who will only take journeys that do not involve the use of something made by airbus.

type:

defined

superclasses:

Person

constraints:

restriction takes to-class (restriction madeUpOf to-class (restriction using to-class (not (restriction madeBy has-class one-of (Airbus)))))

known subclasses:

Non Flyer

class Non Flyer

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Someone who will only take journeys that do not involve flying. Note that a non-flyer will also be a non airbus flyer as all things build by airbus are known to be airplanes.

type:

defined

superclasses:

Person

constraints:

restriction takes to-class (restriction madeUpOf to-class (restriction using to-class (not Air Vehicle)))

known subclasses:

XX Non Flyer

used in classes:

XX Non Flyer

class Overland Journey

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

An overland journey is one that consists solely of trips that use land vehicles.

type:

defined

superclasses:

Journey

constraints:

restriction madeUpOf to-class (restriction using has-class Land Vehicle)

known subclasses:

XX Journey

used in classes:

XX Journey

class Person

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

known subclasses:

Non Airbus Traveller
Traveller

used in classes:

Non Airbus Traveller
Non Flyer
Traveller

class Place To Stay

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Every place to stay has an address, telephone number, description and number of rooms. We're not modelling price here -- this would be a range of values, or could be on a room by room basis, which would require us to model all the rooms of each place to stay. Star Rating would also ideally be constrained to be between one and five. This could be done by introducing explicit concepts/individuals, but is a rather heavyweight mechanism for that. A better solution would be to use a defined range datatype.

type:

primitive

superclasses:

Geographical Location

constraints:

restriction address has-class string
restriction telephone has-class string
restriction description has-class string
restriction number of rooms has-class integer
restriction starRating has-class integer

known subclasses:

Bed & Breakfast
Hotel

used in classes:

Bed & Breakfast
Hotel

class RouteMaster

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

The old traditional Red London Buses

type:

primitive

superclasses:

Bus

class Sailing

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A sailing is a trip that uses a water vehicle. Sailings must depart from sea ports and arrive at sea ports. This is represented using an axiom.

type:

defined

superclasses:

Trip

constraints:

restriction using has-class Water Vehicle

axioms:

covered Sailing by ((restriction departsFrom to-class Sea Port) and (restriction arrivesAt to-class Sea Port))

class Sea Port

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Geographical Location

axioms:

covered Sailing by ((restriction departsFrom to-class Sea Port) and (restriction arrivesAt to-class Sea Port))

class Taxi

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Car
City Vehicle

used in classes:

Taxi Ride
XX Trip

class Taxi Ride

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A trip using a Taxi

type:

defined

superclasses:

Trip

constraints:

restriction using has-class Taxi

class Theme Park

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Attraction

class Train

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

primitive

superclasses:

Land Vehicle

known subclasses:

Underground

used in classes:

Underground

class Traveller

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

type:

defined

superclasses:

Person

constraints:

restriction takes has-class Journey

class Trip

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A trip is an atomic travel unit. Each trip makes use of at most one vehicle. Trips can be combined together into journeys.

type:

primitive

constraints:

restriction departsFrom has-class Geographical Location
restriction arrivesAt has-class Geographical Location
property-constraint using max-cardinality 1 Vehicle

known subclasses:

Bus Ride
Europe To America
Flight
Sailing
Taxi Ride

used in classes:

Bus Ride
Europe To America
Flight
Journey
Long Journey
Sailing
Taxi Ride

used in properties:

madeUpOf
using

class Underground

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

The Underground is a kind of train that travels around a City.

type:

primitive

superclasses:

Train
City Vehicle

class Vehicle

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A Vehicle is a means of transport.

type:

primitive

superclasses:

(Air Vehicle or Land Vehicle or Water Vehicle)

constraints:

restriction madeBy has-class Manufacturer

known subclasses:

Air Vehicle
City Vehicle
Land Vehicle
Water Vehicle

used in classes:

Air Vehicle
City Vehicle
Land Vehicle
Trip
Water Vehicle

used in properties:

using

class Water Vehicle

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A Vehicle that travels across water.

type:

primitive

superclasses:

Vehicle

known subclasses:

Ferry

used in classes:

Ferry
Sailing
Vehicle

axioms:

disjoint Air Vehicle Water Vehicle
disjoint Land Vehicle Water Vehicle

class XX Europe To America

<Unsatisfiable>

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

An example of an inconsistent trip. You cannot travel from somewhere in Europe to somewhere in America using a Bus

type:

defined

superclasses:

Europe To America

constraints:

restriction using has-class Bus

class XX Journey

<Unsatisfiable>

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

An example of an inconsistent journey -- Overland journeys cannot include flights

type:

defined

superclasses:

Overland Journey
Including Flight

class XX Non Flyer

<Unsatisfiable>

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

An example of an inconsistent class. A non flyer will not take a journey that includes a flight

type:

defined

superclasses:

Non Flyer

constraints:

restriction takes has-class Including Flight

class XX Trip

<Unsatisfiable>

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

An example of an inconsistent description -- we cannot have a flight that uses a Taxi.

type:

primitive

superclasses:

Flight

constraints:

restriction using has-class Taxi

property address

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

used in classes:

Place To Stay

property arrivalDate

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

range:

date

property arrivalTime

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Should be a time, but we don't have time.

range:

date

property arrivesAt

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

properties:

functional

used in classes:

Europe To America
Trip

axioms:

covered Flight by ((restriction departsFrom to-class Airport) and (restriction arrivesAt to-class Airport))
covered Sailing by ((restriction departsFrom to-class Sea Port) and (restriction arrivesAt to-class Sea Port))

property departsFrom

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

properties:

functional

used in classes:

Europe To America
Trip

axioms:

covered Flight by ((restriction departsFrom to-class Airport) and (restriction arrivesAt to-class Airport))
covered Sailing by ((restriction departsFrom to-class Sea Port) and (restriction arrivesAt to-class Sea Port))

property departureDate

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

range:

date

property departureTime

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Should be a time, but we don't have time.

range:

date

property description

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

used in classes:

Place To Stay

property in

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Represents the fact that geographical locations can contain other geographical locations, for example a city is in a country, or a museum is in a city.

domain:

Geographical Location

range:

Geographical Location

properties:

transitive

used in classes:

City
Europe To America

used in individuals:

Charles de Gaul
Chicago
Eiffel Tower
EuroDisney
Heathrow
London
Manchester
New York
OHare
Paris
Ringway
Statue of Liberty
UK
USA

property madeBy

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Manufacturers make things

used in classes:

Airbus 330
Airbus Airplane
Boeing 717
Boeing 737
Boeing Airplane
Non Airbus Traveller
Vehicle

axioms:

covered (restriction madeBy has-class one-of (Airbus)) by Airplane

property madeUpOf

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A journey is made up of a number of trips (that should ideally fit together -- can we model this??)

domain:

Journey

range:

Trip

used in classes:

Including Flight
Journey
Long Journey
Non Airbus Traveller
Non Flyer
Overland Journey

property number of rooms

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

used in classes:

Place To Stay

property price

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

property starRating

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

used in classes:

Place To Stay

property takes

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

A traveller takes a journey

used in classes:

Non Airbus Traveller
Non Flyer
Traveller
XX Non Flyer

property telephone

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

used in classes:

Place To Stay

property using

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Trips use vehicles

domain:

Trip

range:

Vehicle

used in classes:

Bus Ride
Flight
Including Flight
Non Airbus Traveller
Non Flyer
Overland Journey
Sailing
Taxi Ride
Trip
XX Europe To America
XX Trip

axioms:

covered Europe To America by (restriction using to-class (not Land Vehicle))

individual A Bus

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Bus

individual Airbus

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

An Axiom tells us that anything made by Airbus must be an airplane.

instance of:

Manufacturer

used in classes:

Airbus 330
Airbus Airplane
Non Airbus Traveller

axioms:

covered (restriction madeBy has-class one-of (Airbus)) by Airplane

individual Boeing

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Manufacturer

used in classes:

Boeing 717
Boeing 737
Boeing Airplane

individual Charles de Gaul

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Airport

relations:

in Paris

individual Chicago

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

City

relations:

in North America

used in individuals:

OHare

individual Eiffel Tower

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Attraction

relations:

in Paris

individual EuroDisney

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

documentation:

Well, it's not quite *in* Paris, but it'll do for these purposes.

instance of:

Attraction

relations:

in Paris

individual Europe

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Continent

inferred instance of:

Geographical Location

used in classes:

Europe To America

used in individuals:

UK

individual France

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

inferred instance of:

Geographical Location

used in individuals:

Paris

individual Heathrow

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Airport

relations:

in London

individual London

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

City

relations:

in UK

used in individuals:

Heathrow

individual Manchester

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

City

relations:

in UK

used in individuals:

Ringway

individual New York

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

City

relations:

in USA

used in individuals:

Statue of Liberty

individual North America

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Continent

inferred instance of:

Geographical Location

used in classes:

Europe To America

used in individuals:

Chicago
USA

individual OHare

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Airport

relations:

in Chicago

individual Paris

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

City

relations:

in France

used in individuals:

Charles de Gaul
Eiffel Tower
EuroDisney

individual Ringway

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Airport

relations:

in Manchester

individual Statue of Liberty

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Attraction

relations:

in New York

individual UK

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Country

inferred instance of:

Geographical Location

relations:

in Europe

used in individuals:

London
Manchester

individual USA

namespace:

http://oiled.man.ac.uk/ontologies/ontoweb#

instance of:

Country

inferred instance of:

Geographical Location

relations:

in North America

used in individuals:

New York

Axioms

Documentation generated: Fri Jul 05 12:06:36 GMT+01:00 2002