<!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>BOWiki: ontology-based semantic wiki with ABox reasoning</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Joshua Bacher</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Robert Hoehndorf</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Janet Kelso</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Computer Science, Faculty of Mathematics and Computer Science, University of Leipzig</institution>
          ,
          <addr-line>Johannisgasse 26, 04103 Leipzig</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Department of Evolutionary Genetics, Max Planck Institute for Evolutionary Anthropology</institution>
          ,
          <addr-line>Deutscher Platz 6, 04103 Leipzig</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Institute for Logics and Philosophy of Science, Faculty of Social Science and Philosophy, University of Leipzig</institution>
          ,
          <addr-line>Beethovenstrasse 15, 04107 Leipzig</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Research Group Ontologies in Medicine (Onto-Med), Institute of Medical Informatics, Statistics and Epidemiology (IMISE), University of Leipzig</institution>
          ,
          <addr-line>H ̈artelstrasse 16-18, 04107 Leipzig</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Claim. This paper presents the semantic wiki BOWiki, that uses a ontology to verify the content of semantical dat added by the user. The BOWiki is a semantic Wiki, designed to eliminate the need for costly and time consuming manual expert database curation, while providing users with an automated reasoning system to verify the consistency of newly added content to the knowledgebase (KB). A semantic wiki built on an ontological foundation can provide users with information about particular types of entities and how they relate to one another. Automated reasoners can be adapted for use within an ontologically based semantic wiki, in order to verify whether newly submitted information is consistent with existing KB content, prior to incorporating the new information into the KB [5]. The reasoner is also useful for querying the data. The BOWiki combines an ontologically based semantic wiki with an automated Pellet reasoner to deliver users a collaboratively curated and consistent KB. Although originally targeted to serve the biological community, the BOWiki can be used in any domain. The BOWiki is an extension of the MediaWiki and comprised of 4 parts (a figure is accessible online1: (a) the BOWiki software extension, (b) the BOWikiserver, (c) the BOWiki database extension and (d) an OWL-DL ontology. The BOWiki extension to the MediaWiki is the main application component. It both displays data and interacts with the user. The BOWiki extension communicates with the BOWikiserver over a custom-designed protocol. The BOWikiserver classifies the content in the BOWiki's current KB and has the capacity to reason over the KB. For this purpose, the BOWikiserver uses the Jena 2 Semantic Web Framework [1] and currently employs the Pellet OWL Reasoner [4]. The database extension provides persistent storage of the BOWiki's KB, which enables revovery of</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1 See http://onto.eva.mpg.de/pub/eswc-misc/</title>
      <p>the KB content in the event the BOWikiserver fails. During the BOWiki setup,
when the BOWiki is initialized, an OWL-DL ontology must be imported into
the BOWiki.</p>
      <p>
        The BOWiki markup plays an important role in the BOWiki’s operations. A
translation between the BOWiki markup and OWL [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] is available online1. It
illustrates how it is translated from BOWiki syntax into appropriate OWL
Syntax. During installation, an OWL-DL ontology must be chosen for importing.
The types and binary relations used in these extensions come from an OWL-DL
ontology [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ], which must be imported into the BOWiki during setup. In addition
to this markup the BOWiki allows for inline queries2. When a wikipage is
modified and one of the BOWiki markup extensions is used, the newly submitted
data is immediately processed by the BOWikiserver and its consistency verified.
Only consistent data is added to the BOWiki’s KB. Inconsistent changes are
rejected, and a notification with an explanation of the inconsistency is provided
to the user. The BOWiki further includes several features intended to help users
with basic functionality: special pages allow reviewing all relations and all OWL
classes known to the BOWiki’s reasoner; allow importing ontologies in the OBO
flatfile format [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]; rebuilding the KB from data stored in the BOWiki database
and exporting the content of the BOWiki’s KB to OWL. An online tutorial2
guides new users in using the BOWiki.
2
      </p>
      <p>Conclusion
We designed the BOWiki, an extension to the MediaWiki, to enable biologists to
develop a collaboratively curated KB that automatically verifies its ontological
adequacy. As a semantic wiki built on an ontological foundation, the BOWiki
provides its users not only with information about particular entities, but also
tells users how these entities relate to one another. The automated Pellet
reasoner verifies the consistency of newly submitted information to the KB, thereby
avoiding the incorporation of inconsistent information that sometimes plagues
user curated systems.</p>
    </sec>
    <sec id="sec-2">
      <title>2 See http://bowiki.net/wiki/index.php/Tutorial</title>
      <p>5. Denny Vrandecic and Markus Kr¨otzsch. Reusing Ontological Background
Knowledge in Semantic Wikis - From Wikis to Semantics. In Proceedings of the First
Workshop on Semantic Wikis, 2006.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Jeremy</surname>
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Carroll</surname>
            , Ian Dickinson, Chris Dollin, Dave Reynolds, Andy Seaborne, and
            <given-names>Kevin</given-names>
          </string-name>
          <string-name>
            <surname>Wilkinson</surname>
          </string-name>
          .
          <article-title>Jena: Implementing the Semantic Web Recommendations</article-title>
          .
          <source>Technical Report HPL-2003-146</source>
          ,
          <string-name>
            <surname>Hewlett</surname>
            <given-names>Packard</given-names>
          </string-name>
          , Bristol, UK,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>Christine</given-names>
            <surname>Golbreich</surname>
          </string-name>
          and
          <string-name>
            <given-names>Ian</given-names>
            <surname>Horrocks</surname>
          </string-name>
          .
          <article-title>The OBO to OWL mapping, GO to OWL 1.1! In Proc. of the Third OWL Experiences</article-title>
          and Directions Workshop, number 258 in CEUR (http://ceur-ws.
          <source>org/)</source>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Deborah L. McGuinness</surname>
          </string-name>
          and Frank van Harmelen.
          <article-title>OWL Web Ontology Language Overview</article-title>
          .
          <source>W3C Recommendation</source>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>Evren</given-names>
            <surname>Sirin</surname>
          </string-name>
          , Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and
          <string-name>
            <given-names>Yarden</given-names>
            <surname>Katz</surname>
          </string-name>
          .
          <article-title>Pellet: A practical OWL-DL reasoner</article-title>
          .
          <source>Journal of Web Semantics</source>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>