Ontology
comment: This ontology is intended for representing location information.

GeographicCoordinates
type: Class
subclass of: Thing
subclass of: Restriction
  on property: hasGeoOrientation
  cardinality: 1
subclass of: Restriction
  on property: hasGeoCoordinateValue
  cardinality: 1

hasGeoCoordinateValue
type: FunctionalProperty
comment: geocoordinate value
range: float
domain: GeographicCoordinates
type: DatatypeProperty

PhysicalLocation
type: Class
subclass of: SpatialThing
subclass of: Restriction
  max cardinality: 2
  on property: hasLocationCoordinates

hasLocationCoordinates
type: FunctionalProperty
comment: hasGeographicCoordinates
type: ObjectProperty
range: GeographicCoordinates
domain: PhysicalLocation

meetsSpatially
type: SymmetricProperty
range: GeographicLocation
type: ObjectProperty
domain: GeographicLocation
comment: irreflexive and symmetric property, connected but not overlapped
sub property of: isConnectedTo

overlapsSpatially
type: SymmetricProperty
type: ObjectProperty
sub property of: isConnectedTo
comment: reflexive and symmetric property
domain: GeographicLocation
range: GeographicLocation

Bar
type: Room
is connected to: Room MulM
has name: Bar
is part of: Engenharias

Room MulM
type: Room
contains: Virtual Room
is part of: Library
has name: Room Multimedia
is connected to: Bar

Virtual Room
type: VirtualLocation
has name: Virtual Room
is part of: Room MulM

Library
type: Building
contains: Room MulM
has name: Library

Minho
type: StateOrProvince
has name: Minho
has geographic sub region: Braga
is geographic sub region: Portugal

Tras os Montes e Alto Douro
type: StateOrProvince
has geographic sub region: Vila Real
is geographic sub region: Portugal
has name: Trás-os-Montes e Alto Douro

Vila Real
type: City
is geographic sub region: Tras os Montes e Alto Douro
has name: Vila Real

Campus UTAD
type: OutdoorLocation
has name: Campus UTAD