<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     ="http://www.ksl.Stanford.EDU/software/IW/spec/iw#"
>

<daml:Ontology rdf:about="">
  <daml:versionInfo>$Id: iw.daml,v 0.6, 07/16/03, Paulo Pinheiro da Silva $</daml:versionInfo>
  <daml:imports rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns"/>
  <daml:imports rdf:resource="http://www.w3.org/2000/01/rdf-schema"/>
  <daml:imports rdf:resource="http://www.daml.org/2001/03/daml+oil"/>
</daml:Ontology>

<!-- Generic Properties -->

<daml:DatatypeProperty rdf:ID="Name">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="URL">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="EnglishDescription">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:ObjectProperty rdf:ID="hasSource">
  <rdfs:domain rdf:resource="#RegistryElement"/>
  <rdfs:range rdf:resource="#Source"/>
</daml:ObjectProperty>

<daml:DatatypeProperty rdf:ID="EnglishDescriptionTemplate">
  <rdfs:comment>
    The structure of templates for presenting English explanations in English is not defined yet.
    A string (rdf-schema Literal) is used to handle the template in this version of the IW spec.
  </rdfs:comment>
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="EnglishExample">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="Date">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#date"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="FirstSubmissionDate">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#date"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="LastSubmissionDate">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#date"/>
</daml:DatatypeProperty>

<daml:ObjectProperty rdf:ID="Submitter">
  <rdfs:domain rdf:resource="#RegistryElement"/>
  <rdfs:range rdf:resource="#Source"/>
</daml:ObjectProperty>

<daml:DatatypeProperty rdf:ID="Version">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:Class rdf:ID="RegistryElement">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Name"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#URL"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#EnglishDescription"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#EnglishExample"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasSource"/>
      <daml:minCardinality>
        0
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Submitter"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#FirstSubmissionDate"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#LastSubmissionDate"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<!-- Authoritative Sources -->

<daml:Class rdf:ID="Source">
  <rdfs:subClassOf rdf:resource="#RegistryElement"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#QualifyingOrganization"/>
      <daml:minCardinality>
        1
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="QualifyingOrganization">
  <rdfs:domain rdf:resource="#Source"/>
  <rdfs:range rdf:resource="#Organization"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="Organization">
  <rdfs:subClassOf rdf:resource="#Source"/>
</daml:Class>

<daml:Class rdf:ID="Person">
  <rdfs:subClassOf rdf:resource="#Source"/>
</daml:Class>

<daml:Class rdf:ID="Team">
  <rdfs:subClassOf rdf:resource="#Source"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasMember"/>
      <daml:minCardinality>
        0
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="hasMember">
  <rdfs:domain rdf:resource="#Team"/>
  <rdfs:range rdf:resource="#Person"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="Publication">
  <rdfs:subClassOf rdf:resource="#Source"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasAuthor"/>
      <daml:minCardinality>
        1
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Date"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="hasAuthor">
  <rdfs:domain rdf:resource="#Publication"/>
  <rdfs:range rdf:resource="#Person"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="Ontology">
  <rdfs:subClassOf rdf:resource="#Source"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Version"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:Class rdf:ID="DomainSpecificOntology">
  <rdfs:subClassOf rdf:resource="#Ontology"/>
</daml:Class>

<daml:Class rdf:ID="LanguageAxiomSet">
  <rdfs:subClassOf rdf:resource="#Ontology"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasAxiom"/>
      <daml:minCardinality>
        1
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<!-- Languages -->

<daml:Class rdf:ID="Axiom">
  <rdfs:subClassOf rdf:resource="#RegistryElement"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#AxiomContent"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#OptimizationParam"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="AxiomContent">
  <rdfs:domain rdf:resource="#Axiom"/>
  <rdfs:range rdf:resource="#KIF"/>
</daml:ObjectProperty>

<daml:DatatypeProperty rdf:ID="OptimizationParam">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:ObjectProperty rdf:ID="hasAxiom">
  <rdfs:domain rdf:resource="#LanguageAxiomSet"/>
  <rdfs:range rdf:resource="#Axiom"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="Language">
  <rdfs:subClassOf rdf:resource="#RegistryElement"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasLanguageAxiomSet"/>
      <daml:minCardinality>
        1
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="hasLanguageAxiomSet">
  <rdfs:domain rdf:resource="#Language"/>
  <rdfs:range rdf:resource="#LanguageAxiomSet"/>
</daml:ObjectProperty>

<!-- Inference Engines, Rules and Steps -->

<daml:Class rdf:ID="InferenceEngine">
  <rdfs:subClassOf rdf:resource="#RegistryElement"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Version"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#InferenceEngineRule"/>
      <daml:minCardinality>
        1
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="InferenceEngineRule">
  <rdfs:domain rdf:resource="#InferenceEngine"/>
  <rdfs:range rdf:resource="#PrimitiveRule"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="InferenceStep">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasAntecedent"/>
      <daml:minCardinality>
        1
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasDischarge"/>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasVariableMapping"/>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasInferenceEngine"/>
      <daml:minCardinality>
        1
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasRule"/>
      <daml:minCardinality>
        1
      </daml:minCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#fromQuery"/>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#fromAnswer"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="hasAntecedent">
  <rdfs:domain rdf:resource="#InferenceStep"/>
  <daml:range rdf:resource="#WFF"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="hasDischarge">
  <rdfs:domain rdf:resource="#InferenceStep"/>
  <daml:range rdf:resource="#WFF"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="hasInferenceEngine">
  <rdfs:domain rdf:resource="#InferenceStep"/>
  <rdfs:range rdf:resource="#InferenceEngine"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="hasRule">
  <rdfs:domain rdf:resource="#InferenceStep"/>
  <rdfs:range rdf:resource="#AbstractInferenceRule"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="fromQuery">
  <rdfs:domain rdf:resource="#InferenceStep"/>
  <daml:range rdf:resource="#Query"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="fromAnswer">
  <rdfs:domain rdf:resource="#InferenceStep"/>
  <daml:range rdf:resource="#WFF"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="AbstractInferenceRule">
  <rdfs:subClassOf rdf:resource="#RegistryElement"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#TacticOfAxiom"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#EnglishDescriptionTemplate"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="TacticOfAxiom">
  <rdfs:domain rdf:resource="#AbstractInferenceRule"/>
  <rdfs:range rdf:resource="#Axiom"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="PrimitiveRule">
  <rdfs:subClassOf rdf:resource="#AbstractInferenceRule"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Conclusion"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="Conclusion">
  <rdfs:domain rdf:resource="#PrimitiveRule"/>
  <rdfs:range rdf:resource="#KIF"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="DeclarativeRule">
  <rdfs:subClassOf rdf:resource="#PrimitiveRule"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Premises"/>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#SideCondition"/>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="Premises">
  <rdfs:domain rdf:resource="#DeclarativeRule"/>
  <rdfs:range rdf:resource="#KIF"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="SideCondition">
  <rdfs:domain rdf:resource="#DeclarativeRule"/>
  <rdfs:range rdf:resource="#KIF"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="ProceduralRule">
  <rdfs:subClassOf rdf:resource="#PrimitiveRule"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#VerificationProcedure"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:DatatypeProperty rdf:ID="VerificationProcedure">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:Class rdf:ID="DerivedRule">
  <rdfs:subClassOf rdf:resource="#AbstractInferenceRule"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#DescribedFrom"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="DescribedFrom">
  <rdfs:domain rdf:resource="#DerivedRule"/>
  <rdfs:range rdf:resource="#WFF"/>
</daml:ObjectProperty>

<!-- WFF -->

<daml:Class rdf:ID="WFF">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#WFFContent"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#isConsequentOf"/>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#WFFOntology"/>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#isExplanationOf"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:ObjectProperty rdf:ID="WFFContent">
  <rdfs:domain rdf:resource="#WFF"/>
  <rdfs:range rdf:resource="#KIF"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="WFFOntology">
  <rdfs:domain rdf:resource="#WFF"/>
  <rdfs:range rdf:resource="#Ontology"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="isExplanationOf">
  <rdfs:domain rdf:resource="#WFF"/>
  <rdfs:range rdf:resource="#WFF"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="isConsequentOf">
  <rdfs:domain rdf:resource="#WFF"/>
  <rdfs:toClass rdf:resource="#InferenceStep"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="VariableMapping">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Term"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Variable"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:DatatypeProperty rdf:ID="Term">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="Variable">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:ObjectProperty rdf:ID="hasVariableMapping">
  <rdfs:domain rdf:resource="#InferenceStep"/>
  <rdfs:toClass rdf:resource="#VariableMapping"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="KIF">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="Statement"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:DatatypeProperty rdf:ID="Statement">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<!-- Queries -->

<daml:Class rdf:ID="QueryLanguage">
  <rdfs:subClassOf rdf:resource="#RegistryElement"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#Version"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:Class rdf:ID="Question">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#QuestionContent"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasAnswerPattern"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:DatatypeProperty rdf:ID="QuestionContent">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="hasAnswerPattern">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:Class rdf:ID="Query">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#QueryContent"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#isQueryFor"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#isWrittenIn"/>
      <daml:maxCardinality>
        1
      </daml:maxCardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#isFromEngine"/>
      <daml:cardinality>
        1
      </daml:cardinality>
    </daml:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasAnswer"/>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

<daml:DatatypeProperty rdf:ID="QueryContent">
  <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:DatatypeProperty>

<daml:ObjectProperty rdf:ID="isQueryFor">
  <rdfs:domain rdf:resource="#Query"/>
  <rdfs:range rdf:resource="#Question"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="isWrittenIn">
  <rdfs:domain rdf:resource="#Query"/>
  <rdfs:range rdf:resource="#QueryLanguage"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="isFromEngine">
  <rdfs:domain rdf:resource="#Query"/>
  <rdfs:range rdf:resource="#InferenceEngine"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="hasAnswer">
  <rdfs:domain rdf:resource="#Query"/>
  <rdfs:range rdf:resource="#WFF"/>
</daml:ObjectProperty>

</rdf:RDF>