<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Representing Chemicals using OWL, Description Graphs and Rules</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Janna Hastings</string-name>
          <email>hastings@ebi.ac.uk</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Michel Dumontier</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Duncan Hull</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Matthew Horridge</string-name>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Christoph Steinbeck</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ulrike Sattler</string-name>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Robert Stevens</string-name>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Tertia Horne</string-name>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Katarina Britz</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Carleton University</institution>
          ,
          <country country="CA">Canada</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>European Bioinformatics Institute</institution>
          ,
          <country country="UK">UK</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Meraka Institute</institution>
          ,
          <country country="ZA">South Africa</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>University of Manchester</institution>
          ,
          <country country="UK">UK</country>
        </aff>
        <aff id="aff4">
          <label>4</label>
          <institution>University of</institution>
          <country country="ZA">South Africa</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Objects can be said to be structured when their representation also contains their parts. While OWL in general can describe structured objects, description graphs are a recent, decidable extension to OWL which support the description of classes of structured objects whose parts are related in complex ways. Classes of chemical entities such as molecules, ions and groups (parts of molecules) are often characterised by the way in which the constituent atoms of their instances are connected via chemical bonds. For chemoinformatics tools and applications, this internal structure is represented using chemical graphs. We here present a chemical knowledge base based on the standard chemical graph model using description graphs, OWL and rules. We include in our ontology chemical classes, groups, and molecules, together with their structures encoded as description graphs. We show how role-safe rules can be used to determine parthood between groups and molecules based on the graph structures and to determine basic chemical properties. Finally, we investigate the scalability of the technology used through the development of an automatic utility to convert standard chemical graphs into description graphs, and converting a large number of diverse graphs obtained from a publicly available chemical database.</p>
      </abstract>
      <kwd-group>
        <kwd>chemistry</kwd>
        <kwd>ontology</kwd>
        <kwd>description graphs</kwd>
        <kwd>rules</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Objects can be said to be structured when their representation also contains
their parts. While OWL in general can describe structured objects, description
graphs are a recent, decidable extension to OWL which support the description
of classes of structured objects whose parts are related in complex ways [1{3].</p>
      <p>
        Classes of chemical entities such as molecules, ions and groups (parts of
molecules) are often characterised by the way in which the constituent atoms of
their instances are connected via chemical bonds. For example, a cyclic
hydrocarbon such as benzene is characterised as six carbon atoms, each of which is
connected to two other carbon atoms in such a way that it forms a single
cycle (or ring). For various cheminformatics applications, chemical structures are
represented as chemical graphs, comprising of atoms as vertices and bonds as
edges. These can be encoded as connection tables [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>
        A classic chemoinformatic application is chemical classi cation by
comparing all substructures such general descriptions are subsumed by more complex
and re ned substructures. The Web Ontology Language (OWL), as it currently
stands, is incapable of representing the required complex structures,
particularly cycles [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. The chemical graph formalism has previously been reported as
a candidate application for substructure classi cation using description graphs
[
        <xref ref-type="bibr" rid="ref5 ref6">5, 6</xref>
        ].
      </p>
      <p>In this paper, we present a method for transforming chemical graphs into
description graphs, and apply this method to create an OWL knowledge base
of chemical entities enhanced with the structures of the chemical entities as
description graphs. We will consider to what extent the formalism of description
graphs, together with rules for expressing conditionality, supports the type of
reasoning which domain experts would expect from a structure-enhanced
chemical knowledge base, such as classi cation based on chemical structures, and
determination of chemical properties based on the structures. Finally, we assess
the scalability of the technology by evaluating the times taken to reason over
knowledge bases of varying sizes.
2
2.1</p>
    </sec>
    <sec id="sec-2">
      <title>Background</title>
      <sec id="sec-2-1">
        <title>OWL 2, Description Graphs, and Rules</title>
        <p>
          OWL 2 [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ] is the latest release of the Web Ontology Language (OWL) family of
languages. While OWL provides an extensive collection of constructs for
logicbased ontology development, decidability of reasoning problems|e.g., testing
consistency of an ontology, satis ability of classes or computing its inferred class
hierarchy|is obtained by making sure that OWL has a tree model property [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ]:
in a nutshell, that means that every consistent ontology has a model, i.e., a state
of a airs that satis es all axioms in the ontology, whose relational structure looks
like a tree. For this reason, OWL has not traditionally been able to describe
arbitrarily structured objects, but only those which had structures which could be
expressed in the shape of trees. Description Graphs are a formalism which has
been introduced by Motik et al. [1{3] to address this weakness of OWL in
representing structured objects, while still preserving the decidability of reasoning
on ontologies containing such structured objects.
        </p>
        <p>A description graph is a directed graph G = (V; E; ) in which each vertex
i 2 V is labeled with a set of (possibly negated) class names hii; and each edge
hi; ji 2 E is labeled with a set of atomic properties hi; ji. Each description
graph has a main class, which indicates the object whose structure is being
modelled in the graph, and it is this main class that will be used to link to the
remainder of the ontology that the description graph is a part of.</p>
        <p>
          In order to preserve the decidability of reasoning, some important constraints
must be observed within a graph-enhanced knowledge base [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ]. For our purposes,
the most signi cant of these is that the properties which are used in the
description graphs (i.e. the graph edges) must not be referred to in the main ontology
axioms, which is known as the strong separation requirement. The full set of
properties in the knowledge base has thus to be separated into tree properties
and graph properties. This provides a limitation in terms of the possibility for
reasoning over the information encoded in the graphs, as the graph properties
cannot be referred to in OWL axioms, an example of which might be
SubClassOf(has atom only (CarbonAtom or HydrogenAtom)) HydrocarbonMol
        </p>
        <p>Thus chemical classi ciation must be expressed with rules. Further, these
rules must be role-safe, that is, they must not refer simultaneously to properties
used in the graphs and those used in the OWL ontology axioms.</p>
        <p>A graph-extended OWL knowledge base is thus a 4-tuple K = (T; G; P; A)
where T is a set of OWL class axioms, G is a set of description graphs, P is a
set of rules, and A is a set of OWL assertions. T is allowed to refer only to tree
properties, G and P are allowed to refer only to the graph properties, and A is
allowed to refer to both graph and tree properties [1{3].
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Chemical entities and graphs</title>
        <p>At the molecular level, all of matter is composed of atoms of di erent kinds
(such as Carbon and Oxygen) joined together through chemical bonds of di
erent strengths. Covalent bonds (the strongest kind of chemical bond) join atoms
together into composite units called molecules. Chemical entities are usually
categorised into chemical classes by virtue of sharing common substructure or
activity. An example of a chemical class is `carboxylic acids', which groups together
all molecules that share the important carboxy functional group and therefore
hold the disposition to behave similarly in certain chemical reactions involving
that group.</p>
        <p>
          The structure of a molecule is nicely represented by a chemical graph, which
describes the atomic connectivity within a molecule in terms of labelled nodes
for the atoms or groups within the molecule, and labelled edges for the (usually
covalent) bonds between the atoms or groups [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ]. The chemical graph formalism
is widely used in the eld of cheminformatics to calculate many properties of
chemical entities. Chemical graphs are encoded in a variety of standard formats,
prominent among which is the MOLFile connection table-based format [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ].
3
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Methods</title>
      <p>
        The purpose of our experiment is to evaluate the utility and scalability of
description graphs and rules for the representation of, and reasoning over,
chemical structures. The knowledge base6 consists of i) a simple ontology describing
classes pertaining to chemical entities, ii) auto-generated description graphs from
structures in the ChEBI database, and iii) rules for structure-based classi cation.
We used the HermiT [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] reasoner7 for reasoning about the ontology, description
graphs and rules [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. ChEBI [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ] was used as a source for chemical structures,
which were parsed using the Chemical Development Kit [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ].
      </p>
      <p>Our evaluation criteria considers the following three aspects expected by
domain experts:
{ Can chemical entities be classi ed based on their substructures?
{ Can basic chemical properties be determined from the description graphs?
{ How scalable is the resulting knowledge base?
We now describe the structure of the implemented knowledge base.
3.1</p>
      <sec id="sec-3-1">
        <title>Ontology</title>
        <p>At the root of the ontology is the node `chemical entity', beneath which are nodes
for the primary division in kind of entity, namely `group', `atom', `molecule',
and `ion'. `Atom' is further divided into the concrete types of atoms as per the
periodic table, such as `carbon atom' and `oxygen atom'.</p>
        <p>An illustration of the overall structure of the core terms of the ontology is
shown in Figure 1.
3.2</p>
      </sec>
      <sec id="sec-3-2">
        <title>Description Graphs</title>
        <p>
          Description graphs were automatically generated8 from a MOL le connection
table format [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ]. The standard MOL le format consists of an atom table, which
provides information about the atoms included in the molecule such as their
types, and a bond table, which provides information about the bonds included
in the molecule such as which atoms they connect and their order (single, double,
etc.).
        </p>
        <p>Each description graph consists of a vertex for the description graph main
class which is a subclass of `molecule' in the ontology, a vertex for each atom
which is a subclass of the atom type e.g. `carbon atom' in the ontology, and
a vertex for each bond which is a subclass of the bond type in the ontology
e.g. `single'. Each atom vertex is connected to the molecule by the has atom
property. Atom vertices are associated with bonds with has bond. Figure 2 shows
an illustration of the description graph for cyclobutane.
6 Ontology availabe in two les, the main ontology at
http://www.ebi.ac.uk/~hastings/owled2010/chemistry dgs ontology.owl and the
graphs at http://www.ebi.ac.uk/~hastings/owled2010/chemistry dgs graphs.owl
7 Version 1.2.2 with slight customisation for input and output of graphs which is
currently only partially supported by the HermiT library and the OWL API.
8 Our software for this experiment is available in source and binary at
http://www.ebi.ac.uk/~hastings/owled2010/descgraphs.zip</p>
        <p>The vertices (but not the properties) of the description graphs are also
classi ed in the main OWL ontology. The main class is classi ed beneath `molecule'
in the main ontology, the atoms beneath `atom' and the bonds beneath `bond'.
We implemented rules to classify chemical structures based on their
composition and their connectivity. Rules were devised for the classi cation of cyclic
compounds, which contained a cycle of connected atoms.</p>
        <p>For example, a rule to determine cycles of length three atoms is (slightly
simpli ed for readability, the full generated version also includes DifferentFrom
statements to ensure non-trivial cycles)</p>
        <p>Rules were also devised to determine parthood between chemical structures.
If all atoms of A are atoms of B, and all bonds of A are bonds of B, then
A is a subgraph of B. The term group is commonly used to denote arbitrary
chemical parts, while the terms molecule, ion and so on refer to entire (complete)
structures. Rules were devised for each group so as to identify these groups in the
molecule. However, a consequence of the strong separation requirement is that
a single rule cannot refer to both graph properties and tree properties. For this
reason, even if we determine that a given graph is a subgraph of another graph,
we cannot assert a relationship such as has part between the two main classes
at the ontology level. A workaround for this is to create a class for every group,
such that if the group's structure is a subgraph of the molecule's structure, then
the molecule can be classi ed as belonging to that class. Rules for parthood
determination are of the form
where M is an arbitrary individual of type molecule; A1 { An are group atoms;
bonds exist between the group atoms Ai1 { Ain and Aj1 { Ajn, and Class is a
class the identity of which depends on the group used to generated the rule, for
example `carboxylic acid' for the `carboxy group'.</p>
        <p>The properties used as the graph edges (has atom, has bond) are available for
use in the rules, as long as a rule does not mix graph properties with properties
used in OWL axioms in the main ontology.</p>
        <p>In the next section, we present the results of reasoning over the knowledge
base.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Results</title>
      <p>Reasoning with the rules over the combined knowledge base resulted in
classication of description graph-enriched classes as cyclic molecules and as classes
containing speci c de ned groups such as carboxylic acids9. We nd this
result positive in terms of overcoming the previously explicit limitation of OWL
knowledge bases in expressing arbitrarily structured objects at the class level
and performing classi cation based on the structure.</p>
      <p>However, we acknowledge that the types of conditionality that can be
expressed in rules potentially provide the facility for only a limited set of chemical
properties relative to those required by chemists. For example, it is di cult to
express rules that must apply to all atoms from a given molecule's graph without
speci cally naming those atoms, since there is no forAll operator in SWRL.</p>
      <p>To evaluate the performance, we executed reasoning over iteratively
increasing sizes of the knowledge base, both with and without rules. The results are
summarised in Figure 310. We do not attempt to control the size of the graphs
which we randomly selected for inclusion into our knowledge base, but note that
the average size of a molecule in the ChEBI database is around 30 atoms11.</p>
      <p>The scalability of the reasoner against the knowledge base enriched with
desciption graphs appears workable, with reasoning time growing to a maximum
of 23 minutes (1388 seconds) for a knowledge base enriched with 180 graphs.
However, including the graphs alone { without rules { does not allow for any
classi cation based on the information encoded in the graphs. The rules are this
essential to expose the structure in the graphs to the reasoner. Unfortunately,
we nd that reasoning over the knowledge base enriched with graphs and rules
9 The resulting inferred ontology is available at
http://www.ebi.ac.uk/~hastings/owled2010/chemistry dgs inferred.owl
10 Tested on a Dell twin core laptop.
11 Excluding hydrogen atoms, which are commonly implicit, as these can be `added
back' by calculations to determine their predicted positions.
appears to grow very rapidly into unmanageable durations, with the highest
duration that we recorded for a knowledge base enriched with 140 graphs taking
four hours (14380 seconds) to classify. This scalability is a ected dramatically by
the number and complexity of the generated rules, therefore this would appear
to be a limiting factor in following our approach in a more complete fashion,
where many chemical properties and subgraph relations might be reasonably
expected to be included in the same knowledge base.
5</p>
    </sec>
    <sec id="sec-5">
      <title>Discussion</title>
      <p>Our results have shown that it is possible to create a chemical knowledge base
using OWL, description graphs and rules. The main strength of our approach is
the direct encoding of complex structures at the class level in the ontology, and
the encoding of rules for determining properties such as being cyclic, which are
not able to be expressed as OWL axioms. We thereby show that this approach
allows properties to be calculated by the reasoner rather than requiring these to
be pre-computed and added to the asserted hierarchy of the ontology.</p>
      <p>The main weaknesses are the limitations of rules for arbitrary property
encoding and in particular the lack of quanti cation operators; and that there
seems to be a scalability performance problem with using rules in this fashion.
Pragmatically, the performance of the system was not where it would need to
be to handle thousands or even millions of chemical graphs as are included in
public databases. However, if ontologies are restricted to particular sub-domain
areas of limited size, this might not be too much of a limitation.</p>
      <p>
        Other approaches for partially including chemical structural information in
knowledge bases have been described in recent years. Armengol and Plaza (2005)
[
        <xref ref-type="bibr" rid="ref14">14</xref>
        ] describe an ontology-like, formal encoding of chemical structural features
using feature terms. Key to their approach is the representation of the main
structural unit of a chemical entity and then the explicit representation of the
additions and modi cations to that structural unit. However, their knowledge
base is not straightforwardly translatable into OWL and therefore it is not clear
to what extent a comparison can be drawn in terms of conclusions that can be
drawn with a reasoner.
      </p>
      <p>
        The ChEBI ontology is a well known ontology for chemical entities, providing
a deep classi cation according to the physical composition and chemical
structure of chemical entities. While containing an ever-growing number of chemical
entities, ChEBI is maintained entirely by hand, with no automated link
between the structure of the chemicals captured in the chemical database and the
structural de nition of ontology classes. As a result, the ChEBI database has
been able to grow at a much faster rate than the ChEBI ontology, with the
sizes currently12 at around 550000 for the database and 22000 for the ontology.
Chemical structures are exported into the ontology as annotations in the InChI
[
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] format.
      </p>
      <p>
        In 2007, Dumontier and Villaneuva-Rosales developed an OWL ontology for
the classi cation of chemical compounds based on the presence of speci ed
chemical functional groups [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ]. A key aspect of the approach was that tree-like
expressions speci ed the necessary and su cient conditions for functional groups
such that the taxonomy of functional groups would be discovered on reasoning
(thus reducing the burden of curating such an ontology). However, they were
unable to express arbitrary structure at the class level, and they therefore used
SWRL rules to classify instances having more sophisticated structures such as
cycles.
      </p>
      <p>Taking the desiderata of chemical ontology as the ability to center the
knowledge base around an accurate representation of the structures of chemical
entities, and to automatically determine the properties of chemical entities from
those structures within the knowledge base, we nd that the description graphs
and rules extensions to OWL are a big step forward on the standard OWL
language for this purpose.
6</p>
    </sec>
    <sec id="sec-6">
      <title>Conclusion</title>
      <p>Our approach uses OWL, description graphs, and rules to implement a
structureenriched knowledge base for chemicals with classi cation based on the chemical
structures and rules. We see this work as a contribution to the evaluation of new
OWL-related technology towards the requirements of the chemistry application
domain.</p>
      <p>
        Cheminformatics tools and techniques do already exist to detect chemical
properties and subgraphs / graph isomorphisms, and the CDK [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] provides a
well-developed open source library of such algorithms. These well-developed and
optimised graph manipulation algorithms already in widespread use in the eld
of cheminformatics could provide input into the relatively new development of
graph-enriched ontologies.
      </p>
      <p>Next steps will be to investigate whether di erent representation strategies
and/or rule implementations could alleviate the performance overhead in
reasoning with the rules; to implement a system to allow visualisation of the chemical
description graphs being created; to extend the rules to determine several
additional chemical properties; and to investigate the incorporation of a `chemical
datatype' into OWL based on InChI strings.</p>
    </sec>
    <sec id="sec-7">
      <title>Acknowledgements</title>
      <p>We acknowledge the detailed comments from three anonymous reviewers whose
input helped to signi cantly improve the nal result. We further wish to
acknowledge invaluable discussions and suggestions from Kirill Degtyarenko,
Stefan Schulz, Colin Batchelor, and Birte Glimm. This work has been partially
supported by the BBSRC, grant agreement number BB/G022747/1 within the
\Bioinformatics and biological resources" fund.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Motik</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cuenca Grau</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Sattler</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          (
          <year>2008</year>
          )
          <article-title>Structured Objects in OWL: Representation and Reasoning</article-title>
          .
          <source>In Proc. of the 17th International World Wide Web Conference (WWW</source>
          <year>2008</year>
          ), Beijing, China,
          <fpage>21</fpage>
          -
          <lpage>25</lpage>
          April
          <year>2008</year>
          . ACM.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Motik</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cuenca Grau</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Sattler</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          (
          <year>2008</year>
          )
          <article-title>Representing Structured Objects using Description Graphs</article-title>
          .
          <source>In Proc. of the 11th Int. Joint Conf. on Principles of Knowledge Representation and Reasoning (KR</source>
          <year>2008</year>
          ), AAAI Press,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Motik</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cuenca Grau</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Sattler</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          (
          <year>2008</year>
          )
          <article-title>Modeling Ontologies using OWL, Description Graphs, and Rules</article-title>
          .
          <source>In Proc. of the 5th OWLED Workshop on OWL: Experiences and Directions</source>
          , Karlsruhe, Germany,
          <source>October 26-27</source>
          ,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>N. Trinajstic.</surname>
          </string-name>
          (
          <year>1992</year>
          )
          <article-title>Chemical Graph Theory</article-title>
          . CRC Press, Florida, USA.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Glimm</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horridge</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Parsia</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Patel-Schneider</surname>
            ,
            <given-names>P.F.</given-names>
          </string-name>
          (
          <year>2009</year>
          ).
          <article-title>A Syntax for Rules in OWL 2</article-title>
          .
          <source>In Proc. of OWL Experiences and Directions</source>
          <year>2009</year>
          (OWLED
          <year>2009</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Konyk</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>De Leon</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dumontier</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          (
          <year>2008</year>
          )
          <article-title>Chemical Knowledge for the Semantic Web</article-title>
          .
          <year>2008</year>
          .
          <source>Proceedings of Data Integration in the Life Sciences (DILS2008), Lecture Notes in Computer Science. LNBI</source>
          <volume>5109</volume>
          :
          <fpage>169</fpage>
          -
          <lpage>176</lpage>
          , Evry, France.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Grau</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Motik</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Parsia</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Patel-Schneider</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Sattler</surname>
            ,
            <given-names>U</given-names>
          </string-name>
          (
          <year>2008</year>
          )
          <article-title>OWL 2: The next step for OWL</article-title>
          .
          <source>In Journal of Web Semantics, 4:6</source>
          <volume>309</volume>
          {
          <fpage>322</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Vardi</surname>
            ,
            <given-names>M. Y.</given-names>
          </string-name>
          (
          <year>1996</year>
          )
          <article-title>Why Is Modal Logic So Robustly Decidable?</article-title>
          <source>In Proc. DIMACS Workshop</source>
          , volume
          <volume>31</volume>
          , pages
          <fpage>149184</fpage>
          ,
          <year>1996</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9. http://www.mdl.com/company/about/history.jsp,
          <source>last accessed April</source>
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Horridge</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Bechhofer</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          (
          <year>2009</year>
          ).
          <article-title>The OWL API: A Java API for Working with OWL 2 Ontologies</article-title>
          .
          <source>In Proc. of OWL Experiences and Directions</source>
          <year>2009</year>
          (OWLED
          <year>2009</year>
          ),
          <string-name>
            <given-names>R.</given-names>
            <surname>Hoekstra</surname>
          </string-name>
          and
          <string-name>
            <given-names>P. F.</given-names>
            <surname>Patel-Schneider</surname>
          </string-name>
          , eds.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Shearer</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Motik</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          (
          <year>2008</year>
          )
          <article-title>HermiT: A Highly-E cient OWL Reasoner</article-title>
          . In Dolbear,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Ruttenberg</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            and
            <surname>Sattler</surname>
          </string-name>
          , U. (Eds.),
          <source>Proceedings of the 5th Workshop on OWL: Experiences and Directions</source>
          , Karlsruhe, Germany, October
          <volume>2627</volume>
          ,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12. de Matos, P.;
          <string-name>
            <surname>Alcntara</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ;
          <string-name>
            <surname>Dekker</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ;
          <string-name>
            <surname>Ennis</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ;
          <string-name>
            <surname>Hastings</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ;
          <string-name>
            <surname>Haug</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ;
          <string-name>
            <surname>Spiteri</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ; Turner,
          <string-name>
            <given-names>S.</given-names>
            ; and
            <surname>Steinbeck</surname>
          </string-name>
          ,
          <string-name>
            <surname>C.</surname>
          </string-name>
          (
          <year>2010</year>
          )
          <article-title>Chemical Entities of Biological Interest: an update</article-title>
          .
          <source>Nucl. Acids Res</source>
          .
          <year>2010</year>
          38:
          <issue>D249</issue>
          {
          <fpage>D254</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Steinbeck</surname>
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hoppe</surname>
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kuhn</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Floris</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Guha</surname>
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Willighagen</surname>
            <given-names>E.L.</given-names>
          </string-name>
          (
          <year>2006</year>
          )
          <article-title>Recent Developments of the Chemistry Development Kit (CDK) - An Open-Source Java Library for Chemo-</article-title>
          and
          <string-name>
            <surname>Bioinformatics</surname>
          </string-name>
          .
          <source>Curr. Pharm. Des</source>
          .
          <year>2006</year>
          ;
          <volume>12</volume>
          (
          <issue>17</issue>
          ):
          <fpage>2111</fpage>
          -
          <lpage>2120</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Armengol</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Plaza</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          (
          <year>2005</year>
          )
          <article-title>An ontological approach to represent molecular structure information</article-title>
          . In J.L.
          <string-name>
            <surname>Oliviera</surname>
          </string-name>
          et al. (Eds.):
          <source>ISMBA</source>
          <year>2005</year>
          , LNBI 3745, pp.
          <fpage>294</fpage>
          -
          <lpage>304</lpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15. http://www.iupac.org/inchi/,
          <source>last accessed April</source>
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Villanueva-Rosales</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Dumontier</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          (
          <year>2007</year>
          )
          <article-title>Describing chemical functional groups in OWL-DL for the classi cation of chemical compounds</article-title>
          .
          <source>OWL: Experiences and Directions (OWLED</source>
          <year>2007</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>