<!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>Short paper: Using Formal Ontologies in the Development of Countermeasures for Military Aircraft</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Nelia Lombard</string-name>
          <email>nlombard@csir.co.za</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Aurona Gerber</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alta van der Merwe</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>CAIR - Centre for AI Research Meraka CSIR and Univerity of Kwazulu-Natal</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Department of Informatics University of Pretoria</institution>
          ,
          <addr-line>Pretoria</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>This paper describes the development of an ontology for use in a military simulation system. Within the military, aircraft represent a signi cant investment and these valuable assets need to be protected against various threats. An example of such a threat is shoulder-launched missiles. Such missiles are portable, easy to use and unfortunately, relatively easy to acquire. In order to counter missile attacks, countermeasures are deployed on the aircraft. Such countermeasures are developed, evaluated and deployed with the assistance of modelling and simulation systems. One such system is the Optronic Scene Simulator, an engineering tool that is able to model and evaluate countermeasures in such a way that the results could be used to make recommendations for successful deployment and use. The use of formal ontologies is no longer a foreign concept in the support of information systems. To assist with the simulations performed in the Optronic Scene Simulator, an ontology, Simtology, was developed. Simtology supports the system in various ways such as providing a shared vocabulary, improving the understanding of the concepts in the environment and adding value by providing functionality that improves integration between system components.</p>
      </abstract>
      <kwd-group>
        <kwd>Ontology</kwd>
        <kwd>Countermeasure</kwd>
        <kwd>Simulation</kwd>
        <kwd>Design Research</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Military forces consider aircraft as important and expensive assets often
representing huge investments. The protection of these assets is considered to be a
priority by most countries. Protection is needed from various threats and one of
these threats are attacks through enemy missiles such as surface-to-air missiles,
which are relatively cheap and easy to operate, and in addition, widely
available in current and old war-zone areas [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. These surface-to-air missiles are often
complex and they are continually being updated to withstand aircraft
countermeasures. In addition, missile systems di er from one another and the need to
understand how each type of missile reacts in an aircraft engagement is crucial in
the development of aircraft protection countermeasures[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. The development of
these countermeasures is often not possible in real-life situations, and modelling
and simulation are therefore necessary for the development of aircraft protection
countermeasures. Figure 1 illustrates a military aircraft ejecting a are, which
is a speci c type of countermeasure used to protect against missile attacks.
      </p>
      <p>
        Simulation systems model real-world objects and simulate them in an
articial world [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. One such a simulation system is the Optronic Scene Simulator
(OSSIM), which has an application called the Countermeasure Simulation
System (CmSim). CmSim uses models of real world objects such as the aircraft
and the missile, and simulates di erent scenarios to evaluate the behaviour of
these models under di erent circumstances [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Often these evaluations require
substantial computing power and it is not uncommon to wait a few hours for
simulation results.
      </p>
      <p>At present, various problems are experienced when constructing the input
models for CmSim simulations. Because models are used as input into CmSim
simulations, it is necessary to ensure that these models are adequate and accurate
for useful simulations. The input model is adequate when it captures su cient
input variables and context, and a model is accurate when it correctly captures
the input variables and relations. It is for example possible to create input
models that are syntactically correct, but the interaction between the models are not
correctly set up in the simulation and therefore the results have no correlation
with the real world. In addition, di erent users with various roles work with the
system and it is necessary to acquire a common understanding and vocabulary
for the constructs of the models and their characteristics. Furthermore, the
creation of reference models for reuse across the user base would ensure better use
of resources and time.</p>
      <p>
        When investigating possible technologies that support modelling within
information systems, ontologies and ontology technologies feature extensively. One
of the original de nitions for the term ontology is that by Gruber who de ned an
ontology as a formalisation of a shared conceptualisation [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. A formal
conceptualisation is a representation in a formal language of the concepts in a speci c
domain representing a part of the world. Formal ontologies are therefore
ontologies constructed using a formal representation language such as Description
Logics (DL) [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]4. Ontology is also used as a technical term denoting an artefact
that is designed for the speci c purpose of modelling knowledge about some
domain of interest. Typically a domain ontology provides a shared and common
understanding of the knowledge in the chosen domain [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. Given the
characteristics and purpose of ontologies, we decided to investigate the use of an ontology
to address the identi ed needs when constructing CmSim Models.
      </p>
      <p>The remainder of this paper is structured as follow: Section 2 provides some
background of the simulation environment and why it was necessary to build
an ontology, as well as some background on ontologies. Section 3 discusses the
development and nature of Simtology. Sections 4 and 5 discuss the contribution
and conclude the paper in addition to discussing future work, as well as possible
extensions to the ontology.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Background</title>
      <p>One of the largest investments in the military of a country is aircraft. Aircraft
is the target of unfriendly forces in order to weaken the military forces of a
country. These attacks include attacks executed by shoulder-launched missiles,
which are portable, easy to use and relatively easy to acquire. In order to counter
these missile attacks, the military deploy various kinds of countermeasures on
aircraft, and these countermeasures are developed, evaluated and deployed with
the assistance of modelling and simulation systems such as the Optronic Scene
Simulator (OSSIM).
2.1</p>
      <sec id="sec-2-1">
        <title>The Simulation System Environment</title>
        <p>
          CmSim is a software application that is part of the broader Optronic System
Simulation (OSSIM) system [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. OSSIM is an engineering tool used to model and
evaluate the imaging and dynamic performance of electro-optical systems under
diverse environmental conditions. OSSIM are typically used for the following
applications:
{ Development of optronic systems
{ Mission preparation
4 For the remainder of this paper we mean formal ontology when we use the term
ontology
{ Real-time rendering of infra-red and visible scenes
        </p>
        <p>
          CmSim is speci cally designed to do countermeasure evaluation for the
protection of military aircraft. Models of the aircraft, the missile, the
countermeasure and the environment are used to construct a scenario that simulates what
will happen in the real world [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. The models are used as input into CmSim, and
it is necessary to carefully construct these models to get accurate simulations
results. The generation of simulation results are complex and time consuming,
and when inaccurate or faulty input models are used, valuable time is lost.
        </p>
        <p>In order to construct better input models, it is necessary to improve the
understanding of the simulation and the meaning of concepts in the simulation
environment. Users of models often does not know what models exist already, to
what level the models were constructed, and the scenarios that might be possible
in the simulation, and knowledge is not shared between di erent role-players.
The simulation practitioner setting up the simulation scenario might not have
specialist knowledge of how the models interact, and can set up scenarios that
are syntactically correct but do not correlate with the real world scenario. There
is therefore a need to capture the specialised knowledge in reference models that
could be used before the scenario is fed to the simulation. Figure 2 depicts the
di erent role-players that could be involved in the simulation environment.</p>
        <p>
          In order to address the above mentioned needs, we initiated a project based
following the guidelines of design science research (DSR) [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. DSR provides a
research method for research that is concerned with the design of an artefact
that solves an identi ed problem. The creation of an ontology based application
was identi ed as a possible solution to the needs articulated when constructing
OSSIM simulation models. DSR will be described further in Section 3.1. The
next sections brie y introduce background on ontologies in computing.
        </p>
      </sec>
      <sec id="sec-2-2">
        <title>Ontologies and Ontology Tools</title>
        <p>
          The origins of the term ontology could be traced to the philosophers of the
ancient world who analysed objects in the world and study their existence [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ].
Modern ontologies use the principles of the ontology of early philosophers [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ].
Ontologies formally describe concepts, so it is often used to capture knowledge of
a speci c domain. The role of ontologies in a speci c domain are thus generally
de ned by [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] as to:
{ Provide people and agents in a domain with a shared, common understanding
of the information in the domain;
{ Enable reuse of domain knowledge;
{ Explicitly publish domain assumptions;
{ Provide a way to separate domain knowledge from operational knowledge;
and
{ Setting a platform for analysis of the domain knowledge.
        </p>
        <p>
          From the characteristics listed above it is possible to argue that an ontology
may be a solution to the problems experienced in OSSIM simulations. Formal
ontologies are represented in a speci c formal knowledge representation language
[
          <xref ref-type="bibr" rid="ref4">4</xref>
          ]. For building and maintaining Simtology, we adopted Protege 4 constructing
an OWL ontology. [
          <xref ref-type="bibr" rid="ref8 ref9">8, 9</xref>
          ]. Protege is widely used and support for the use of the
editor and the development of ontologies are readily available [10{12]. Protege
bundles reasoners such as Fact++ and Pellet with the environment [
          <xref ref-type="bibr" rid="ref13 ref9">9, 13</xref>
          ] and
we used these reasoners to test for consistency or to compute consequences over
the knowledge base during the development of Simtology [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ].
2.3
        </p>
      </sec>
      <sec id="sec-2-3">
        <title>Ontology Use in Modelling, Simulation and Military Systems</title>
        <p>
          Within computing, modelling and simulation are used to build a representation
of the real world and simulate the behaviour of objects presented in the models
[
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. A simulation system is a speci c application that uses a model as input
and execute a computer program that determines consequences and resulting
scenario information about the system being investigated [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ].
        </p>
        <p>
          Military systems and the knowledge captured therein are complex and
often consist of layered information from di erent sources. To support this view,
Clausewitz, in his book, On War, wrote about military information as follow
[
          <xref ref-type="bibr" rid="ref16">16</xref>
          ]:
'...three quarters of the information upon which all actions in War are
based on are lying in a fog of uncertainty...'
'...in war more than any other subject we must begin by looking at the
nature of the whole; for here more than elsewhere the part and the whole
must always be thought of together...'
        </p>
        <p>
          Furthermore, Mandrick discussed the use of ontologies to model information
in the military environment. According to Mandrick, ontologies in the military
must adhere to the same requirements as ontologies in other domains, as
described in Section 2.2. Important aspects to highlight is the ability of the ontology
to provide a common vocabulary between planners, operators and commanders
in the di erent military communities [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ].
        </p>
        <p>
          At present the adoption of ontologies in the military domain is primarily for
support of command and control in the battle eld, as well as the management of
assets and the sharing of knowledge[
          <xref ref-type="bibr" rid="ref11 ref17">11, 17</xref>
          ]. We also nd ontologies where there is
a need to integrate di erent data sources and the communication between these
data sources [
          <xref ref-type="bibr" rid="ref18 ref19">18, 19</xref>
          ]. Although ontologies are used in the military modelling
and simulation domain, examples are sparse and at present do not support the
construction of input models for systems such as OSSIM. It could be argued that
Simtology will therefore present a unique contribution to military information
management.
3
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Simtology</title>
      <p>
        The development of Simtology was in response to the identi ed needs when
using the Optronic Scene Simulator (OSSIM) [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] to develop countermeasures for
missile attacks on aircraft as discussed in Section 2.1.
3.1
      </p>
      <sec id="sec-3-1">
        <title>The Design and Development Process</title>
        <p>
          The research design adopted for the development of Simtology, was Design
Research (DSR). DSR is a research methodology for the design and construction
of computing artefacts through the use of rigour (the use of fundamental
knowledge) and relevance (basing the development of the artefact on real needs) [
          <xref ref-type="bibr" rid="ref20 ref6">6, 20</xref>
          ].
In this project, the artefact is Simtology, the fundamental knowledge is obtained
from ontology knowledge, and the need is the construction of models for the
OSSIM simulation environment. A DSR execution method that was proposed by
Vaishnavi et al.[
          <xref ref-type="bibr" rid="ref21">21</xref>
          ] is depicted on the left in Figure 3. This method was adopted
for this research project, and the development of Simtology is discussed further
according to the steps in Figure 3.
3.2
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>Awareness and Suggestion</title>
        <p>The rst steps in the design research process is awareness of the problem and
proposing possible suggestions for a solution. The following list summaries the
issues and needs in the simulation system as discussed in Section 2.1 that created
awareness of the problem:
{ Di erent role-players: There are developers, model builders and users
involved in the system. Inconsistencies in the terminology used between
different users often led to frustration and wrong use of concepts. There is lack
of a common vocabulary that is shared by everyone involved in building and
using the system.
{ Model complexity: One of the main characteristics is the ability of the system
to execute models at di erent levels of detail. This poses a problem to users,
when to know at which level of detail a model is implemented at.
{ Reference models: Speci c users that only interact with the system at a
certain level, need more technical insight into model detail to know what is
available in the system. This means that reference models are required that
can de ne domain-speci c concepts to these users.
{ Model Interaction: A simulation consists of a scenario that is built up from
interacting models. The models interact using a set of rules but there is
currently no rules that verify model behaviour when a scenario are constructed.</p>
        <p>
          Previous research e orts in the simulation environment attempted to address
the the need for a standard notation for documentation of the simulation models.
This proved to be problematic and one of the suggestions for further research was
to investigate the use ontologies in the simulation environment. The suggestion
according to the DSR process is therefore that a formal ontology is created to
address the above mentioned needs for the simulation environment.
The ontology was build using the approach followed by the researchers who
develop the Adaptive Methodology [
          <xref ref-type="bibr" rid="ref22">22</xref>
          ], and was chosen for its lightweight,
incremental approach. Figure 3 depicts the development process steps as well as
the alignment with the design process.
{ Scope and Purpose: The rst step is to scope the purpose and the
extent of the ontology. In the case of a domain ontology, the concepts of the
domain must be included. It is not necessary to include all the concepts of
the domain. The level of detail will be determined by the purpose of the
ontology.
{ The Use of Existing Structures: There are several documents, structures
and sources available in the OSSIM simulation environment available to use
in order to gather information to develop the ontology and to, for example,
make a list of the concepts in the simulation. Modelling reports, installation
guides, white papers and technical documentation, as well as the source
code of the system and the documented test point con gurations were used
as input into the ontology development process.
{ The Prototype: The prototype structure is the rst version of the ontology
that is operational. The prototype for the simulation environment contains
only a selected set of components from the domain. The concepts are on a
high level and the nested structures of complex concepts were not included
in the prototype. The prototype was developed in Protege and is illustrated
in Figure 4 on the left.
        </p>
        <p>The prototype is a proof-of-concept and in this project it played an
important role to demonstrate the feasibility of the suggested solution. The
prototype ontology supported the role of an ontology in the simulation system
environment, and supported an ontology as a solution to a shared, common
vocabulary. The tools also provided graphical views of the concepts de ned
in the ontology.
{ Development of the Working Ontology: During this phase the
prototype ontology was expanded by adding concepts from the domain not
previously included in the ontology, as well as developing new functionality. The
working ontology contains a full set of domain concepts that describe the
simulation models and model properties and is called Simtology. The next
section describes Simtology in more detail, as well as how Simtology is used
in CmSim.
3.4</p>
      </sec>
      <sec id="sec-3-3">
        <title>Description of Simtology</title>
        <p>To do a simulation in CmSim, a scenario must be set up to act as input to
the simulation. The scenario consists of various con guration les but the main
le is the scenario le itself, which contains links to all other les necessary to
describe a scenario and the components in it. Although the prototype already
contained enough information to set up basic scenarios, Simtology contains all
the concepts in the domain of CmSim.</p>
        <p>The rst task was thus to expand the prototype to present not only the
basic objects, but all the possible objects in the CmSim domain. The classes
and properties were expanded. The following list describes the concepts and
properties de ned in Simtology.</p>
        <p>{ Concepts: In Simtology, an example of a concept representing all the
individual aircrafts modelled in the simulation environment, is Aircraft. Figure
4 depicts an extract of the top-level concepts de ned in Simtology, where the
concepts were selected to present those in a simulation scenario. The main
concepts in Simtology are the Moving, Observer and Scenario concepts. The
choice of concepts relied heavily on the structure of the simulation con
guration les. Therefore objects of type Moving have speci c behaviour in the
simulation and belong together in a concept.
{ Individuals: Individuals are asserted to be instances of speci c concepts.</p>
        <p>Speci c scenarios can be build by choosing individuals from the ontology
and thus creating an individual scenario.</p>
        <p>ScenarioC130 is an individual of the Scenario concept that uses a speci c
type of aircraft.
{ Object Properties: Object properties are used to link individuals to each
other. In Simtology, a scenario must have a clock object, so having a clock
object is an object property of the scenario concept. The name of the
property is \hasClock\ and links an individual of class Clock to an individual
from class Scenario.</p>
        <p>In Simtology the main object properties belong to a scenario. The following
properties are su cient to denote a valid scenario that can run in a
simulation: ScenarioC130 hasClock Clock10ms
ScenarioC130 hasTerrain TerrainBeachFynbos
ScenarioC130 hasMoving C130Flying120knots
ScenarioC130 hasObserver SAMTypeA</p>
        <p>ScenarioC130 hasAtmosphere MidLatitudeSummer
{ Data Properties: Data properties were added to Simtology to add data to
individuals. Examples of data properties are geometric locations of moving
objects, or data belonging to the class Clock, as depicted below:
Clock10ms hasInterval 10ms and Clock10ms hasStopTime 10sec
Functionality: A scenario can be complex and rules were built in to ensure that
a valid scenario is constructed, for instance only certain types of ares can be
used as a valid countermeasure on a speci c aircraft. After building the scenario
in the ontology, the scenario can be processed by a reasoner. The reasoners are
used to compute the inferred ontology class hierarchy and to do consistency
checking after a scenario is created.</p>
        <p>Additional functionalities were developed for use with Simtology such as the
integration of the ontology with the graphical user interface (GUI) used to set
up the simulation. The ontology is used to populate the elements in the
interface, resulting in several advantages such as that only one source of simulation
information has to be maintained, as well as that the ontology can be used to
change the language displayed in the GUI .</p>
        <p>Functionalities were also developed to write out scenarios created in the
ontology to les that can act as input to the simulation. This made it possible
that a scenario can rst be checked for logical correctness before it is run in
the simulation. Modelling errors not handled by the simulation software are
handled early in the simulation process by using the reasoning technology in the
ontology. By having a scenario de ned in the ontology, it is possible to export a
high-level description of a scenario and its components to be used for reporting
and documentation of simulation studies.</p>
        <p>Testing of Simtology Testing the ontology was an important step towards
creating a useful Simtology. When an ontology is small with a few concepts, it
is easier to identify modelling problems but when there are large numbers of
concepts with complex relationships, it is important to test the ontology
regularly in order to avoid inconsistencies immediately and eliminate rework. During
ontology veri cation the focus was mainly to ensure that the ontology was built
correctly and that the ontology concepts match the domain it represents. The
test phase of the ontology is part of the adaptive methodology process and this
phase complements the evaluation phase of the design research process.
4</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Evaluation</title>
      <p>In Section 3.2, the simulation system environment was discussed. In order to
evaluate the use of Simtology in the simulation system and the contribution it
has for the improvement of the environment, the issues mentioned in Section
3.2 are used as evaluation criteria. The identi ed issues are 1) di erent users; 2)
model complexity; 3) reference models; and 4) model interaction. When
evaluated against the identi ed issues, Simtology provided the necessary solutions.
{ Di erent users: Simtology provided a common, shared 'language' to
assist with eliminating ambiguities and the inconsistent use of terminology by
the di erent users of the system. The feedback by all concerned users was
positive. An example of how Simtology assisted with regards to a common
understanding is in the use of ambiguous terms. Some terms in the simulation
had di erent meanings depending on the user using it and the application
it was used for. An example of such a term is countermeasure, which was
vague and previously many di erent types of countermeasures existed. In
Simtology the concept Countermeasure was de ned in such a way that it
can be used as an explanatory tool to illustrate the di erent countermeasures
available in the simulation as well as the use of each countermeasure.
The Protege editor allows for several ways to communicate the ontology, for
example a graphical display of the concepts and the relations in the ontology
A visual display of the di erent components in the simulation leads to better
communication between all the people involved.
{ Model complexity: Simtology formally de ned the concepts, properties
and individuals necessary for the construction of input models. When a user
uses Simtology to construct her input model, the appropriate level of detail
and complexity of the input models are speci ed.
{ Reference models: Simtology provides a reference model for all the
different users of the system to create their speci c input models from. After
introducing Simtology, very few problems were experienced by users when
constructing simulation models because Simtology acted as a reference model
informed their speci c model design.
{ Model Interaction: A simulation consists of a scenario that is build up
from interacting models. Simtology provides a common shared language to
be used in the simulation environment for both users and when interacting
with other applications. The de nitions of concepts in the system are kept
in Simtology and made available to applications in the environment such as
the Graphical User Interface.</p>
      <p>
        As a nal evaluation, the guidelines proposed by Hevner et al. [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] for a design
research artefact were used to evaluate and present the research process
followed to develop Simtology. This discussion is outside the scope of this
paper but it was demonstrated that the construction of Simtology followed
the proposed guidelines.
5
      </p>
    </sec>
    <sec id="sec-5">
      <title>Conclusion and Future Work</title>
      <p>The outcome of the research project was Simtology, a domain ontology for the
simulation environment that contains the model information for simulation
scenarios. An added bene t was that the process to analyse the contents of the
simulation environment to construct the ontology clari ed the knowledge in the
domain.</p>
      <p>During the construction of Simtology, the following observations were made:
{ With regards to modelling, it is important to distinguish part-of from
subclassof. An aircraft body is part of an aircraft, not part of a speci c type of
aircraft.
{ It is important to correctly model roles. Modelling a missile as an observer
in the simulation means that it can never be used in the simulation as an
object of type moving. In Simtology, a missile can therefore never be used in
a di erent role.
{ Another important modelling decision has to do with the modelling of
individuals vs. concepts. This decision has an impact on how the ontology could
ultimately be used. The choice between concept and individual is often
contextual and application-dependent but it needs to be evaluated in one of the
development cycles.
{ The development and use of the ontology should be an iterative process. As
new functionality is added, it must be tested, used and evaluated.
Existing functionality is maintained by making changes where necessary. Proper
version control is therefore also necessary when constructing ontologies.</p>
      <p>Several advantages of having an ontology in the simulation environment
emerged after the ontology was created. The ontology can, for instance, be used
in training exercises to show aircraft personnel the technical detail of the
countermeasures deployed on the aircraft. Furthermore, the simulation environment
is always expanding and improving through the addition of new models, the
addition of new properties to existing entities in the system or through the addition
of new functionality to entities. Future versions of the ontology need to
incorporate these changes and there should therefore always be future expansions to
the Simtology ontology. Furthermore, Simtology should ideally be expanded to
not only include concepts in CmSim, but also in the Optronic Scene Simulator.
One of the planned functions to be developed is to reverse engineer previously
run simulations and add the scenario descriptions of those simulations to the
ontology.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Birchenall</surname>
            ,
            <given-names>R.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Richardson</surname>
            ,
            <given-names>M.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Butters</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Walmsley</surname>
          </string-name>
          , R.:
          <article-title>Modelling an infrared man portable air defence system</article-title>
          .
          <source>Infrared Physics &amp; Technology (July</source>
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Willers</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Willers</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          : Ossim:
          <article-title>Optronics scene simulator white paper</article-title>
          .
          <source>Technical report, Council for Scienti c and Industrial Research</source>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Gruber</surname>
            ,
            <given-names>T.R.:</given-names>
          </string-name>
          <article-title>A translation approach to portable ontology speci cations</article-title>
          .
          <source>Knowledge Acquisition</source>
          <volume>5</volume>
          (
          <issue>2</issue>
          ) (
          <year>1993</year>
          )
          <volume>199</volume>
          {
          <fpage>220</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Baader</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sattler</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          :
          <article-title>Description logics as ontology languages for the semantic web</article-title>
          . In Hutter, D.,
          <string-name>
            <surname>Stephan</surname>
          </string-name>
          , W., eds.:
          <source>Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday. Volume 2605 of Lecture Notes in Arti cial Intelligence</source>
          . Springer-Verlag (
          <year>2005</year>
          )
          <volume>228</volume>
          {
          <fpage>248</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Noy</surname>
            ,
            <given-names>N.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>McGuiness</surname>
            ,
            <given-names>D.L.</given-names>
          </string-name>
          :
          <article-title>Ontology development 101: A guide to creating your rst ontology</article-title>
          .
          <source>Technical report, Stanford Knowledge Systems Laboratory</source>
          (
          <year>2001</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Hevner</surname>
            ,
            <given-names>A.R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>March</surname>
          </string-name>
          , S.T.,
          <string-name>
            <surname>Park</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ram</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <source>Design Science in Information Systems Research. MIS Quarterly</source>
          <volume>28</volume>
          (
          <issue>1</issue>
          ) (
          <year>2004</year>
          )
          <volume>75</volume>
          {
          <fpage>105</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Guarino</surname>
          </string-name>
          , N.:
          <article-title>Formal ontology and information systems</article-title>
          . In Guarino, N., ed.
          <source>: Proceedings of the First International Conference on Formal Ontologies in Information Systems (FOIS-98)</source>
          , June 6-8,
          <year>1998</year>
          , Trento, Italy, IOS Press, Amsterdam, The Netherlands (
          <year>1998</year>
          )
          <volume>3</volume>
          {
          <fpage>15</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8. OWL:
          <article-title>Owl2 web ontology language</article-title>
          . Available at http://www.w3.
          <source>org/TR/owl2- overview. [1 April</source>
          <year>2011</year>
          ]
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9. Protege:
          <article-title>The protege ontology editor</article-title>
          . Available at http://protege.stanford.
          <source>edu. [13 April</source>
          <year>2011</year>
          ]
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Gaevic</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Djuric</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          , Deved c, V.:
          <article-title>Model Driven Engineering and Ontology Development. 2</article-title>
          . edn. Springer, Berlin (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Schleno</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          , Washington, R.,
          <string-name>
            <surname>Barbera</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>An intelligent ground vehicle ontology to enable multi-agent system integration</article-title>
          . In:
          <article-title>Integration of Knowledge Intensive Multi-Agent Systems</article-title>
          . (
          <year>2005</year>
          )
          <volume>169</volume>
          {
          <fpage>174</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Nagle</surname>
            ,
            <given-names>J.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Richmond</surname>
            ,
            <given-names>P.W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Blais</surname>
            ,
            <given-names>C.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Goerger</surname>
            ,
            <given-names>N.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kewley</surname>
            ,
            <given-names>R.H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Burk</surname>
            ,
            <given-names>R.K.</given-names>
          </string-name>
          :
          <article-title>Using an ontology for entity situational awareness in a simple scenario</article-title>
          .
          <source>The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology</source>
          <volume>5</volume>
          (
          <issue>2</issue>
          ) (
          <year>2008</year>
          )
          <volume>139</volume>
          {
          <fpage>158</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Tsarkov</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horrocks</surname>
          </string-name>
          , I.:
          <article-title>FaCT++ description logic reasoner: System description</article-title>
          .
          <source>In: Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006). Volume 4130 of Lecture Notes in Arti cial Intelligence</source>
          ., Springer (
          <year>2006</year>
          )
          <volume>292</volume>
          {
          <fpage>297</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Bock</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Haase</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ji</surname>
            ,
            <given-names>Q.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Volz</surname>
          </string-name>
          , R.:
          <source>Benchmarking OWL Reasoners. CEUR Workshop Proceedings (June</source>
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Benjamin</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Patki</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mayer</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>Using ontologies for simulation modeling</article-title>
          .
          <source>In: Proceedings of the 38th conference on Winter simulation. WSC '06</source>
          ,
          <string-name>
            <surname>Winter</surname>
            <given-names>Simulation Conference</given-names>
          </string-name>
          (
          <year>2006</year>
          )
          <volume>1151</volume>
          {
          <fpage>1159</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Mandrick</surname>
            ,
            <given-names>L.B.</given-names>
          </string-name>
          :
          <article-title>Military ontology</article-title>
          . http://militaryontology.com/
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Valente</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Holmes</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Alvidrez</surname>
            ,
            <given-names>F.C.</given-names>
          </string-name>
          :
          <article-title>Using a military information ontology to build semantic architecture models for airspace systems</article-title>
          .
          <source>In: Aerospace Conference</source>
          ,
          <source>2005 IEEE. (March</source>
          <year>2005</year>
          )
          <volume>1</volume>
          {
          <fpage>7</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Winklerova</surname>
            ,
            <given-names>Z.</given-names>
          </string-name>
          :
          <article-title>Ontological approach to the representation of military knowledge</article-title>
          .
          <source>Technical report</source>
          , Military Academy in Brno, Command and
          <string-name>
            <given-names>Sta</given-names>
            <surname>Faculty</surname>
          </string-name>
          , Czech
          <string-name>
            <surname>Republic</surname>
          </string-name>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Smart</surname>
            ,
            <given-names>P.R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Russell</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shadbolt</surname>
            ,
            <given-names>N.R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shraefel</surname>
            ,
            <given-names>M.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Carr</surname>
            ,
            <given-names>L.A.</given-names>
          </string-name>
          :
          <source>Aktivesa. Comput. J. 50 (November</source>
          <year>2007</year>
          )
          <volume>703</volume>
          {
          <fpage>716</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Hevner</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Chatterjee</surname>
          </string-name>
          , S. In: Evaluation. Volume
          <volume>22</volume>
          of Integrated Series in Information Systems. Springer US (
          <year>2010</year>
          )
          <volume>109</volume>
          {
          <fpage>120</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Vaishnavi</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kuechler</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          :
          <article-title>Design research in information systems</article-title>
          . Available at http://desrist.org/design-research-in
          <source>-information-systems/ Last Updated 16 August</source>
          <year>2009</year>
          (
          <year>January 2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Bergman</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>A new methodology for building lightweight, domain ontologies</article-title>
          . Available at http://www.mkbergman.com/908/a
          <article-title>-new-methodology-for-buildinglightweight-domain-ontologies/ (</article-title>
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>