<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE rdf:RDF [
	 <!ENTITY sensor-type-ont 'http://www.daml.org/2001/12/charter/sensor-type-ont#'>
	 <!ENTITY event-ont 'http://www.daml.org/2001/12/charter/event-ont#'>
	 <!ENTITY xsd 'http://www.w3.org/2000/10/XMLSchema#'>
	 <!ENTITY sigint 'http://www.daml.org/2001/12/ddb/daml/SIGINT#'>
]>

<rdf:RDF
  xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
  xmlns="&sensor-type-ont;"
>

<rdf:Description rdf:about="">
  <rdfs:comment>Definition of a hypothetical Mark 2002 sensor</rdfs:comment>
  <daml:versionInfo>$Id: mk2002.daml,v 1.2 2002/01/17 16:29:06 mdean Exp $</daml:versionInfo>
</rdf:Description>

<SensorType rdf:ID="Mk2002">
  <id>Mk2002</id>
  <powerConsumption>50</powerConsumption>
  <sensitivity>100</sensitivity>
</SensorType>

<rdfs:Class rdf:ID="Mark2002Event">
  <rdfs:subClassOf rdf:resource="&event-ont;Event"/>
  <rdfs:subClassOf rdf:resource="&sigint;SIGINTSignal"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#range"/>
      <daml:toClass rdf:resource="&xsd;float"/>
      <daml:cardinality>1</daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#bearing"/>
      <daml:toClass rdf:resource="&xsd;float"/>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#frequency"/>
      <daml:toClass rdf:resource="&xsd;float"/>
      <daml:minCardinality>1</daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#duration"/>
      <daml:toClass rdf:resource="&xsd;timeDuration"/>
      <daml:cardinality>1</daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</rdfs:Class>

<daml:DatatypeProperty rdf:ID="bearing"/>
<daml:DatatypeProperty rdf:ID="duration"/>
<daml:DatatypeProperty rdf:ID="frequency"/>
<daml:DatatypeProperty rdf:ID="range"/>

</rdf:RDF>
