<!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>E cient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Benchmark Infrastructure</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Design Guidelines</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Daniel Luddecke</string-name>
          <email>daniel.lueddecke@volkswagen.de</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Christoph Seidl</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ina Schaefer</string-name>
          <email>i.schaeferg@tu-braunschweig.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Technische Universitat Braunschweig</institution>
          ,
          <addr-line>38106 Braunschweig</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Volkswagen AG, Group Research</institution>
          ,
          <addr-line>38440 Wolfsburg</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Context-aware systems, such as in-car infotainment systems, aim at improving the interaction between computers and humans by using contextual information about the system, the user and the environment. Previous work has shown that ontologies have signi cant bene ts for modeling such context-aware systems, e.g., when inferring knowledge. However, the potential performance impact on the overall system when adopting ontologies, especially with rules, to model context-awareness is yet unknown. In this paper, we introduce a benchmark infrastructure and perform benchmarks on multiple ontologies of context-aware systems in order to determine factors that in uence performance. From the results of these benchmarks, we derive guidelines for designing ontologies with rules for context-aware systems. These guidelines allow making conscious decisions about performance trade-o s and, in consequence, may improve suitability of ontologies for use in implementing industrial context-aware systems as they guide the creation of high-performance ontology-based context-aware systems.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Context-aware systems aim at improving the interaction between computers and
humans by using contextual information about the system, the user and their
environment to provide suitable functionality for a particular context. For
example, context-aware in-car infotainment systems may adapt to the respective
drivers, their current situation and their intentions. In such a system, the car
may, e.g., play rock music when the driver was identi ed as being tired. To
realize such change in functionality, contextual values have to be captured and their
e ect on the system has to be speci ed in suitable models. In previous work [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ],
we showed that using ontologies to model context-aware systems has bene
cial qualities, such as logical reasoning (e.g., Pellet Reasoner 1), standardized
APIs (e.g., OWL API for Java2), and extensive tool support (e.g., Protege3).
1 http://www.clarkparsia.com/pellet
2 http://owlapi.sourceforge.net
3 http://protege.stanford.edu
However, depending on the modeling of the context-aware system within the
ontology, using this technology may result in a performance impact on the
overall system, which may be hinder adoption within in-car infotainment systems
as they have an inherent requirement on high performance due to frequent
reasoning on the ontology. In this paper, we address this problem by introducing a
benchmark infrastructure for ontology-based context-aware systems and by
performing benchmarks on various di erently modeled ontologies. From the results
of these benchmarks, we derive design guidelines that may be used to model
high-performance context-aware systems using ontologies.
      </p>
      <p>This paper is structured as follows: In Section 2, we provide background
information on context-aware systems and their modeling. In Section 3, we
introduce the benchmark setup used to inspect the performance of ontology-based
context-aware in-car infotainment systems. In Section 4, we describe the
execution and present the results of our benchmarks by revealing signi cant in uences
certain properties of ontologies have on the performance of the overall system. In
Section 5, we discuss these results and use them to derive design guidelines for
building high-performance ontology-based context-aware systems. In Section 6,
we elaborate on related work. Finally, in Section 7, we summarize the
contributions and provide an outlook to future work to conclude the paper.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Background</title>
      <p>
        Context-aware systems consider contextual values to alter their functionality to
be suitable for a speci c operator in a speci c situation and a particular
environment. Context-aware systems receive low level contextual information (e.g.,
from sensors), process these to high level contextual information and react to the
change in context by altering their functionality appropriately [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Contextual
information includes all values that may have an impact on the change of system
behavior.
      </p>
      <p>
        Context-aware systems from the automotive domain, especially in in-car
infotainment systems, distinguish three main categories of contextual information:
the driver, the car and their environment [
        <xref ref-type="bibr" rid="ref3 ref4">3,4</xref>
        ], e.g., for information such as the
current stress level of the driver, available fuel amount of the car and the
geographical position within the environment, respectively. To utilize contextual
information in computer systems, the respective context values have to be
captured in a speci c model so that they may be processed further. A suitable
notation for modeling context-aware systems are ontologies [
        <xref ref-type="bibr" rid="ref2 ref5">2,5</xref>
        ]. In our
previous work, we exploited bene ts to model context-aware in-car infotainment
systems using ontologies [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] by using the Web Ontology Language (OWL) [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]
with the Semantic Web Rule Language (SWRL) [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] as a rule-based extension
to OWL. This approach allows the development of in-car infotainment systems
that are able to behave di erently with respect to the current situation of the
car, the driver and their environment. The general idea is to use ontologies to
model real world facts as classes of this ontology and relations between those
classes. During run-time, observed data is added as individuals of those classes
to the ontology and reasoning techniques are used to infer knowledge that was
not modeled explicitly during modeling-time. In our industrial practices, we
observed that ontologies mostly vary in two facts: a) the amount of classes used
to model the real world, and b) the use or disuse of SWRL rules. As the
ontology contains all information about input and output data that enters or leaves
the context-aware in-car infotainment system, it can be used to generate various
code fragments that put data into the ontology or receive data from the ontology
during run-time. However, capitalizing on these bene ts by using ontologies may
entail an impact on performance of the overall system due to the complexity of
the necessary computations for reasoning depending on the concrete modeling of
the context within the ontology. Although it may not be necessary for an in-car
infotainment system to react in a range of milliseconds to a changing context,
intense and time-consuming reasoning processes should be avoided to not block
computational resources for other system tasks, which makes the processing of
ontologies performance-critical. To create a suitable design of a context-aware
system using ontologies, a conscious decision about the trade-o between the
aforementioned bene ts and the potential impact on performance is necessary.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Benchmark Setup</title>
      <p>
        Despite the bene ts of modeling context-aware systems with ontologies [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], there
may be a performance impact on the overall system depending on how the
system is modeled within the ontology. However, at the current state, no data exists
on potential performance trade-o s entailed by employing ontologies for
modeling context-aware systems, such as in-car infotainment systems. To remedy
this shortcoming, we devised and performed a benchmark to inspect the
performance impact entailed by various styles of modeling a context-aware system as
an ontology.
      </p>
      <p>In this section, we introduce the software setup that allows benchmarking the
performance of ontology-based context-aware systems. Furthermore, we
elaborate on the procedure to generate random ontologies to diversify the input to
the benchmark in order to determine the performance of ontology-based
contextaware systems.
3.1</p>
      <sec id="sec-3-1">
        <title>Software Architecture</title>
        <p>
          As foundation of the benchmark, we employ a component based architecture.
The respective components are used to represent the individual functions found
in a context-aware system as well as to synthesize data creation and
consumption in the form of mock-ups. As we are using ontologies to understand the
current situation of the user as described in [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ], these components need to be
able to a) add observed data to an active ontology during run-time, b) to
use an ontology's reasoning techniques to infer knowledge during run-time, and
c) to distribute this knowledge within the entire system. Figure 1 is a schematic
Context Data
        </p>
        <p>Source A</p>
        <p>Context Data</p>
        <p>Source B</p>
        <p>Context Data</p>
        <p>Source C
generates
Context
Receiver
Context
Supplier</p>
        <p>Context Management</p>
        <p>Context
Receiver
Context
Supplier</p>
        <p>Context
Receiver
Context
Supplier</p>
        <p>Ontology as
.owl le
Context Data</p>
        <p>Supplier I</p>
        <p>Context Data</p>
        <p>Supplier II</p>
        <p>Context Data
Supplier III
generates
overview of the software architecture used for executing benchmarks based on
such software components.</p>
        <p>Context Data Sources provide contextual information in a generic format for
the Context Management. The Context Management loads the model in terms
of an ontology saved in the OWL le format and creates individuals within the
provided ontology for each contextual information sent by any Context Data
Source and updates these individuals whenever it receives new data. Hence,
the number of individuals will never exceed the number of classes within the
ontology. Afterwards, the Context Management starts reasoning on the ontology
to infer knowledge, e.g., the Context Management could reason about the driver's
condition based on his or her interaction with the car. For this purpose, the
benchmark infrastructure uses the Pellet Reasoner. In a last step, the Context
Management queries the ontology for added inferred knowledge and noti es the
corresponding Context Data Supplier of any changes.</p>
        <p>
          As described in [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ], a mapping between Context Data Sources and an ontology
is used to ensure that sensor data can be added to the ontology during run-time.
This mapping is done by annotating classes of the ontology. Classes that are
annotated with the name of a Context Data Sources are called Input Classes
and represent incoming data to the ontology. Classes that are annotated with
the name of a Context Data Supplier are called Output Classes and represent
description of the current situation, e.g., whether the driver is tired or awake.
        </p>
        <p>When the Context Management launches, it creates generic Context Receivers
that establish connections to every Context Data Source. In addition, names of
Context Data Suppliers are attached to every Output Class de ned within the
ontology. Hence, the Context Management can again create generic Context
Suppliers that establish connections to their corresponding Context Data Supplier
during run-time.
3.2</p>
      </sec>
      <sec id="sec-3-2">
        <title>Input Data</title>
        <p>
          It is our intent to benchmark a wide variety of ontologies for context-aware
systems following di erent design approaches. Furthermore, to reliably determine
the impact of di erent design approaches on performance, a signi cant size of
an ontology is required, which exceeds the size of the case studies used in our
previous work [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ].
        </p>
        <p>For these reasons, we decided to devise a generation algorithm for
ontologies following di erent design approaches that have may be varied in size.
Furthermore, we also created a procedure to generate appropriate software
components that are used to interact with the ontology during run-time, e.g., Context
Data Sources and Context Data Supplier. Our ontology generation algorithm is
aligned with best practices of ontologies that were created by domain experts of
ontology-based context-aware in-car infotainment systems during several
industrial projects.</p>
        <p>Ontology Generation To ensure that the results measured from our
benchmark are not speci c to a particular design approach for ontologies, we decided
to generate several ontologies following di erent design approaches. For
example, we align the depth of the inheritance hierarchy with our experience from
industrial practice but allow parametrization of the number of direct subclasses.
These are automatically generated with respect to a set of manually de ned
parameters:
{ the amount of Input and Output Classes
{ the amount of SWRL rules used for reasoning
Using these parameters, we are able to create a wide variety of ontologies that
can be used as input to the benchmark as well as to generate Context Data
Sources and Context Data Supplier. We assured that the generated ontologies
closely resemble our industrial modeling practices for ontologies in a
contextaware in-car infotainment.</p>
        <p>Code Generation The basic implementation of the benchmark architecture
presented in Figure 1 is provided as generic components, such as the Context
Management, which can be reused in various scenarios. To further benchmark
concrete context-aware systems based on ontologies, we generate Context Data
Sources and Context Data Supplier from a speci ed ontology. During run-time,
the generated Context Data Sources re data change events for each of their Input
Classes in arbitrary intervals to ensure a constant system load. Context Data
Suppliers receive noti cations whenever one of their Output Classes was inferred
by the Context Management. Hence, the model and every software component of
our benchmark are either generic or automatically generated by a corresponding
code/ontology generator.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Execution and Results</title>
      <p>Using the previously described setup, we performed benchmarks for various
different ontologies. This section elaborates on the method of execution for the
benchmarks and presents the respective results regarding the performance of
using ontologies to model context-aware systems.
4.1</p>
      <sec id="sec-4-1">
        <title>Execution</title>
        <p>We make two assumptions how an ontology's size and the amount of SWRL
rules used for reasoning may in uence the performance of the overall system:
Assumption 1: An ontology's size has a negative e ect on the performance of
the overall system. Bigger ontologies are expected to slow down the system
performance.</p>
        <p>Assumption 2: The number of SWRL rules used for reasoning has a
negative impact on the performance of the overall system. Ontologies with more
SWRL rules are exected to slow down the system performance. However, to
renounce on SWRL rules would massively limit expressiveness of our model
of contextual information.</p>
        <p>To check these assumptions, we create two metrics representing two di erent
time frames during run-time of an ontology-based context-aware system:
{ Reasoning Time: The time it takes the Pellet Reasoner to do the reasoning
on the ontology during run-time.
{ Query Time: The time that is needed to query the ontology for inferred
knowledge and to notify a Context Data Supplier.
4.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>Assumption 1</title>
        <p>To check our rst assumption, we generated multiple ontologies of di erent sizes
(i.e., 10, 50, 100, 150 and 200 classes). For each size, we generated three
ontologies. Every one of these was stressed in three separate runs by receiving data
from three di erent Context Data Sources. We stopped the recording as soon as
the reasoning had made 1; 000 cycles.</p>
        <p>Figure 2a shows that the reasoning time of ontologies increases exponentially
with an increasing size of the ontology. Even more important, the standard
deviation of the reasoning time increases dramatically with size. The maximum
reasoning time that occurred during our benchmark of ontologies with 200 input
classes was as high as 2; 128:0ms and the minimum was as low as 1:0ms by a
mean of 16:74ms. The standard deviation was at 29:56ms. This implies, that
the reasoning time of larger ontologies cannot be predicted as accurately as that
of smaller ontologies.</p>
        <p>Figure 2b shows a signi cant increase of mean query time as well as its
standard deviation. This means that it takes much more time to query larger
(c) Mean reasoning time and standard deviation compared to ontologies with and
without SWRL rules.
ontologies for inferred knowledge than it takes for smaller ontologies. In addition,
the accuracy of predictions regarding the required query time deteriorates with
the size of an ontology as can be seen by the high standard deviation. For
ontologies with 200 classes, we measured query times between 20ms and 12; 765ms
at a mean of 2472ms and a standard deviation of 1514ms.
To check our second assumption, we compared the execution time of the
previously used ontologies with that of similar ontologies without rules. For this
purpose, we removed all SWRL rules from all three ontologies of size 100 and
again performed 1; 000 reasoning cycles in three separate runs.</p>
        <p>Figure 2c compares the results of ontologies with and without SWRL rules.
The results show that the existence of SWRL rules does not have any signi cant
e ect on the reasoning time of an ontology. The mean reasoning time is almost
una ected (4:283ms with SWRL rules compared to 4:279ms without SWRL
rules) and standard deviation increases only slightly when using SWRL rules
(7:636ms with SWRL rules compared to 7:044ms without SWRL rules). We
also recorded a higher maximum value when reasoning ontologies with SWRL
rules (531ms with SWRL rules compared to 369ms without SWRL rules).
5</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Discussion and Design Guidelines</title>
      <p>In this section, we discuss the implications of the results of our benchmarks
presented in Section 4. Furthermore, we use the insights gained from these
results to derive guidelines for the modeling of high-performance ontology-based
context-aware in-car infotainment systems.</p>
      <p>For one, the benchmark results show that the reasoning time increases
signi cantly with the number of classes in the ontology, which may lead to a bad
performance of the overall system as the reasoner blocks computational resources
during reasoning. Hence, our rst assumption can be con rmed. Furthermore,
the results also show that SWRL rules within ontologies do not have any signi
cant impact on the overall system performance as mean and standard deviation
are very close with and without SWRL rules. Hence, our second assumption
cannot be con rmed. This provides liberty to modelers creating an ontology-based
context-aware in-car infotainment system with regard to using SWRL rules in
their ontologies and, hence, build even more powerful ontologies.</p>
      <p>Derived from the performed benchmarks and presented results, we de ne
the following design guidelines for modeling high-performance ontology-based
context-aware in-car infotainment systems.</p>
      <sec id="sec-5-1">
        <title>Guideline 1: Reconsider an ontology's number of classes.</title>
        <p>
          As our benchmark results have shown, an increasing number of classes within
an ontology has a negative impact on the performance of an ontology-based
context-aware in-car infotainment system. In absolute terms, we were pleasantly
surprised that the Pellet Reasoner performed su ciently well even with larger
ontologies. However, at the current time, the overall approach for modeling
incar infotainment systems based on ontologies presented in [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] requires signi cant
amounts of time when querying the ontology for inferred knowledge. Hence, we
advise to carefully assess the necessity of each class in an ontology due to the
potential performance impact.
        </p>
      </sec>
      <sec id="sec-5-2">
        <title>Guideline 2: Divide and conquer.</title>
        <p>If the context-aware in-car infotainment system depends on a large amount of
contextual information that is the basis for reasoning, an ontology and, there
exist distinct groups of contextual information without any connections between
them, it is well advised to avoid modeling a single monolithic ontology. To
improve the performance of reasoning, the ontology should be split up over multiple
constituent ontologies that contain elements with particularly high cohesion but
only reference the ontologies that contain elements with less cohesion (in respect
to the rst ontology). Especially on a multi-core hardware, the overall system
performance would bene t, as the Pellet Reasoner currently does not to seem
to automatically optimize reasoning for systems with more than one CPU core.
For context-aware in-car systems, a suitable structuring of ontologies might be
aligned with the aforementioned distinction of contextual information regarding
the driver, the car and the environment.</p>
      </sec>
      <sec id="sec-5-3">
        <title>Guideline 3: Feel free to use SWRL rules.</title>
        <p>
          Our benchmark results show that SWRL rules only have a marginal impact on
the performance of an ontology-based context-aware in-car infotainment system.
In consequence, this means that the approach presented in [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] can be used to
build high-performance and expressive ontologies with rules. Especially in our
automotive domain it is bene cial to have a range of expressive possibilities
without a loss of performance.
        </p>
        <p>Following these guidelines, the modeler of a context-aware in-car
infotainment system may capitalize on ontologies with rules for a both powerful and
high-performance system.
6</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Related Work</title>
      <p>
        Several di erent types of context models can be found in the literature. An
overview is provided in the survey paper by Strang and Linnho -Popien [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] as
well as the survey paper by Bettini et al. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Furthermore, benchmarks of
ontologies can be found in literature. A well-known benchmark for ontologies including
ontology generation is LUBM [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. However, from our point of view, LUBM lacks
support for generated random ontologies. Furthermore, LUBM does not support
generating SWRL rules, which are crucial in our industrial practices. Weithoner
et al. derived requirements for future benchmarks to make them more useful for
developers of ontology-based systems [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. There is also work in the literature
that claims that current reasoners are not su ciently fast for the intended use
cases [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] and work that tries to optimize current reasoners [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. More recently,
there has also been work on how to predict the performance of a certain
ontology [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. We think, that predicting the performance can give a good indication
but will not be a substitute for a benchmark as presented in this paper.
7
      </p>
    </sec>
    <sec id="sec-7">
      <title>Conclusion</title>
      <p>In this paper, we introduced a benchmark infrastructure to inspect the
performance of modeling context-aware systems using ontologies. We presented a
generator for plausible ontologies and associated source code, which both
respect design principles derived from industrial practice. We performed multiple
benchmarks on various di erent ontologies and derived guidelines for the design
of ontology-based context-aware systems. With these guidelines, we intend to
foster the adoption of ontologies by providing means for modeling and
implementing high performance context-aware systems based on ontologies, such as
in-car infotainment systems.</p>
      <p>In our future work, we will optimize querying ontologies for inferred
knowledge, as this seems to be the major issue when aiming for a high-performance
ontology-based context-aware system. In addition, we will investigate other
properties of ontologies that potentially have an impact on the overall system
performance, such as the depth of the inheritance hierarchy in the ontology. Finally, we
will evaluate the accuracy of the benchmark results within an industrial setting.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1. D. Luddecke, N. Bergmann,
          <string-name>
            <surname>and I. Schaefer</surname>
          </string-name>
          , \
          <article-title>Ontology-based modeling of contextaware systems,"</article-title>
          <source>in Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, ser. Lecture Notes in Computer Science</source>
          . Cham: Springer International Publishing,
          <year>2014</year>
          , vol.
          <volume>8767</volume>
          , pp.
          <volume>484</volume>
          {
          <fpage>500</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>C.</given-names>
            <surname>Bettini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Brdiczka</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Henricksen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Indulska</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Nicklas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ranganathan</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D.</given-names>
            <surname>Riboni</surname>
          </string-name>
          , \
          <article-title>A survey of context modelling and reasoning techniques,"</article-title>
          <source>Pervasive and Mobile Computing</source>
          , vol.
          <volume>6</volume>
          , no.
          <issue>2</issue>
          , pp.
          <volume>161</volume>
          {
          <issue>180</issue>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>H.</given-names>
            <surname>Winner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Hakuli</surname>
          </string-name>
          , and G. Wolf, Handbuch Fahrerassistenzsysteme: Grundlagen,
          <article-title>Komponenten und Systeme fur aktive Sicherheit und Komfort</article-title>
          , 1st ed.
          <source>Vieweg+Teubner</source>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>J.</given-names>
            <surname>Scha</surname>
          </string-name>
          <article-title>u ele and T</article-title>
          . Zurawka, Automotive Software Engineering, 5th ed. Springer Vieweg,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>T.</given-names>
            <surname>Strang</surname>
          </string-name>
          and C. Linnho -Popien, \
          <article-title>A context modeling survey,"</article-title>
          <source>in Proceedings of the 6th International Conference on Ubiquitous Computing. Workshop on Advanced Context Modelling, Reasoning and Management, ser. Lecture Notes in Computer Science (LNCS)</source>
          , vol.
          <volume>3205</volume>
          . Springer,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>B.</given-names>
            <surname>Motik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P. F.</given-names>
            <surname>Patel-Schneider</surname>
          </string-name>
          , and
          <string-name>
            <given-names>B.</given-names>
            <surname>Parsia</surname>
          </string-name>
          , \
          <article-title>OWL 2 Web Ontology Language: Structural Speci cation</article-title>
          and
          <string-name>
            <surname>Functional-Style Syntax (Second Edition)</surname>
          </string-name>
          ,
          <year>" 2012</year>
          . [Online]. Available: http://www.w3.org/TR/owl-syntax
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>I.</given-names>
            <surname>Horrocks</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P. F.</given-names>
            <surname>Patel-Schneider</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Boley</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Tabet</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Grosof</surname>
          </string-name>
          , and
          <string-name>
            <given-names>M.</given-names>
            <surname>Dean</surname>
          </string-name>
          , \
          <article-title>SWRL: A Semantic Web Rule Language Combining OWL</article-title>
          and RuleML,"
          <year>2004</year>
          . [Online]. Available: http://www.w3.org/Submission/SWRL
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>Y.</given-names>
            <surname>Guo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Z.</given-names>
            <surname>Pan</surname>
          </string-name>
          , and
          <string-name>
            <surname>J.</surname>
          </string-name>
          <article-title>He in, \LUBM: A benchmark for OWL knowledge base systems,"</article-title>
          <source>Web Semantics: Science, Services and Agents on the World Wide Web</source>
          , vol.
          <volume>3</volume>
          , no.
          <issue>2-3</issue>
          , pp.
          <volume>158</volume>
          {
          <issue>182</issue>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9. T. Weithoner, T. Liebig,
          <string-name>
            <given-names>M.</given-names>
            <surname>Luther</surname>
          </string-name>
          , S. Bohm, F. v. Henke, and
          <string-name>
            <given-names>O.</given-names>
            <surname>Noppens</surname>
          </string-name>
          , \
          <article-title>Realworld reasoning with OWL," in The Semantic Web: Research and Applications, ser</article-title>
          . Lecture Notes in Computer Science, E. Franconi,
          <string-name>
            <given-names>M.</given-names>
            <surname>Kifer</surname>
          </string-name>
          , and W. May, Eds. Springer Berlin Heidelberg,
          <year>2007</year>
          , vol.
          <volume>4519</volume>
          , pp.
          <volume>296</volume>
          {
          <fpage>310</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>C.</given-names>
            <surname>Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Park</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.-w.</given-names>
            <surname>Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.-R.</given-names>
            <surname>Jeong</surname>
          </string-name>
          , and S.-g. Lee, \
          <article-title>A comparison of ontology reasoning systems using query sequences,"</article-title>
          <source>in Proceedings of the 2nd International Conference on Ubiquitous Information Management and Communication</source>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Kim</surname>
          </string-name>
          and
          <string-name>
            <given-names>H. J.</given-names>
            <surname>Choi</surname>
          </string-name>
          , Eds.,
          <year>2008</year>
          , p.
          <fpage>543</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <given-names>T.</given-names>
            <surname>Wang</surname>
          </string-name>
          and
          <string-name>
            <given-names>B.</given-names>
            <surname>Parsia</surname>
          </string-name>
          , \
          <article-title>Ontology performance pro ling and model examination: First steps,"</article-title>
          <source>in Proceedings of the 6th International Semantic Web Conference, ser. Lecture Notes in Computer Science</source>
          . Springer Berlin Heidelberg,
          <year>2007</year>
          , vol.
          <volume>4825</volume>
          , pp.
          <volume>595</volume>
          {
          <fpage>608</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Y.-B. Kang</surname>
            ,
            <given-names>Y.-F.</given-names>
          </string-name>
          <string-name>
            <surname>Li</surname>
            , and
            <given-names>S.</given-names>
          </string-name>
          <string-name>
            <surname>Krishnaswamy</surname>
          </string-name>
          , \
          <article-title>Predicting reasoning performance using ontology metrics,"</article-title>
          <source>in Proceedings of the 11th International Semantic Web Conference, ser. Lecture Notes in Computer Science</source>
          . Springer Berlin Heidelberg,
          <year>2012</year>
          , vol.
          <volume>7649</volume>
          , pp.
          <volume>198</volume>
          {
          <fpage>214</fpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>