<?xml version="1.0" encoding="UTF-8" standalone="no" ?>
<!DOCTYPE uridef [
   <!ENTITY owl   "http://www.w3.org/2002/07/owl#" >
   <!ENTITY xsd   "http://www.w3.org/2001/XMLSchema#" >
   <!ENTITY swrlb "http://www.w3.org/2003/11/swrlb#" >
   <!ENTITY xg    "http://www.darpa.mil/xg/ontology#" >
   <!ENTITY xgsri "http://www.sri.com/xg/ontology#" > ] >

<owlx:Ontology owlx:name="http://www.darpa.mil/xg/XGDemo-06-Location-Channel-1"
 xmlns:owlx   = "http://www.w3.org/2003/05/owl-xml"
 xmlns:ruleml = "http://www.w3.org/2003/11/ruleml"
 xmlns:swrlx  = "http://www.w3.org/2003/11/swrlx"
 xmlns:fol    = "http://www.daml.org/2004/11/fol/fol"
 xmlns:xg     = "http://www.darpa.mil/xg/ontology"
 xmlns:xgsri  = "http://www.sri.com/xg/ontology"
 xmlns        = "http://www.darpa.mil/xg/XGDemo-06-Location-Channel-1">

<owlx:Imports owlx:ontology="http://www.sri.com/xg/ontology" />
<owlx:Imports owlx:ontology="http://www.darpa.mil/xg/ontology" />

<fol:Assertion>
 <fol:Forall>
   <ruleml:Var>f</ruleml:Var>
   <fol:Implies>

     <fol:Exists>
       <ruleml:Var>d</ruleml:Var>
       <ruleml:Var>tr</ruleml:Var>
       <ruleml:Var>ld</ruleml:Var>
       <ruleml:Var>le</ruleml:Var>
       <ruleml:Var>l</ruleml:Var>
      	<fol:And>
         <swrlx:classAtom>
           <owlx:Class owlx:name="&xg;Device" />
           <ruleml:var>d</ruleml:var>
         </swrlx:classAtom>

    	 <swrlx:individualPropertyAtom swrlx:property="&xg;transmitter">
       	   <ruleml:var>d</ruleml:var>
           <ruleml:var>tr</ruleml:var>
	 </swrlx:individualPropertyAtom>
	  
    	 <swrlx:datavaluedPropertyAtom swrlx:property="&xg;centerFrequency">
       	   <ruleml:var>tr</ruleml:var>
           <owlx:DataValue owlx:datatype="&xsd;integer">231000000</owlx:DataValue>
	 </swrlx:datavaluedPropertyAtom>
	 
         <swrlx:individualPropertyAtom swrlx:property="&xg;locationDetector">
           <ruleml:var>d</ruleml:var>
           <ruleml:var>ld</ruleml:var>
         </swrlx:individualPropertyAtom>

         <swrlx:individualPropertyAtom swrlx:property="&xg;locationEvidence">
           <ruleml:var>ld</ruleml:var>
           <ruleml:var>le</ruleml:var>
         </swrlx:individualPropertyAtom>

         <swrlx:individualPropertyAtom swrlx:property="&xg;location">
           <ruleml:var>le</ruleml:var>
           <ruleml:var>l</ruleml:var>
         </swrlx:individualPropertyAtom>

	 <swrlx:builtinAtom swrlx:builtin="&swrlb;lessThanOrEqual">
	   <xg:apply swrlx:property="&xg;latitude">
             <ruleml:var>l</ruleml:var>
	   </xg:apply>
           <owlx:DataValue owlx:datatype="&xsd;decimal">38.146972</owlx:DataValue>
         </swrlx:builtinAtom>

	 <swrlx:builtinAtom swrlx:builtin="&swrlb;lessThanOrEqual">
           <owlx:DataValue owlx:datatype="&xsd;decimal">38.136111</owlx:DataValue>
           <xg:apply swrlx:property="&xg;latitude">
             <ruleml:var>l</ruleml:var>
           </xg:apply>
         </swrlx:builtinAtom>

         <swrlx:builtinAtom swrlx:builtin="&swrlb;lessThanOrEqual">
           <xg:apply swrlx:property="&xg;longitude">
             <ruleml:var>l</ruleml:var>
           </xg:apply>
           <owlx:DataValue owlx:datatype="&xsd;decimal">-77.319589</owlx:DataValue>
         </swrlx:builtinAtom>

         <swrlx:builtinAtom swrlx:builtin="&swrlb;lessThanOrEqual">
           <owlx:DataValue owlx:datatype="&xsd;decimal">-77.373053</owlx:DataValue>
           <xg:apply swrlx:property="&xg;longitude">
             <ruleml:var>l</ruleml:var>
           </xg:apply>
         </swrlx:builtinAtom>

       </fol:And>
     </fol:Exists>

     <swrlx:classAtom>
       <owlx:Class owlx:name="&xgsri;Allow" />
       <ruleml:var>f</ruleml:var>
     </swrlx:classAtom>

    </fol:Implies>
  </fol:Forall>
</fol:Assertion>

</owlx:Ontology>
