<!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>OWL: PAX of mind or the AX? Experiences of Using OWL in the Development of BioPAX.</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Joanne S. Luciano</string-name>
          <email>jluciano@genetics.med.harvard.edu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Robert D. Stevens</string-name>
          <email>robert.stevens@manchester.ac.uk</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Genetics, Harvard Medical School</institution>
          ,
          <addr-line>77 Avenue Louis Pasteur,Boston, MA 02115</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>School of Computer Science, Manchester University</institution>
          ,
          <addr-line>Oxford Road, Manchester, M13 9PL</addr-line>
          ,
          <country country="UK">UK</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>This paper argues that several factors conspired to produce a less than optimal OWL version of BioPAX, describes what those factors were, and presents suggestions about a better way to proceed. The BioPAX workgroup agreed to implement BioPAX in OWL-DL and XML-Schema. OWL has a steep learning, and the di culties at the time of its adoption by the BioPAX community were compounded by the lack of tutorials and examples, the lack of tools of any quality, and the general lack of experience. More generally, the BioPAX community found it hard to specify a coherent set of requirements (the fact that there were two camps, one in favor of OWL the other XML Schema, re ected this). The use of OWL was not seen as necessary by all members of the community and it required considerably more work initially than using existing known methods.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>? We would like to thank Christopher Brewster for help preparing this paper.
our new ndings when we discover a new interaction, as well as the places where we look for answers when we
try to nd a new therapeutic drug target. Much basic scienti c research produces pathway data, including
environmental research, energy research, genetic and clinical research, and virtually all of life science research
today. At some point, in all of these areas, the question is asked, \What pathways are involved?" As this
question is fundamental today, it is important to provide a mechanism for access and reuse to these data
and thus enable it to have broad impact for science.</p>
      <p>he major problem for researchers who use pathway databases has been that the representations of
pathway data within these resources are not consistent or interchangeable. This is true both of the conceptual
framework and of the details of encoding. For example, interactions in signaling pathways are described in
terms of a cascade of interacting molecules (or molecular complexes) resulting in a change in some cellular
process in response to some stimuli. Each step in the pathway involves a di erent molecule or molecular
complex. Signaling pathways respond to environmental stimuli, either internal or external to the cell, and
carry a message that causes (signals) a change in the cell's functioning. Contrast this with a metabolic
pathway such as the glycolysis pathway, where one chemical, through a series of precise steps, is transformed into
another chemical. In the glycolysis pathway, glucose is transformed into pyruvate. In signaling pathways, it
is the activation or inhibition of a process, in metabolic pathways, the end product is a transformed chemical
molecule.</p>
      <p>
        At the encoding or syntax level, the representation of a single reaction can be very di erent. In one
database, HumanCyc, the term -D-glucose-6-phosphate is used while in another database, KEGG, the
term -D-Glucose-6P is used. It is clear that we are referring to the same molecule, i.e. the same real world
class of instances, but the vocabulary label used to name these instances di ers and while this di erence is
insigni cant for a human reader, it is signi cant for computational processing. The syntax in KEGG is XML
and a biochemical reaction is de ned as an XML ELEMENT. In KEGG reaction elements have two components,
a substrate and a product. The substrate and product elements each have one required attribute, a name
which is a KEGG identi er. In HumanCyc, a biochemical reaction is represented as an ENZYMATIC-REACTION
in OCELOT [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Ocelot is a frame based system which uses slots LEFT and RIGHT to represent the reactions
participants. At the time BioPAX began, HumanCyc was encoded only in OCELOT syntax which is an
ASCII at- le format.
      </p>
      <p>The consequence of these di erent conceptualizations and encoding standards was that it was impossible
to construct federated queries across databases. It meant that either individual queries were needed for each
database or individual parsers needed to be written. Researchers embarking on a new wet-lab investigation
need to consult a multitude of databases in widely di erent syntaxes. This meant that there was a growing
burden to the researcher in making e ective preparation before continuing their investigations.
2</p>
    </sec>
    <sec id="sec-2">
      <title>The process by which BioPAX came about</title>
      <p>A group of researchers within the molecular biology community recognized the need for these data to be
united in a common language and format and set out to create a standard representation for biological
pathway data that would enable that goal. The group called themselves and their representation BioPAX.
The starting point was to use the existing pathway data that resides in pathway databases. 3 A small team
was assembled and an organizational structure was put in place. Biweekly conference calls were held and
face-to-face meeting venues rotated amongst the workgroup members to distribute travel inconvenience and
costs.
2.1</p>
      <sec id="sec-2-1">
        <title>The Representation Language</title>
        <p>Biological processes are complex and there was concern about what language would be suitable to represent
these complexities. The most prominent exchange format then (and probably still now) were the World
3 When the project began, there were several dozen such databases and this has grown over the years to over 200
now.
Wide Web Consortium (W3C) standards, eXtensible Markup Language (XML), and XML Schema. XML is
a standardized method for marking up text (or data) in an organized way, allowing that text (or data) to
be exchanged between any application that understand the XML standard. XML Schema is a W3C XML
language for describing and constraining the content of XML documents. At the same time, another W3C
standard, OWL, was emerging as a standard for representation of ontologies. Ontologies are formal ways to
describe the relationships among the terms and attributes and can represent knowledge about a domain. In
addition to describing and constraining the content, they describe and constrain how the content elements
relate to each other. The workgroup decided that a representation using a more semantically rich language
was a better and more appropriate choice. In addition to ontologies being machine readable, they enabled
a conceptually higher level of data characterization and processing that included detailed expressiveness in
the relationships de ned and logical inference across those relationships.</p>
        <p>The workgroup discussed their concerns and impact associated with the risks of each decision. OWL was
not yet a standard. What if it were not adopted by the W3C? Would the bene t OWL-DL computability
outweigh the cost of OWL-Full expressivity? There was a plethora of tools for XML and a paucity of tools
for OWL, how much impact would this have on the project? Several within the group knew XML, none knew
OWL.</p>
        <p>\The next topic we discussed was the choice of a syntax language for BioPAX. We saw four viable options:
1) use OWL to design the ontology, use XML Schema for data instances, distribute software that checks if
the XML Schema is valid for a given ontology, 2) use OWL for everything, 3) option 1 with DAML+OIL
instead of OWL, 4) use DAML+OIL for everything. Since OWL was deemed superior to DAML+OIL and
would likely contain comparable tools in the near future, options 1 and 2 received the most attention. ....
After discussing our options, we decided to choose option 2 above (using OWL for everything), but on a
three-week trial basis (REF)." By the next meeting, the workgroup agreed to two parallel versions, one in
OWL and another in XML Schema. It appears that there was confusion about syntax and semantics and
the misapprehension one could translate between OWL and XML Schema in both directions without loss.</p>
        <p>
          The workgroup struggled with these early decisions. Rogers describes the di usion of technological
innovations as involving a number of di erent types of people including early adopters, the late majority and
laggards [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. One of the fundamental challenges of the BioPAX consortium was that it included the whole
range of such participants, from people who were making the innovations in the technology to people who
might be characterized as laggards because of the need to support the existing databases. This presented a
major sociological obstacle to easy progress especially in the early stages of development. Tus it was that
they agreed to disagree and move forward with a proposal to do both, an OWL-DL version and an XML
Schema version4. Readers interested in the topics and discussion details can consult the public minutes of
the BioPAX consortium which are available at their website and wiki (www.biopax.org, biopaxwiki.org)
        </p>
        <p>Ultimately, OWL-DL was developed and released, the XML Schema version was not. Or was it the other
way around? There were several issues with the OWL-DL in the resultant BioPAX OWL (see [4{6]) and it
could be argued that it is really an XML Schema version in OWL's clothing.
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Reasons for choosing OWL</title>
        <p>
          There were a number of further reasons to favor the use of OWL and speci c versions OWL, in this context.
In order to support future uses of pathway data, the BioPAX Workgroup included machine computability
among its design principles[
          <xref ref-type="bibr" rid="ref7">7</xref>
          ]. This resulted in the choice of OWL-DL. OWL-DL enables full use of reasoners
[
          <xref ref-type="bibr" rid="ref8">8</xref>
          ], which are software programs that perform inferences based on Description Logics (DL), a subset of rst
order logic [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ]. Furthermore, OWL-DL enables sound and complete inferencing when used by these software
reasoners [
          <xref ref-type="bibr" rid="ref10 ref11">10, 11</xref>
          ]. Reasoners can read an OWL le and based on the logical axioms of the OWL ontology,
decide whether that set of axioms are logically consistent and, in addition, infer subsumption relationships
that are not explicitly encoded in the ontology. For example, it can infer that a certain molecule is a protein.
This is a signi cant advantage over the other representations in the management of knowledge [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ].
4 Minutes from Menlo Park meeting available at http://www.biopax.org/Docs/2003-02-21_mtgmins.rtf and also
[
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]
        </p>
        <p>
          As OWL was soon to become a W3C recommendation for the standard web ontology language [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ],
OWL satis ed another BioPAX design goal, namely compatibility. BioPAX, wherever possible, would employ
existing standards. In addition, and of great concern to the BioPAX Workgroup was the expressivity of the
language. That is its capacity to represent complex relationships such as those found in biology. For example,
in XML-Schema [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ] or RDF [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ] it is not possible to express that two classes are disjoint; that a molecule
of DNA cannot be a molecule of RNA. It is not possible to express that two classes cannot contain any
members in common; that instances that are of the class DNA are not and cannot be of the class RNA. In
contrast, OWL has, for a Description Logic, a wide range of expressivity for describing constraints on class
membership by instances [
          <xref ref-type="bibr" rid="ref12 ref9">9, 12</xref>
          ].
2.3
        </p>
      </sec>
      <sec id="sec-2-3">
        <title>Mistakes in using OWL</title>
        <p>Due to the participants relative inexperience with respect to OWL a number of mistakes were made early
on. The OWL version of BioPAX exhibited the usual common errors and mistakes due in part to the huge
learning curve and in part to the desire for the XML version, which is one of the common formats for OWL
ontology exports. These included bad conceptualizations and poor use of of OWL.</p>
        <p>{ Bad Conceptualizations: There was confusion about what was being represented, biological processes or
database records of biological processes. The Utility class, a concept used in Java, not in biology, was a
top level node in the BioPAX ontology.
{ Poor Understanding of OWL: The rst release did not include disjoint axioms, there was confusion about
domain and range, open world assumptions and implications, and much of the semantics were captured
in the comments rather than in the ontology. What was said in the ontology, was not what was meant.
For further details concerning technical issues and errors in BioPAX, please consult Luciano and Stevens
(2007).
3</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Social Factors</title>
      <p>There were a number of social factors which made it both possible to create BioPAX initially but also
hindered its development at various stages.</p>
      <p>The goal was to create a public resource for pathway data. People interested in this from the broader
scienti c community were invited to participate. A few had already been thinking about such an initiative.
The present author was a co-organizer of the BioPathways Consortium, and found herself in a unique position
to make a signi cant contribution. She had recently found out from the director of the Department of Energy
that the DOE was prepared to support emerging and enabling technology. Thus it was that the DOE, the
NSF, Dr. Sander (representing the pathway resource initiative) and a number of other researchers in pathways
were brought together. The present author became a paid consultant in the role of community liaison and
wrote the initial grant for the initial BioPAX DOE funds. The role was not one of a stakeholder in the
traditional sense but rather the role was to make sure the community was involved, that the right people
were at the table and their needs met (i.e. their data could be represented, or their tool could be used).</p>
      <p>
        While there was a role as a public face in BioPAX, making presentations to spread the word and get
people involved, most of the work was behind the scenes working individually with research groups around
the world to inform them and invite their participation. At the bi-weekly meetings and face-to-face meetings,
much of the task involved listening and, depending on what said or not said, working to keep things on track.
The author and one other paid consultant met at co ee shops and worked from her home o ce to put in
place the organizational structure and materials that were needed to support, manage, and document the
e ort. The e ort was largely viewed as a success by the global community and many social logistic factors
contributing to that success were presented at Bio-Ontologies in Glasgow [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>Once the decision was made, the focus moved back to representational concerns of the pathway concepts.
OWL was treated as an output format. There were no tools at the time that wrote OWL. The two ontology
tools under consideration were Stanford's Protege Editor and SRI's GKB Editor. We took a vote and the
result was split (this time a more evenly). We went with the GKB Editor because SRI had already invested
in it, didn't have to retrain and agreed to extend it to export in OWL format. The only serious e ort towards
understanding OWL, at the time, was in the Export function. Development was delayed and by the time we
were to release, Protege had just come out with it's OWL Alpha version and so we switched to make our
release deadline. We switched back shortly thereafter, to GKB editor, had to reenter everything and then
had to re-enter everything from the Protege Alpha to the Protege Beta version (these OWL formats were
not compatible). The issue resolved itself when both tools supported OWL.</p>
      <p>
        The community saw the value in BioPAX and while initially there were some sense of competition pathway
models, a wider global community had formed and an increasing number agreed to be BioPAX compliant.
The talk at Bio-Ontologies 2004 in Glasgow captured a lot of what went right with BioPAX[
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. In addition
to interest from the Bio-Ontologies community, BioPAX also received support in the form of exposure from
the semantic web community. Both Tim Berners-Lee and Carole Goble highlighted BioPAX in their plenary
sessions, with Carole urging delegates to seek out BioPAX and help build tools.
4
      </p>
    </sec>
    <sec id="sec-4">
      <title>What went right 5</title>
    </sec>
    <sec id="sec-5">
      <title>Future Outlook</title>
      <p>The community outreach was a big part of the adoption of BioPAX and while it got a lot of details incorrect,
BioPAX brought the wider community together by creating what e ectively is an upper level ontology for
pathways (a level of abstraction that can be used to bring di erent conceptual representation together).
Many of the issues that plagued BioPAX are less of an issue now. For example, now there are multiple
OWL syntaxes to choose from, a selection of tools, both open source and commercial, better support and
methodologies for development and dubbing. However, tools are needed that support ontology developers
to analyze the level and type of complexity of use cases and facilitate development in a staged process
with increasing complexity at each stage. Tools that would support basic requirements rst, controlled
vocabularies, taxonomies, (XML data exchange) then interoperability (SBML/BioPAX) then on to richer
semantics enabling integration, inference, and possibly integrated or in-line rules . Support (and perhaps
encouragement) for coherent requirements are also important to prevent politics and bullying; two camps
equals two solutions, which is not necessary when the only real di erence is in the degree of implementation
- that is data exchange at the XML level (often referred to BioPAX-DX, DX for data exchange on the
biopax-discuss list) can be viewed as a `di erent use case and therefor argument for a separate community'
but it is, at the semantic level, a subset of the full intentions of BioPAX. The BioPAX community was always
heterogeneous , stakeholders after all, have di erent interests and di erent goals vary. They come together in
a community because each one has something to o er or has something to gain and can contribute a unique
perspective. At one point BioPAX had this self image.</p>
      <p>It should be remembered that it was a parallel goal to develop the XML Schema version of BioPAX . This
fell from the o cial agenda but has not been forgotten. The community had originally agreed to support
both formats and it is evident from the user community (as expressed by the mailing list) that there is a
considerable user base for the XML schema version. Furthermore there is no indication that this community
is diminishing.
6</p>
    </sec>
    <sec id="sec-6">
      <title>Conclusion and Lessons Learned</title>
      <p>From this experience and the other lesson's learned, we can see the need to assess the complexity of the
use case, the needs of the community and the capability of the language (and its limitations) as well as
tools available and proceed in a more constructive manner, one in which subsequent levels of complexity are
supported by a sound foundation.</p>
      <p>Then we put forth some notions on levels of complexity and making an argument for evaluation at (at
least) the levels of correct, complete/comprehensive (needed for the task) and utility/e ectiveness.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Karp</surname>
            ,
            <given-names>P.D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Paley</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Integrated access to metabolic and genomic data</article-title>
          .
          <source>J Comput Biol</source>
          <volume>3</volume>
          (
          <issue>1</issue>
          ) (
          <year>1996</year>
          )
          <volume>191</volume>
          {
          <fpage>212</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Rogers</surname>
            ,
            <given-names>E.M.:</given-names>
          </string-name>
          <article-title>Di usion of Innovations. Fifth edition edn</article-title>
          . Free Press, New York, N.Y. (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>Joanne</given-names>
            <surname>Luciano</surname>
          </string-name>
          , J.:
          <article-title>Biopax: Data exchange ontology for biological pathway databases</article-title>
          . In Stevens, R.,
          <string-name>
            <surname>McEntire</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lord</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>James</surname>
          </string-name>
          .A.Butler, eds.
          <source>: Proceedings of the Seventh Annual Bio-ontologies Meeting</source>
          .
          <article-title>(</article-title>
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Luciano</surname>
            ,
            <given-names>J.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stevens</surname>
          </string-name>
          , R.D.:
          <article-title>e-science and biological pathway semantics</article-title>
          .
          <source>BMC Bioinformatics 8 Suppl</source>
          <volume>3</volume>
          (
          <year>2007</year>
          ) S3
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Ruttenberg</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Clark</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bug</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Samwald</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bodenreider</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Chen</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Doherty</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Forsberg</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gao</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kashyap</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kinoshita</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Luciano</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Marshall</surname>
            ,
            <given-names>M.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ogbuji</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rees</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stephens</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wong</surname>
            ,
            <given-names>G.T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wu</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zaccagnini</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hongsermeier</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Neumann</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Herman</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cheung</surname>
            ,
            <given-names>K.H.</given-names>
          </string-name>
          :
          <article-title>Advancing translational research with the semantic web</article-title>
          .
          <source>BMC Bioinformatics 8 Suppl</source>
          <volume>3</volume>
          (
          <year>2007</year>
          ) S2
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Ruttenberg</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rees</surname>
            ,
            <given-names>J.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Luciano</surname>
            ,
            <given-names>J.S.:</given-names>
          </string-name>
          <article-title>Using owl dl for the exchange of biological pathway information</article-title>
          . In Grau,
          <string-name>
            <given-names>B.C.</given-names>
            ,
            <surname>Horrocks</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.</given-names>
            ,
            <surname>Parsia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            ,
            <surname>Patel-Schneider</surname>
          </string-name>
          , P., eds.: OWL:
          <article-title>Experiences and Directions (OWLED</article-title>
          <year>2005</year>
          ).
          <article-title>(</article-title>
          <year>2005</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7. BioPAX workgroup:
          <source>BioPAX { Biological Pathways Exchange Language Level 2, Version 1.0 Documentation. Posted on the BioPAX.org website (December</source>
          <year>2005</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Bechhofer</surname>
          </string-name>
          , S., van
          <string-name>
            <surname>Harmelen</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hendler</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>McGuinness</surname>
            ,
            <given-names>D.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Patel-Schneider</surname>
            ,
            <given-names>P.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stein</surname>
            ,
            <given-names>L.A.</given-names>
          </string-name>
          :
          <article-title>OWL Web Ontology Language reference</article-title>
          .
          <source>W3C Recommendation</source>
          (
          <issue>10 February 2004</issue>
          ) Available at http://www. w3.org/TR/owl-ref/.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Patel-Schneider</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Reducing OWL entailment to description logic satis ability</article-title>
          .
          <source>J. of Web Semantics</source>
          <volume>1</volume>
          (
          <issue>4</issue>
          ) (
          <year>2004</year>
          )
          <volume>345</volume>
          {
          <fpage>357</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          :
          <article-title>The fact system</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Sirin</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Parsia</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          :
          <article-title>Pellet: An owl dl reasoner</article-title>
          . In Haarslev, V., Moller, R., eds.:
          <source>Description Logics. Volume 104 of CEUR Workshop Proceedings., CEUR-WS.org</source>
          (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Stevens</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Aranguren</surname>
            ,
            <given-names>M.E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wolstencroft</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sattler</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Drummond</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horridge</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rector</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Managing owl's limitations in modelling biological knowledge</article-title>
          .
          <source>International Journal of Human-Comptuter Studies</source>
          (
          <year>2007</year>
          )
          <article-title>forthcoming</article-title>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>McGuinness</surname>
            ,
            <given-names>D.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>van Harmelen</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>Owl web ontology language overview</article-title>
          .
          <source>Technical report, W3C - World Wide Web Consortium (January</source>
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Fallside</surname>
            ,
            <given-names>D.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Walmsley</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Xml schema part 0: Primer</article-title>
          .
          <source>Technical report, W3C</source>
          (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Lassila</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Swick</surname>
          </string-name>
          , R.:
          <article-title>Resource description framework (RDF). model and syntax speci cation</article-title>
          .
          <source>Technical report, W3C</source>
          (
          <year>1999</year>
          )
          <article-title>W3C Recommendation</article-title>
          . http://www.w3.org/TR/REC-rdf-syntax.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>