COBRA-ONT v0.4 Tutorial 4
--------------------------

The following example shows (1) how to describe spatial relations between
spatial things (e.g., room, building, county, state, and
country), (2) how to describe the physical location of some object
in the space that involves time. 

In COBRA-ONT, relations between different spatial things may be
defined with or without explicit temporal properties. For example, the
spatial relation between the state of Maryland and the country US is defined
without explit temporal property, and the spatial relation between the
person Harry Chen and the university campus UMBC is defined with explicit
temporal property. 


---
Example 1. This is a simple spatial ontology about UMBC. It defines
UMBC as a "geopoliticalSubdivision" of the county Baltimore County,
which is a "geopoliticalSubdivision" of the state Maryland, which is
a "genopoliticalSubdivision" of the country US. The UMBC campus
is a spatial thing that has physical parts. The building ITE and the
building ECS are two parts of the UMBC campus. Each building
spatially subsumes different rooms that are in each building.

Because the described spatial properties are all sub-properties of
the property "inRegion", from the this example ontology, a reasoning
agent can generalize 

ITE-RM-201A 	     inRegion	ITE-Building
ITE-Building 	     inRegion	UMBC
UMBC		     inRegion 	Baltimore County
Baltimore County     inRegion 	Maryland
Maryland  	     inRegion 	US

If somehow the agent learns that the person Harry Chen is in
ITE-RM201A, then the agent can conclude 

Harry Chen  	     inRegion   ITE-RM-201A
Harry Chen 	     inRegion	ITE-Building
Harry Chen 	     inRegion	UMBC
Harry Chen 	     inRegion 	Balitmore County
Harry Chen  	     inRegion 	Maryland
Harry Chen  	     inRegion 	US

  <spc:Country rdf:ID="US">
    <rdfs:label>US</rdfs:label>
  </spc:Country>
  
  <spc:StateInTheUS rdf:ID="Maryland">
    <rdfs:label>Maryland</rdfs:label>
    <spc:geopoliticalSubdivision rdf:resource="#US"/>
  </spc:StateInTheUS>

  <spc:County rdf:ID="BaltimoreCounty">
    <rdfs:label>BaltimoreCounty</rdfs:label>
    <spc:geopoliticalSubdivision rdf:resource="#Maryland"/>
  </spc:County>

  <spc:University rdf:ID="UMBC">
    <rdfs:label>UMBC</rdfs:label>
    <spc:geopoliticalSubdivision rdf:resource="#BaltimoreCounty"/>
  </spc:University>

  <spc:Building rdf:ID="ITE-Building">
    <rdfs:label>ITE-Building</rdfs:label>
    <spc:physicalParts rdf:resource="#UMBC"/>
    <rdf:type rdf:resource="&plc;CompoundPlace"/>
  </spc:Building>

  <spc:Room rdf:ID="ITE-RM-201A">
    <rdfs:label>ITE-RM-201A</rdfs:label>
    <spc:spatiallySubsumedBy rdf:resource="#ITE-Building"/>
    <rdf:type rdf:resource="&plc;AtomicPlace"/>
  </spc:Room>

  <spc:Building rdf:ID="ECS-Building">
    <rdfs:label>ITE-Building</rdfs:label>
    <spc:physicalParts rdf:resource="#UMBC"/>
    <rdf:type rdf:resource="&plc;CompoundPlace"/>
  </spc:Building>

  <spc:Room rdf:ID="ECS-RM-210I">
    <rdfs:label>ITE-RM-201A</rdfs:label>
    <spc:spatiallySubsumedBy rdf:resource="#ECS-Building"/>
    <rdf:type rdf:resource="&plc;AtomicPlace"/>
  </spc:Room>

---------
Example 2. Some physical objects like people and devices usually do
not have commital spatial relations with spatial things in the
world. For example, a person may in a room only for a few hours. To
model this type of spatial relation, it is necessary to include
explicit temporal relation in the object's spatial relation.

To describe the cell phone myT68i is in the room ITE-RM-201A at
14:30:00 on 12/1/2003, we define the following statements:

<loc:LocationAtTimeInstant rdf:about="urn:some-event">

  <loc:object>
    <dev:SonyEricssonT68i rdf:about="http://umbc.edu/~hchen4/myT68i">
      <spc:objectFoundInLocation rdf:about="&umbc;ITE-RM-201A"/>
      <dev:moreInfo>
	http://umbc.edu/~hchen4/hc-model.owl
      </dev:moreInfo>
    </dev:SonyEricssonT68i>
  </loc:object>

  <tme:hasInstantDescription>
    <tme:InstantDescription>
      <tme:definedByCalendar>
	<calc:CalendarDescription>
          <calc:year>2003</calc:year>
          <calc:month>12</calc:month>
          <calc:dateOfMonth>1</calc:dateOfMonth>
	</calc:CalendarDescription>
      </tme:definedByCalendar>
      
      <tme:definedByClock>
	<calc:ClockDescription>
          <calc:hourOfDay>14</calc:hourOfDay>
          <calc:minute>30</calc:minute>
          <calc:second>00</calc:second>
	</calc:ClockDescription>
      </tme:definedByClock>
    </tme:InstantDescription>
  </tme:hasInstantDescription>

</loc:LocationAtTimeInstant>