<?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-04-Time-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-04-Time-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>td</ruleml:Var>
       <ruleml:Var>te</ruleml:Var>
       <ruleml:Var>t</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;timeDetector">
           <ruleml:var>d</ruleml:var>
           <ruleml:var>td</ruleml:var>
         </swrlx:individualPropertyAtom>

         <swrlx:individualPropertyAtom swrlx:property="&xg;timeEvidence">
           <ruleml:var>td</ruleml:var>
           <ruleml:var>te</ruleml:var>
         </swrlx:individualPropertyAtom>

         <swrlx:individualPropertyAtom swrlx:property="&xg;time">
           <ruleml:var>te</ruleml:var>
           <ruleml:var>t</ruleml:var>
         </swrlx:individualPropertyAtom>

         <swrlx:builtinAtom swrlx:builtin="&swrlb;lessThanOrEqual">
           <ruleml:var>t</ruleml:var>
           <owlx:DataValue owlx:datatype="&xsd;dateTime">2008-3-5T10:0:0.579</owlx:DataValue>
         </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>

