<?xml version="1.0"?>
<rdf:RDF
    xmlns:Amigo="http://amigo.gforge.inria.fr/owl/Amigo.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:core="http://ontology.ist-spice.org/mobile-ontology/1/0/core/0/core.owl#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns="http://ontology.ist-spice.org/mobile-ontology/1/0/context/0/context.owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:AmigoDevices="http://amigo.gforge.inria.fr/owl/Devices.owl#"
    xmlns:AmigoICCS="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:ical="http://www.w3.org/2002/12/cal/icaltzd#"
  xml:base="http://ontology.ist-spice.org/mobile-ontology/1/0/context/0/context.owl">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="http://ontology.ist-spice.org/mobile-ontology/1/0/core/0/core.owl"/>
    <owl:imports rdf:resource="http://www.w3.org/2002/12/cal/icaltzd"/>
    <owl:imports rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl"/>
    <owl:imports rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl"/>
    <owl:imports rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl"/>
  </owl:Ontology>
  <owl:Class rdf:ID="ContextParameter">
    <rdfs:subClassOf rdf:resource="http://ontology.ist-spice.org/mobile-ontology/1/0/core/0/core.owl#AbstractConcept"/>
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#AmigoConcept"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >The ContextParameter concept represents a contextual relationship between two or more entities. This relationship holds at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of this context relation can also be expressed (probability property). The entities involved in a context relationship are indicated via the isContextOf property. The ContextParameter concept provides the most generic representation of a context relationship. Relations are typically modeled with more specific subconcepts and corresponding subproperties.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDreader">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An RFID tag reader.

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDperipherals"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="EntityLocation">
    <rdfs:subClassOf rdf:resource="#ContextParameter"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents an entity's location (i.e. a context relation between an entity and a location). The location of an entity holds at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the entity's location can also be expressed (probability property). The entities involved in a location relationship are indicated via the isLocatedIn and isLocationOf properties, indicating the location and entities respectively.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="BluetoothScan">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="DeviceScan"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#Bluetooth"/>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:ID="isScannedBy"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#Bluetooth"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasScanned"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a scan for nearby discoverable Bluetooth devices (i.e. a context relation between a scanning and scanned Bluetooth devices). The scan is performed at a specific moment in time (timestamp property) and may have been performed with a certain accuracy (accuracy property). The probaility of correctness of the scan can also be expressed (probability property). The scanning Bluetooth device is identified via the isScannedBy property. Detected Bluetooth devices within scanning range are indicated with the hasScenned property.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="UserLocation">
    <rdfs:subClassOf rdf:resource="#EntityLocation"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:ID="isLocationOf"/>
        </owl:onProperty>
        <owl:allValuesFrom rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Person"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a user's location (i.e. a context relation between a user and a location). The location of a user holds at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the user's location can also be expressed (probability property). The entities involved in a location relationship are indicated via the isLocatedIn and isLocationOf properties, indicating the location and users respectively.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#NetworkDevice">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A networking device.
Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf>
      <rdf:Description rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#Device">
        <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Device"/>
      </rdf:Description>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDperipherals">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An RFID-based device

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#Peripheral"/>
  </owl:Class>
  <owl:Class rdf:ID="SensorReading">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a sensor reading that reveals a context relation between entities. The sensor reading is taken at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the sensor reading can also be expressed (probability property). The entities involved in a sensor reading relationship are indicated via the isContextOf property.

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf rdf:resource="#ContextParameter"/>
  </owl:Class>
  <owl:Class rdf:ID="KeyboardActivity">
    <rdfs:subClassOf rdf:resource="#SensorReading"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a sensor reading that indicates whether a keyboard is being typed on. The sensor reading is taken at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the keyboard activity can also be expressed (probability property). The keyboard involved in the sensor reading relationship is indicated via the keyboard property. Keyboard activity is indicated by the isTyping property, which is valued TRUE if keyboard activity took place within the last 5 seconds before the time of the sensor reading. The isRemoteSession property indicates whether the indicated keyboard activity originates from a keyboard attached locally to a computer (FALSE) or via a remote session (TRUE).

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#Mouse">
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#InputDevice"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A computer mouse.
Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="RFIDScan">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents the scan of an RFID tag by an RFID reader (i.e. a context relation between a RFID scanner and an RFID tag). The scan is performed at a specific moment in time (timestamp property) and may have been performed with a certain accuracy (accuracy property). The probaility of correctness of the scan can also be expressed (probability property). The RFID reader is identified via the isScannedBy property. The detected tags within range are indicated with the hasScanned property..

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#DeviceScan"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDreader"/>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#isScannedBy"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDtag"/>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasScanned"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#RelativeLocation">
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#Location"/>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A relative poisition where a physical object can be located, such as a position relative to another object.
Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Amigo.owl#PhysicalEntity">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An entity with physical dimensions.

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Amigo.owl#Entity"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#Location">
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#PhysicalContext"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >The position where a physical object can be located. This is the parent concept for both absolute and relative locations.
Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="#DeviceScan">
    <rdfs:subClassOf rdf:resource="#SensorReading"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a specific type of sensor reading that involves scanning for wireless devices in the vicinity of a access point. The scan is performed at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the sensor reading can also be expressed (probability property). The scanning entity is identified via the isScannedBy property. Entities that are detected within scanning range of the scnning entity are indicated with the hasScenned property.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="WlanScan">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasScanned"/>
        </owl:onProperty>
        <owl:allValuesFrom rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#Wlan"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#DeviceScan"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#isScannedBy"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#WlanAccessPoint"/>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a scan for WLAN devices that are connected to a WLAN access point (i.e. a context relation between a WLAN access point and a WLAN device). The scan is performed at a specific moment in time (timestamp property) and may have been performed with a certain accuracy (accuracy property). The probaility of correctness of the scan can also be expressed (probability property). The scanning WLAN access point  is identified via the isScannedBy property. Connected WLAN devices are indicated with the hasScenned property.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="GPSPositionEstimation">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents an estimation of the position of a device expressed in the WGS84 format (as typically obtained from a GPS receiver).  The position estimation is performed at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the sensor reading can also be expressed (probability property). The device(s) of which the position is determined is indicated by the isPositionOf property. The measured position is indicated by the estimatedPostiion property.

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="PositionEstimation"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="estimatedPosition"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location"/>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="isPositionOf"/>
        </owl:onProperty>
        <owl:allValuesFrom rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Device"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#AbsoluteLocation">
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#Location"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An absolute poisition where a physical object can be located, such as geographical coordinates.
Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An absolute poisition where a physical object can be located, epressed in the World Geodetic System (WGS 84) standard.
Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#AbsoluteLocation"/>
  </owl:Class>
  <owl:Class rdf:about="#PositionEstimation">
    <rdfs:subClassOf rdf:resource="#SensorReading"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a sensor reading about the location of an entity, i.e. a context relation between an entity and a location. The position measurement occurs at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the sensor reading can also be expressed (probability property). The entites of which the position has been determined are indicated via the isPositionOf property. Their position is indicated by the estimatedPosition property.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDtag">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An RFID tag. (Passive tags may not be appropriate at this place since these are not strictly speaking a device).

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDperipherals"/>
  </owl:Class>
  <owl:Class rdf:ID="UserSchedule">
    <rdfs:subClassOf rdf:resource="#ContextParameter"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents appointments a users' electronic calendars (i.e. a context relation between users and a schedules). A snapshot of the users' calendar is taken at a specific moment in time (timestamp property), and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the users' schedule can also be expressed (probability property). The users whose calendar is represented are indicated via the isScheduleOf property, which allows schedules to be linked to individual users or user groups. The schedule itself (a list of appointments expressed in the Vcalendar format) is referenced via the hasSchedule property.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Amigo.owl#UserGroup">
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#PhysicalEntity"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A group of users.

Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="MessengerStatus">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents an user's messenger (i.e. MSN messenger) status (i.e. a context relation between a user and a messaging application). The messenger status of a user holds at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the user's messenger status can also be expressed (probability property). The user involved in a messenger status relationship is indicated via the isMessengerStatusOf property. The device on which the messenger application is running is indicated by the isRunningOn property. Finally, the actual messenger status can be expressed as a status code or as a textual description with the messengerStatusCode and messengerStatusDescription properties respectively.

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf rdf:resource="#ContextParameter"/>
  </owl:Class>
  <owl:Class rdf:ID="MouseActivity">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a sensor reading that indicates whether a mouse is being moved. The sensor reading is taken at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the mouse activity can also be expressed (probability property). The mouse involved in the sensor reading relationship is indicated via the mouse property. Mouse activity is indicated by the isMoving property, which is valued TRUE if the mouse has moved within the last 5 seconds before the time of the sensor reading. The isRemoteSession property indicates whether the indicated mouse activity originates from a mouse attached locally to a computer (FALSE) or via a remote session (TRUE).

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf rdf:resource="#SensorReading"/>
  </owl:Class>
  <owl:Class rdf:ID="PowerLevel">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This concept represents a measurement of the power status of a device.  The measurement is taken at a specific moment in time (timestamp property) and may have been determined with a certain accuracy (accuracy property). The probaility of correctness of the measurement can also be expressed (probability property). The device of which the power status is represented is indicated by the isPowerLevelOf property. The power status is indicated with several properties: hasPowerLevel indicates the current power level (e.g. percentage of battery power remaining); hasRemaingTime indicates the amount of operational time that remains (if on battery power); hasTotalTime indicates the amount of time the device can be operational on a battery charge; isOnAC indicates whether the device is currently plugged into a power outlet.

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf rdf:resource="#SensorReading"/>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#WlanAccessPoint">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#Wlan"/>
        <owl:onProperty rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#hostsPlatform"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#NetworkDevice"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A WLAN access point.
Introduced by: TELIN</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Amigo.owl#Entity">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An entity that can participate in a context relationship.

Introduced by: TELIN</rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#AmigoConcept"/>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="isScheduleOf">
    <rdfs:range>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#User"/>
          <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Amigo.owl#UserGroup"/>
        </owl:unionOf>
      </owl:Class>
    </rdfs:range>
    <rdfs:domain rdf:resource="#UserSchedule"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasContext">
    <rdfs:range rdf:resource="#ContextParameter"/>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:ID="isContextOf"/>
    </owl:inverseOf>
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Entity"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#estimatedPosition">
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#Location"/>
    <rdfs:domain rdf:resource="#PositionEstimation"/>
    <rdfs:subPropertyOf>
      <owl:ObjectProperty rdf:about="#isContextOf"/>
    </rdfs:subPropertyOf>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="isLocatedIn">
    <rdfs:subPropertyOf>
      <owl:ObjectProperty rdf:about="#isContextOf"/>
    </rdfs:subPropertyOf>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#PhysicalEntity"/>
    <rdfs:domain rdf:resource="#EntityLocation"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#hasScanned">
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Entity"/>
    <rdfs:domain rdf:resource="#DeviceScan"/>
    <rdfs:subPropertyOf>
      <owl:ObjectProperty rdf:about="#isContextOf"/>
    </rdfs:subPropertyOf>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasSchedule">
    <rdfs:domain rdf:resource="#UserSchedule"/>
    <rdfs:range rdf:resource="http://www.w3.org/2002/12/cal/icaltzd#Vcalendar"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#isPositionOf">
    <rdfs:domain rdf:resource="#PositionEstimation"/>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Entity"/>
    <rdfs:subPropertyOf>
      <owl:ObjectProperty rdf:about="#isContextOf"/>
    </rdfs:subPropertyOf>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#isContextOf">
    <owl:inverseOf rdf:resource="#hasContext"/>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Entity"/>
    <rdfs:domain rdf:resource="#ContextParameter"/>
  </owl:ObjectProperty>
  <owl:DatatypeProperty rdf:ID="identifier"/>
  <owl:DatatypeProperty rdf:ID="RFIDtagData">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDtag"/>
  </owl:DatatypeProperty>
  <owl:FunctionalProperty rdf:ID="altitude">
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="timestamp">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:domain rdf:resource="#ContextParameter"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#dateTime"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="course">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="hasRemainingTime">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >in minutes</rdfs:comment>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
    <rdfs:domain rdf:resource="#PowerLevel"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="messengerStatusDescription">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#MessengerStatus"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="messengerStatusCode">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:domain rdf:resource="#MessengerStatus"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:about="#isLocationOf">
    <rdfs:subPropertyOf rdf:resource="#isContextOf"/>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#PhysicalEntity"/>
    <rdfs:domain rdf:resource="#EntityLocation"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="RFIDtagID">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:subPropertyOf rdf:resource="#identifier"/>
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDtag"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="isRemoteSession">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
    <rdfs:domain>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#MouseActivity"/>
          <owl:Class rdf:about="#KeyboardActivity"/>
        </owl:unionOf>
      </owl:Class>
    </rdfs:domain>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="isMoving">
    <rdfs:domain rdf:resource="#MouseActivity"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="longitude">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:about="#isScannedBy">
    <rdfs:subPropertyOf rdf:resource="#isContextOf"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:domain rdf:resource="#DeviceScan"/>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Entity"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="accuracy">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:domain rdf:resource="#ContextParameter"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="keyboard">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:subPropertyOf rdf:resource="#isContextOf"/>
    <rdfs:domain rdf:resource="#KeyboardActivity"/>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#Keyboard"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="range">
    <rdfs:domain rdf:resource="#DeviceScan"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="isPowerLevelOf">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:domain rdf:resource="#PowerLevel"/>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Amigo.owl#Device"/>
    <rdfs:subPropertyOf rdf:resource="#isContextOf"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="typicalRange">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdfs:domain>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#Bluetooth"/>
          <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#WlanAccessPoint"/>
          <owl:Class rdf:about="http://amigo.gforge.inria.fr/owl/Devices.owl#RFIDreader"/>
        </owl:unionOf>
      </owl:Class>
    </rdfs:domain>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="probability">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >probability between 0 and 1(inclusive)</rdfs:comment>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdfs:domain rdf:resource="#ContextParameter"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="mouse">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#Mouse"/>
    <rdfs:domain rdf:resource="#MouseActivity"/>
    <rdfs:subPropertyOf rdf:resource="#isContextOf"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="latitude">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="isMessengerStatusOf">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:domain rdf:resource="#MessengerStatus"/>
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#User"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="radius">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="speed">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="isRunningOn">
    <rdfs:range rdf:resource="http://amigo.gforge.inria.fr/owl/Devices.owl#Device"/>
    <rdfs:domain rdf:resource="#MessengerStatus"/>
    <rdfs:subPropertyOf rdf:resource="#isContextOf"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="hasPowerLevel">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Remaining power (percentage)</rdfs:comment>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdfs:domain rdf:resource="#PowerLevel"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="isOnAC">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
    <rdfs:domain rdf:resource="#PowerLevel"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >True if the device is plugged into some power source</rdfs:comment>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="hasTotalTime">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
    <rdfs:domain rdf:resource="#PowerLevel"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Time when battery would be full, in minutes</rdfs:comment>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="fix">
    <rdfs:domain rdf:resource="http://amigo.gforge.inria.fr/owl/AmigoICCS.owl#WGS84Location"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="isTyping">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
    <rdfs:domain rdf:resource="#KeyboardActivity"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Shows whether someone is currently typing at this keyboard</rdfs:comment>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:Thing rdf:ID="Thing_1"/>
</rdf:RDF>

<!-- Created with Protege (with OWL Plugin 3.3, Build 414)  http://protege.stanford.edu -->
