;; Regarding discussion at http://groups.google.com/group/chemaxiom/msg/e536f8cb1063e030

(def-uri-alias "solvent" !CHEBI:46787)
(def-uri-alias "benzene" !CHEBI:16716)

(define-ontology benzene-role ()
  (object-property !ro:has_role)
  (class !solvent (label "SolventRole") :partial !snap:Role)
  (class !ChemicalSpecies :partial)
  (class !SolventChemical :complete
	 (intersection-of !ChemicalSpecies 
			  (restriction !ro:has_role (some-values-from !solvent))))
  (class !benzene (label "Benzene") :partial
	 (intersection-of !ChemicalSpecies 
			  (restriction !ro:has_role (some-values-from !solvent))))
  (individual !benzeneMolecule1 (type !ChemicalSpecies)
	      (value !ro:has_role (individual !aSolventRole (type !solvent))))
  (individual !benzeneMolecule2
    (type (intersection-of !ChemicalSpecies 
			   (restriction !ro:has_role (some-values-from !solvent)))))
  (individual !benzeneMolecule (type !benzene)))

#|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF [
  <!ENTITY CHEBI "http://purl.org/obo/owl/CHEBI#">
  <!ENTITY example "http://example.com/">
  <!ENTITY example0 "http://example.com/">
  <!ENTITY owl "http://www.w3.org/2002/07/owl#">
  <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
  <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
  <!ENTITY ro "http://www.ifomis.org/bfo/1.1/ro#">
  <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
]>
<rdf:RDF xml:base="&example;"
         xmlns:CHEBI="&CHEBI;"
         xmlns:example0="&example;"
         xmlns:owl="&owl;"
         xmlns:rdf="&rdf;"
         xmlns:rdfs="&rdfs;"
         xmlns:ro="&ro;">

<!-- Ontology Information -->
  <owl:Ontology rdf:about=""/>

<!-- Classes -->
  <owl:Class rdf:about="ChemicalSpecies"/>
  <owl:Class rdf:about="SolventChemical">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="ChemicalSpecies"/>
      <owl:Restriction>
        <owl:onProperty rdf:resource="&ro;has_role"/>
        <owl:someValuesFrom rdf:resource="&CHEBI;CHEBI_46787"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="&CHEBI;CHEBI_16716">
    <rdfs:label rdf:datatype="&xsd;string">Benzene</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="ChemicalSpecies"/>
          <owl:Restriction>
            <owl:onProperty rdf:resource="&ro;has_role"/>
            <owl:someValuesFrom rdf:resource="&CHEBI;CHEBI_46787"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </rdfs:subClassOf>
  </owl:Class>

  <owl:Class rdf:about="&CHEBI;CHEBI_46787">
    <rdfs:label rdf:datatype="&xsd;string">SolventRole</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.ifomis.org/bfo/1.1/snap#Role"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.ifomis.org/bfo/1.1/snap#Role"/>
  <owl:Class rdf:nodeID="b152">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="ChemicalSpecies"/>
      <owl:Restriction>
        <owl:onProperty rdf:resource="&ro;has_role"/>
        <owl:someValuesFrom rdf:resource="&CHEBI;CHEBI_46787"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

<!-- Annotation Properties -->
  <owl:AnnotationProperty rdf:about="&rdfs;label"/>

<!-- Object Properties -->
  <owl:ObjectProperty rdf:about="&ro;has_role"/>

<!-- Instances -->
  <CHEBI:CHEBI_46787 rdf:about="aSolventRole"/>
  <CHEBI:CHEBI_16716 rdf:about="benzeneMolecule"/>
  <example0:ChemicalSpecies rdf:about="benzeneMolecule1">
    <ro:has_role rdf:resource="aSolventRole"/>
  </example0:ChemicalSpecies>

  <rdf:Description rdf:about="benzeneMolecule2">
    <rdf:type rdf:nodeID="b152"/>
  </rdf:Description>
</rdf:RDF>
|#