Spatial Ontology
type: Ontology
imports: action.owl
description: The MON's Spatial provides classes and properties for specifying the knowledge about spatial things (i.e. anything with a spatial extent) and places (e.g. cities). These concepts are used for specifying the generic locations for physical objects. This ontology module is an implementation of the Ontology Design Pattern Place.

has place
type: ObjectProperty
range: Spatial thing

has residence
type: ObjectProperty
sub property of: has place
domain: Agent
range: Residence

City
type: Class
subclass of: Spatial thing

Residence
type: Class
subclass of: Spatial thing

Spatial thing
type: Class
subclass of: PhysicalObject
disjoint with: TemporalEntity
comment: Anything with spatial extent, i.e. size, shape, or position.