<!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>Querying Life Science Ontologies with SemFacet?</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Bernardo Cuenca Grau</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Evgeny Kharlamov</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Sˇ aru¯nas Marciusˇka</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dmitriy Zheleznyakov</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yujiao Zhou</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Computer Science, University of Oxford</institution>
        </aff>
      </contrib-group>
      <abstract>
        <p>Faceted search is the de facto query paradigm in e-commerce and it has been recently adapted for the Semantic Web. In this demonstration we present our faceted search system SemFacet and show how it can enhance access to RDF and OWL 2 datasets and OWL 2 ontologies in the domain of life sciences. SemFacet combines keyword and faceted search and it is based on a solid theory, in particular it employs novel ontology projection techniques to enable faceted navigation for OWL 2. SemFacet relies on PAGOdA and HermiT for logical reasoning and on JRDFox and Sesame for storing and querying RDF triples.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1 Introduction</title>
      <p>In the last decade numerous RDF datasets and OWL ontologies in the life sciences
domain have become available [4–6]. Accessing the required information, however,
remains a challenging task for end users and often requires proficiency in SPARQL. In
order to make data and ontological knowledge more human accessible numerous query
formulation, data exploration, and browsing tools have been developed. Many such
interfaces have beed tailored for specific life science datasets [6, 7]. More generic systems
typically rely on controlled natural language, [8, 9] diagrammatic query constructors
[10, 11], or exploratory search [12].</p>
      <p>
        Faceted search is the de facto query paradigm in e-commerce applications [
        <xref ref-type="bibr" rid="ref1">13</xref>
        ]. A
facet typically consists of a property (e.g., ‘gender’ or ‘occupation’ when querying
documents about people) and a set of possible string values (e.g., ‘female’ or ‘research’),
and documents in the collection are annotated with property-value pairs. During faceted
search, users iteratively select facet values and the documents annotated according to
the selection are returned as the search result.
      </p>
      <p>Several authors have proposed faceted search for querying RDF, and a number of
systems have been developed [14–18]. Existing systems, however, have been designed
for plain RDF data, and do not take into account ontological axioms other than
subsumption statements between atomic classes and properties [19, 20], with reasoning
playing little or no role. In stark constrast to other domains, life sciences applications
tend to require a great deal of the expressive power available in OWL 2; in particular,
data often involves complex class or property assertions (e.g., see FlyBase [6]) and
ontologies largely consist of complex axioms which encapsulate highly valuable
information for faceted search. As a result, existing faceted search systems are not well-suited
for typical life sciences applications.
? Work supported by the Royal Society, the EPSRC projects Score!, Exoda, and MaSI3, and the
FP7 project OPTIQUE [1–3] under the grant agreement 318338.</p>
      <p>In [21] we developed a faceted search approach for RDF data enhanced with OWL 2
ontologies. Our solution is based on a solid theoretical framework and it addresses
many of the limitations of existing techniques. To put our ideas into practice we
developed SemFacet [21, 22]: a faceted search system that relies on state-of-the-art triple
stores and OWL 2 reasoners to generate and update faceted query interfaces, as well
as for computing search results. For demonstration purposes our platform integrates
JRDFox [23] and Sesame [24] as RDF triple stores, as well as PAGOdA [25] and
HermiT [26] as fully-fledged OWL 2 reasoners. Our system is fully generic and can be
used to query arbitrary data and ontologies. In this demonstration we will show how
SemFacet can be used to access several datasets and ontologies from the domain of life
sciences and illustrate the main advantages of our approach over existing techniques
designed for plain RDF.
2</p>
    </sec>
    <sec id="sec-2">
      <title>The SemFacet System</title>
      <p>SemFacet [27] combines keyword search and faceted navigation to query arbitrary
ontology-enhanced RDF datasets. Our system offers the following main functionality.
– Keyword search. Seach in SemFacet typically starts with a set of keywords, which
are matched against the annotations in the ontology and data.
– Faceted interface generation and update. SemFacet implements dedicated
infrastructure for automatically generating a faceted interface from the result of a
keyword search as well as for updating an interface in response to users’ actions. A
distinguishing aspect of our algorithms for interface generation and update is that
they are ‘guided’ by both explicit and implicit information in the ontology and data
(see [21] for details).
– Query answering. User selections of facet values in an interface are compiled into
SPARQL queries, which are then evaluated against the ontology and data using
a reasoner. Our system allows for both disjunctive facets (i.e., those where
multiple value selections are interpreted disjunctively) and conjunctive facets. Thus,
the SPARQL graph patters relevant to our approach can be captured by the
ANDUNION fragment of SPARQL 1.1. The current version of SemFacet integrates the
following reasoners: Sesame [24] (a widely used system for RDF(S) reasoning),
JRDFox [23] (a parallel in-memory RDF triple store supporting sound and
complete reasoning for OWL 2 RL), HermiT [26] (a standard fully-fledged OWL 2
reasoner), and PAGOdA [25] (a pay-as-you-go reasoner for OWL 2 that combines
JRDFox and HermiT for increased efficiency).
– Refocusing. SemFacet provides functionality for changing the focus of the search
from one type of object to another. For instance, if the system is displaying as search
results neurons that develop from cells, where “develops from” is a facet name and
“cell” is a facet value, we can refocus the search and display as search results the
particular cells that are related to the selected neurons.
– Customisation. Our system is generic and highly customisable for different datasets
and applications. Users can upload arbitrary ontologies and datasets, select the
reasoner to be exploited for faceted navigation and query answering, customise the
kinds of annotations relevant for keyword search, select which facets should be
interpreted disjunctively or conjunctively as well as which facets should be excluded
textualdescription
ismissing
textualdescription
ismissing
textualdescription
ismissing
textualdescription
ismissing
textualdescription
ismissing</p>
      <p>Keyword Based</p>
      <p>Search
KBS
Engine</p>
      <p>Facet
Generator</p>
      <p>Query</p>
      <p>Converter
Inverted Index
e.g. DBpedia
Abstracts</p>
      <p>Triple Store:
Ontology</p>
      <p>Data
RDFOX, PAGOdA, Hermit, Sesame
Snippet
Generator</p>
      <p>Backend
Data and
Reasoning
from the search process, or select what properties are relevant for image thumbnails
and snippets (if any).</p>
      <p>On the left-hand-side of Figure 1 we can see a screenshot of SemFacet with a search
over the Adult Brain Anatomy dataset [4]. The navigation map in the interface enables
refocusing, the filter by section displays the relevant facet names and values, and search
results (i.e., query answers) are displayed on the rightmost part of the interface. The
general architecture of SemFacet including its main software components is summarised
on the right-hand-side of Figure 1.
3</p>
    </sec>
    <sec id="sec-3">
      <title>Demonstration Scenarios</title>
      <p>During the demonstration we will show how to explore and query OWL 2 life science
datasets and ontologies with SemFacet. To this end, we will preconfigure the system
for several test cases, including fragments of FlyBase [6], SNOMED CT [5], as well
as a selection of Bio2RDF [4] datasets. In all cases the input for the search will be a
dataset and an ontology. We will demonstrate the following variants of our algorithms
for interface generation and update.</p>
      <p>– Data driven, where only the data is exploited for interface generation and update.</p>
      <p>This configuration simulates existing approaches to faceted search over RDF.
– Ontology driven, where only the axioms in the ontology are considered. In this
configuration, facet names and values in an interface reflect semantic relationships
between entities in the input ontology.
– Both data and ontology driven, where both the data and ontology are exploited
in interface generation and update. This is the default configuation of SemFacet,
and the aim here is to show how reasoning and ontologies can improve data driven
faceted interfaces and allow for enhanced data exploration.</p>
      <p>Besides querying preconfigured scenarios, the demo attendees will be able to try
SemFacet end-to-end. This would require to load a data set and ontology, to customise the
system parameters, and to query the uploaded ontology and data with the selected
parameters. For the end-to-end test of SemFacet the demo attendees will be able to use
datasets and ontologies either from the preconfigured scenarios or the ones they provide
(of reasonable size), e.g., by downloading them from the Web.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <source>[13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]</source>
          [26]
          <string-name>
            <given-names>E.</given-names>
            <surname>Kharlamov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Giese</surname>
          </string-name>
          ,
          <string-name>
            <surname>E.</surname>
          </string-name>
          <article-title>Jime´nez-</article-title>
          <string-name>
            <surname>Ruiz</surname>
          </string-name>
          , et al.
          <source>Optique</source>
          <volume>1</volume>
          .
          <article-title>0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages</article-title>
          .
          <source>In: ISWC (Posters &amp; Demos)</source>
          .
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <string-name>
            <given-names>E.</given-names>
            <surname>Kharlamov</surname>
          </string-name>
          ,
          <string-name>
            <surname>E.</surname>
          </string-name>
          <article-title>Jime´nez-</article-title>
          <string-name>
            <surname>Ruiz</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Zheleznyakov</surname>
          </string-name>
          , et al.
          <article-title>Optique: Towards OBDA Systems for Industry</article-title>
          .
          <source>In: ESWC (Satellite Events)</source>
          .
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          <string-name>
            <given-names>E.</given-names>
            <surname>Kharlamov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Solomakhina</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Ozcep</surname>
          </string-name>
          , et al.
          <article-title>How Semantic Technologies can Enhance Data Access at Siemens Energy</article-title>
          . In: ISWC.
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          <string-name>
            <given-names>F.</given-names>
            <surname>Belleau</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Nolin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Tourigny</surname>
          </string-name>
          , et al.
          <article-title>Bio2RDF: Towards a mashup to build bioinformatics knowledge systems</article-title>
          .
          <source>In: Journal of Biomedical Informatics 41.5</source>
          (
          <year>2008</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          <string-name>
            <given-names>N.</given-names>
            <surname>Milyaev</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Osumi-Sutherland</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Reeve</surname>
          </string-name>
          , et al.
          <article-title>The Virtual Fly Brain browser and query interface</article-title>
          .
          <source>In: Bioinformatics 28.3</source>
          (
          <year>2012</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          <string-name>
            <given-names>E.</given-names>
            <surname>Franconi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Guagliardo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Trevisan</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Tessaris</surname>
          </string-name>
          .
          <article-title>Quelo: an Ontology-Driven Query Interface</article-title>
          . In: DL.
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          <string-name>
            <given-names>A.</given-names>
            <surname>Bernstein</surname>
          </string-name>
          , E. Kaufmann, A. Go¨hring, and
          <string-name>
            <given-names>C.</given-names>
            <surname>Kiefer</surname>
          </string-name>
          .
          <article-title>Querying Ontologies: A Controlled English Interface for End-Users</article-title>
          . In: ISWC.
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          <string-name>
            <given-names>D.</given-names>
            <surname>Calvanese</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. M.</given-names>
            <surname>Keet</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Nutt</surname>
          </string-name>
          , et al.
          <article-title>Web-based graphical querying of databases through an ontology: the Wonder system</article-title>
          .
          <source>In: SAC</source>
          .
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          <string-name>
            <given-names>A.</given-names>
            <surname>Soylu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. G.</given-names>
            <surname>Skjaeveland</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Giese</surname>
          </string-name>
          , et al.
          <article-title>A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data</article-title>
          .
          <source>In: MTSR</source>
          .
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          <string-name>
            <given-names>S.</given-names>
            <surname>Ferre</surname>
          </string-name>
          ´ and
          <string-name>
            <given-names>A.</given-names>
            <surname>Hermann</surname>
          </string-name>
          . Semantic Search:
          <article-title>Reconciling Expressive Querying and Exploratory Search</article-title>
          . In: ISWC.
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          <string-name>
            <given-names>D.</given-names>
            <surname>Tunkelang</surname>
          </string-name>
          . Faceted Search. Morgan &amp; Claypool Publishers,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          <string-name>
            <given-names>P.</given-names>
            <surname>Fafalios</surname>
          </string-name>
          and
          <string-name>
            <given-names>Y.</given-names>
            <surname>Tzitzikas</surname>
          </string-name>
          .
          <article-title>X-ENS: Semantic Enrichment of Web Search Results at RealTime</article-title>
          . In: SIGIR.
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          <string-name>
            <given-names>R.</given-names>
            <surname>Hahn</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Bizer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Sahnwaldt</surname>
          </string-name>
          , et al.
          <article-title>Faceted Wikipedia Search</article-title>
          . In: BIS.
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          <string-name>
            <given-names>D. F.</given-names>
            <surname>Huynh</surname>
          </string-name>
          and
          <string-name>
            <given-names>D. R.</given-names>
            <surname>Karger</surname>
          </string-name>
          .
          <article-title>Parallax and Companion: Set-based Browsing for the Data Web</article-title>
          .
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          <string-name>
            <given-names>P.</given-names>
            <surname>Heim</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Ziegler</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Lohmann</surname>
          </string-name>
          .
          <article-title>gFacet: A Browser for the Web of Data</article-title>
          . In: IMCSSW.
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          <string-name>
            <given-names>G.</given-names>
            <surname>Kobilarov</surname>
          </string-name>
          and
          <string-name>
            <surname>I. Dickinson.</surname>
          </string-name>
          <article-title>Humboldt: Exploring Linked Data</article-title>
          .
          <source>In: LDOW</source>
          .
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          <string-name>
            <given-names>M.</given-names>
            <surname>Hildebrand</surname>
          </string-name>
          ,
          <string-name>
            <surname>J. van Ossenbruggen</surname>
          </string-name>
          , and
          <string-name>
            <given-names>L.</given-names>
            <surname>Hardman</surname>
          </string-name>
          .
          <article-title>/facet: A Browser for Heterogeneous Semantic Web Repositories</article-title>
          . In: ISWC.
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          <string-name>
            <given-names>M.</given-names>
            <surname>Arenas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B. C.</given-names>
            <surname>Grau</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Kharlamov</surname>
          </string-name>
          , et al.
          <article-title>Faceted Search over Ontology-Enhanced RDF Data</article-title>
          . In: CIKM.
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          <string-name>
            <surname>In</surname>
          </string-name>
          : WWW, Companion Volume.
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          <string-name>
            <given-names>Y.</given-names>
            <surname>Zhou</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Nenov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B. C.</given-names>
            <surname>Grau</surname>
          </string-name>
          ,
          <string-name>
            <surname>and I. Horrocks.</surname>
          </string-name>
          <article-title>Complete Query Answering over Horn Ontologies Using a Triple Store</article-title>
          . In: ISWC.
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          <string-name>
            <given-names>B.</given-names>
            <surname>Glimm</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.</given-names>
            <surname>Horrocks</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Motik</surname>
          </string-name>
          , et al.
          <source>HermiT: An OWL 2 Reasoner. In: Journal of Automated Reasoning 53.3</source>
          (
          <year>2014</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>