<?xml version="1.0"?>
<rdf:RDF
    xmlns="http://inferenceweb.stanford.edu/2004/03/iw.owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xml:base="http://inferenceweb.stanford.edu/2004/03/iw.owl">
  <owl:Ontology rdf:about="">
    <owl:versionInfo>$Id: iw.daml,v 0.6, 07/16/03, Paulo Pinheiro da Silva $</owl:versionInfo>
  </owl:Ontology>
  <owl:Class rdf:ID="ProvenanceElement">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#submitter"/>
        </owl:onProperty>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#englishExample"/>
        </owl:onProperty>
        <owl:maxCardinality>1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#name"/>
        </owl:onProperty>
        <owl:cardinality>1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#url"/>
        </owl:onProperty>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality>1</owl:maxCardinality>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#englishDescription"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#ModelElement"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasSource"/>
        </owl:onProperty>
        <owl:minCardinality>0</owl:minCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="LanguageAxiomSet">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#forLanguage"/>
        </owl:onProperty>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality>1</owl:minCardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasAxiom"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Ontology"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="DerivedRule">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#describedFrom"/>
        </owl:onProperty>
        <owl:cardinality>1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#InferenceRule"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="ModelElement">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#uri"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#lastSubmissionDate"/>
        </owl:onProperty>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#firstSubmissionDate"/>
        </owl:onProperty>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="InferenceEngine">
    <rdfs:subClassOf rdf:resource="#ProvenanceElement"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality>1</owl:cardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#version"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality>1</owl:minCardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#inferenceEngineRule"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="MethodRule">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#PrimitiveRule"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality>1</owl:maxCardinality>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#verificationMethod"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Question">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality>1</owl:maxCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#hasAnswerPattern"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#ProofElement"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality>1</owl:cardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#questionContent"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Team">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Source"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasMember"/>
        </owl:onProperty>
        <owl:minCardinality>0</owl:minCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="VariableMapping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#term"/>
        </owl:onProperty>
        <owl:cardinality>1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality>1</owl:cardinality>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#variable"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Axiom">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#axiomContent"/>
        </owl:onProperty>
        <owl:cardinality>1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#ProvenanceElement"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasLanguage"/>
        </owl:onProperty>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="DeclarativeRule">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#PrimitiveRule"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="NodeSet">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#isExplanationOf"/>
        </owl:onProperty>
        <owl:maxCardinality>1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#conclusion"/>
        </owl:onProperty>
        <owl:cardinality>1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#ProofElement"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasLanguage"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality>0</owl:minCardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#isConsequentOf"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Publication">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#month"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#day"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Source"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasAuthor"/>
        </owl:onProperty>
        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:minCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#year"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Ontology">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality>1</owl:cardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#version"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Source"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Organization">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Source"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Source">
    <rdfs:subClassOf rdf:resource="#ProvenanceElement"/>
  </owl:Class>
  <owl:Class rdf:ID="PrimitiveRule">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasLanguage"/>
        </owl:onProperty>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#InferenceRule"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality>1</owl:cardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#ruleSpec"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="ProofElement">
    <rdfs:subClassOf rdf:resource="#ModelElement"/>
  </owl:Class>
  <owl:Class rdf:ID="TranslationRule">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#fromLanguage"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#toExpression"/>
        </owl:onProperty>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#fromExpresssion"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#toLanguage"/>
        </owl:onProperty>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#InferenceRule"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Language">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#escapeCharacter"/>
        </owl:onProperty>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#ProvenanceElement"/>
  </owl:Class>
  <owl:Class rdf:ID="InferenceRule">
    <rdfs:subClassOf rdf:resource="#ProvenanceElement"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#englishDescriptionTemplate"/>
        </owl:onProperty>
        <owl:maxCardinality>1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality>1</owl:maxCardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#tacticOfAxiom"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Person">
    <rdfs:subClassOf rdf:resource="#Source"/>
  </owl:Class>
  <owl:Class rdf:ID="Query">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#queryContent"/>
        </owl:onProperty>
        <owl:cardinality>1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#isFromEngine"/>
        </owl:onProperty>
        <owl:cardinality>1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#isQueryFor"/>
        </owl:onProperty>
        <owl:maxCardinality>1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#ProofElement"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasLanguage"/>
        </owl:onProperty>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality>0</owl:minCardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasAnswer"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="InferenceStep">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#fromQuery"/>
        </owl:onProperty>
        <owl:minCardinality>0</owl:minCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasRule"/>
        </owl:onProperty>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasVariableMapping"/>
        </owl:onProperty>
        <owl:minCardinality>0</owl:minCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality>0</owl:minCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#hasDischarge"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality>1</owl:minCardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasAntecedent"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#fromAnswer"/>
        </owl:onProperty>
        <owl:maxCardinality>1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasInferenceEngine"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="isFromEngine">
    <rdfs:domain rdf:resource="#Query"/>
    <rdfs:range rdf:resource="#InferenceEngine"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="fromLanguage">
    <rdfs:domain rdf:resource="#TranslationRule"/>
    <rdfs:range rdf:resource="#Language"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="forLanguage">
    <rdfs:range rdf:resource="#Language"/>
    <rdfs:domain rdf:resource="#LanguageAxiomSet"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasLanguage">
    <rdfs:range rdf:resource="#Language"/>
    <rdfs:domain>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#PrimitiveRule"/>
          <owl:Class rdf:about="#NodeSet"/>
          <owl:Class rdf:about="#Query"/>
          <owl:Class rdf:about="#Axiom"/>
        </owl:unionOf>
      </owl:Class>
    </rdfs:domain>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="submitter">
    <rdfs:range rdf:resource="#Team"/>
    <rdfs:domain rdf:resource="#ProvenanceElement"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasVariableMapping">
    <rdfs:domain rdf:resource="#InferenceStep"/>
    <rdfs:allValuesFrom rdf:resource="#VariableMapping"/>
    <rdfs:range rdf:resource="#VariableMapping"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="fromQuery">
    <rdfs:domain rdf:resource="#InferenceStep"/>
    <rdfs:range rdf:resource="#Query"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasAxiom">
    <rdfs:range rdf:resource="#Axiom"/>
    <rdfs:domain rdf:resource="#LanguageAxiomSet"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="toLanguage">
    <rdfs:range rdf:resource="#Language"/>
    <rdfs:domain rdf:resource="#TranslationRule"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasInferenceEngine">
    <rdfs:range rdf:resource="#InferenceEngine"/>
    <rdfs:domain rdf:resource="#InferenceStep"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="isExplanationOf">
    <rdfs:range rdf:resource="#NodeSet"/>
    <rdfs:domain rdf:resource="#NodeSet"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="isQueryFor">
    <rdfs:range rdf:resource="#Question"/>
    <rdfs:domain rdf:resource="#Query"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="describedFrom">
    <rdfs:range rdf:resource="#NodeSet"/>
    <rdfs:domain rdf:resource="#DerivedRule"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="isConsequentOf">
    <rdfs:range rdf:resource="#InferenceStep"/>
    <rdfs:domain rdf:resource="#NodeSet"/>
    <rdfs:allValuesFrom rdf:resource="#InferenceStep"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasRule">
    <rdfs:range rdf:resource="#InferenceRule"/>
    <rdfs:domain rdf:resource="#InferenceStep"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="fromAnswer">
    <rdfs:range rdf:resource="#NodeSet"/>
    <rdfs:domain rdf:resource="#InferenceStep"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasSource">
    <rdfs:domain rdf:resource="#ProvenanceElement"/>
    <rdfs:range rdf:resource="#Source"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasAuthor">
    <rdfs:range rdf:resource="#Person"/>
    <rdfs:domain rdf:resource="#Publication"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasMember">
    <rdfs:domain rdf:resource="#Team"/>
    <rdfs:range rdf:resource="#Person"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasOntology">
    <rdfs:domain rdf:resource="#InferenceStep"/>
    <rdfs:range rdf:resource="#Ontology"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="inferenceEngineRule">
    <rdfs:range rdf:resource="#PrimitiveRule"/>
    <rdfs:domain rdf:resource="#InferenceEngine"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="tacticOfAxiom">
    <rdfs:range rdf:resource="#Axiom"/>
    <rdfs:domain rdf:resource="#InferenceRule"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasAnswer">
    <rdfs:range rdf:resource="#NodeSet"/>
    <rdfs:domain rdf:resource="#Query"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="hasAntecedent">
    <rdfs:range rdf:resource="#NodeSet"/>
    <rdfs:domain rdf:resource="#InferenceStep"/>
  </owl:ObjectProperty>
  <owl:DatatypeProperty rdf:ID="conclusion">
    <rdfs:domain rdf:resource="#NodeSet"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="ruleSpec">
    <rdfs:domain rdf:resource="#PrimitiveRule"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="escapeCharacter">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#Language"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="englishExample">
    <rdfs:domain rdf:resource="#ProvenanceElement"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="version">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="month">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#Publication"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="year">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#Publication"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="queryContent">
    <rdfs:domain rdf:resource="#Query"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="day">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="axiomContent">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#Axiom"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="uri">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#ModelElement"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="lastSubmissionDate">
    <rdfs:domain rdf:resource="#ModelElement"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#date"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="toExpression">
    <rdfs:domain rdf:resource="#TranslationRule"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="hasAnswerPattern">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <rdfs:domain rdf:resource="#Query"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="questionContent">
    <rdfs:domain rdf:resource="#Question"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="hasDischarge">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#InferenceStep"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="fromExpresssion">
    <rdfs:domain rdf:resource="#TranslationRule"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <owl:FunctionalProperty rdf:ID="url">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="firstSubmissionDate">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#date"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:domain rdf:resource="#ModelElement"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="name">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="verificationMethod">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:domain rdf:resource="#MethodRule"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="englishDescription">
    <rdfs:domain rdf:resource="#ProvenanceElement"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="englishDescriptionTemplate">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:domain rdf:resource="#InferenceRule"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="variable">
    <rdfs:domain rdf:resource="#VariableMapping"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="date">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#date"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="term">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:domain rdf:resource="#VariableMapping"/>
  </owl:FunctionalProperty>
  <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Thing">
    <owl:unionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
      <owl:Class rdf:about="#VariableMapping"/>
    </owl:unionOf>
  </rdf:Description>
</rdf:RDF>

<!-- Created with Protege (with OWL Plugin, Build 71)  http://protege.stanford.edu -->
