<!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>Linking Process Models and Operating Data for Exploration and Visualization</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Ken WENZEL</string-name>
          <email>ken.wenzel@iwu.fraunhofer.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Marcel TISZTL</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Fraunhofer IWU, Department for Production Management</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <fpage>3</fpage>
      <lpage>12</lpage>
      <abstract>
        <p>Data integration between different life cycle stages of a production system is a crucial requirement for the realization of continuous computer support what is often referred to as the Digital Factory. This paper presents an approach that leverages planning data within the operation phase of a production system by applying Semantic Web technologies and linked data concepts.</p>
      </abstract>
      <kwd-group>
        <kwd />
        <kwd>production system</kwd>
        <kwd>life cycle</kwd>
        <kwd>process planning</kwd>
        <kwd>semantic web</kwd>
        <kwd>sensor networks</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        When considering the design and operation of a production system, one can observe that
there exists an information gap between those life cycle phases [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. This usually results
in a complete redesign of models for observation and control of such systems instead of
reusing structural and functional knowledge that was already created during the design
phase. We believe that this is due to the wide range of tools and complex data formats
making it hard to transfer knowledge from one phase to another. Our approach
transforms existing process models of production systems into a linked data representation
and combines them with ontologies for Semantic Sensor Networks and units of
measurement to enable the linkage with collected operating data. The development of our
concepts is based on a usage scenario from the automotive industry where media
consumption data for a body-in-white assembly line is collected and should be linked to
processes, products and resources for the purpose of visualization and analysis.
      </p>
      <p>Section 1 outlines the related ontologies and applications used in our approach.
Section 2 introduces a simple ontology for the description of manufacturing processes.
Based on this ontology an approach for exploration and visualization of operating data
is introduced by Section 3. Finally, a summary and outlook is given by Section 5.</p>
    </sec>
    <sec id="sec-2">
      <title>1. Overview on related ontologies and software systems</title>
      <p>Figure 1 gives an overview on ontologies which were created for our approach to
represent and integrate process models with operating data. These encompass the
manu</p>
      <sec id="sec-2-1">
        <title>Dolce+DnS</title>
      </sec>
      <sec id="sec-2-2">
        <title>UltraLite</title>
      </sec>
      <sec id="sec-2-3">
        <title>Manufacturing</title>
      </sec>
      <sec id="sec-2-4">
        <title>Processes SSN Time QUDT</title>
      </sec>
      <sec id="sec-2-5">
        <title>Process Designer</title>
      </sec>
      <sec id="sec-2-6">
        <title>Models MET</title>
      </sec>
      <sec id="sec-2-7">
        <title>Data</title>
        <p>MET</p>
      </sec>
      <sec id="sec-2-8">
        <title>Visualization</title>
      </sec>
      <sec id="sec-2-9">
        <title>Process</title>
      </sec>
      <sec id="sec-2-10">
        <title>Models</title>
      </sec>
      <sec id="sec-2-11">
        <title>Process</title>
      </sec>
      <sec id="sec-2-12">
        <title>Designer</title>
      </sec>
      <sec id="sec-2-13">
        <title>Operating</title>
      </sec>
      <sec id="sec-2-14">
        <title>Data</title>
      </sec>
      <sec id="sec-2-15">
        <title>Operating Data</title>
      </sec>
      <sec id="sec-2-16">
        <title>Explorer owl:imports read/write uses</title>
        <p>facturing process ontology (Section 2) for the description of process models, the MET
data ontology for the representation of measurement data (Section 3) as well as the
MET visualization ontology for the mapping of measured properties to suitable graphical
charts (Section 4). The latter two are combined within our Measurements and Evaluation
Toolkit (MET) – a collection of vocabularies and software tools to acquire, manage and
visualize measurement data. The existing vocabulary that was reused for the creation of
our ontologies is shown at the top of Figure 1.</p>
        <p>Additionally, a domain-specific ontology was developed as an extension of the
manufacturing process ontology to (partially) represent Tecnomatix Process Designer models
as linked data. These process models are automatically imported from their proprietary
XML serialization and transformed into RDF data.</p>
        <p>
          Finally, the presented approach is implemented within the Operating Data Explorer
using the Knowledge Modeling and Management Architecture (KOMMA) [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ].
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>2. A lightweight ontology for manufacturing processes</title>
      <p>
        Diverse engineering disciplines tried to adopt ontologies for describing their respective
domains. For example, the research projects COGents and IMPROVE [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] demonstrated
that ontologies are a well-suited means to describe models of chemical process systems.
Besides these, there are also some efforts towards creating base ontologies for the
manufacturing domain. MASON [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] defines an upper ontology for manufacturing and gives
subclass
      </p>
      <sec id="sec-3-1">
        <title>Process</title>
        <p>hasInput
must be
hasOutput
must be
subclass
Artifact
subclass
hasPossibleState
must be
uses
must be
subclass</p>
      </sec>
      <sec id="sec-3-2">
        <title>State</title>
        <p>requires
must be</p>
      </sec>
      <sec id="sec-3-3">
        <title>Resource</title>
        <p>
          examples of its usage within the fields of cost estimation and production control. The
ADACOR ontology [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] contains concepts to describe manufacturing systems for the
purpose of scheduling and control. Both ontologies capture some common but also some
distinct parts of the manufacturing domain.
        </p>
        <p>
          Following the principle of minimal ontological commitment as proposed by Gruber
[
          <xref ref-type="bibr" rid="ref6">6</xref>
          ], we argue that separation of concerns into even more lightweight ontologies
simplifies their reuse and accelerates their adoption. Hence, we have created the simple
ontology depicted by Figure 2 for the description of manufacturing operations with their
related products and resources. This ontology is also aligned to DOLCE+DnS UltraLite
(DUL)2, an enhanced version of the Descriptive Ontology for Linguistic and Cognitive
Engineering (DOLCE) [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ].
        </p>
        <p>
          The ontology is loosely based on the core idea of the Structured Analysis and
Design Technique (SADT) [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ] that is able to describe systems as a hierarchy of functions.
In our case those functions are manufacturing Processes which may have one or more
Artifacts as inputs and outputs and may require one or more Resources for operation.
The ontology introduces also the concept State, allowing a more specific description of
resources, especially in regard to operating data.
        </p>
        <p>The proposed ontology does intentionally not provide any concepts for the
description of raw materials, tools, workers and other application specific entities. Also deeper
classification of artifacts or processes as done within MASON is omitted.</p>
        <p>The alignment to DUL allows easy extension of the ontology for various use
cases. Process is considered a subclass of DUL:Method to express that this concept
should be used to describe manufacturing operations in the sense of process planning.
DUL:PhysicalArtifact is chosen as a superclass of Artifact since inputs and outputs of
manufacturing operations are usually physical objects with an intended function. Our
model unifies SADT’s notion of control and mechanisms into one Resource concept that
is a subclass of DUL:Object. Resources can be further described by using States
representing a DUL:Diagnosis of these systems.</p>
        <p>2http://ontologydesignpatterns.org/wiki/Ontology:DOLCE+DnS UltraLite
mfg:Artifact
innerPart
mfg:Artifact</p>
        <p>frame
mfg:Artifact
weldedPart
ssn:observationResultTime
ssn:observationSamplingTime</p>
        <p>time:Instant
2012-03-27 16:08:19.163
time:DateTimeInterval</p>
        <p>10 ms
met:hasUnit
met:hasQuantityValue
qudt:PowerUnit
unit:KiloWatt
xsd:float
243
mfg:Resource
robot
mfg:uses
mfg:Resource
spotWeldingGun
ssn:onPlatform
mfg:requires
mfg:requires
ssn:FeatureOfInterest
mfg:Process
spotWelding</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>3. Representation of operating data</title>
      <p>The W3C Semantic Sensor Networks Incubator Group (SSN-XG)3 has built an
extensive ontology for describing sensor networks and related observations. For this reason,
their work encompasses an in-depth review of existing sensor and observation ontologies
where selected concepts were used to create the Semantic Sensor Network (SSN)
ontology. This ontology intentionally excludes descriptions of domain concepts like time or
location information to enable its applicability for multiple use cases and domains.</p>
      <p>We are mostly using concepts of the SSN ontology that were developed for the use
case of data discovery and linking. These concepts allow to describe Observations made
by a SensingDevice regarding some Properties of a certain FeatureOfInterest.</p>
      <p>In the case of operating data the FeatureOfInterest is usually either the process itself
or the involved resources and product artifacts. When combining the SSN ontology with
the ontology for manufacturing processes introduced in Section 2 the feature of interest
of an observation may be an instance from one of the classes Process, Resource, State
or Artifact. More complex use cases can be covered by using instances of DUL:Event as
feature of interest.</p>
      <p>Figure 3 denotes an example of an electric power observation expressed by applying
the SSN ontology in combination with the manufacturing process ontology. The example
covers a body-in-white assembly process with spot welding where the actual power
consumed by the spot welding gun is observed. For the representation of observable
properties and their associated units the QUDT4 (Quantities, Units, Dimensions and Data Types
3http://www.w3.org/2005/Incubator/ssn/
4http://qudt.org/
in OWL and XML) ontology is used. An alternate ontology with comparable coverage is
the Measurement Units Ontology5 (MUO). Both ontologies provide a formal framework
for defining measurable properties (quantities in QUDT, qualities in MUO) with
corresponding base units and their derived forms. Additionally, both ontologies provide a set
of predefined properties and unit systems like SI or CGS. MUO’s data is extracted from
UCUM6, the Unified Code for Units of Measure, while QUDT uses its own definitions.</p>
      <p>Time points and intervals are expressed by using the Time Ontology in OWL7
(OWL-Time).</p>
      <p>For representing observation result values a special concept
QuantityObservationValue as subclass of ssn:ObservationValue is introduced by our MET data ontology. It
allows to describe measured quantities (met:hasQuantityValue) and their associated units
(met:hasUnit).</p>
    </sec>
    <sec id="sec-5">
      <title>4. Exploration and visualization</title>
      <p>The semantic linking of operating data, aligned with the SSN, to the manufacturing
process ontology, like we have shown above, can support an analyst in exploring and
examining the collected data, for example, to identify specific resource usage patterns.
Therefore, we want to demonstrate, how visualization and navigation on the described model
can be achieved. The starting point is the process model of the production system that
can be explored within the process, resource and artifact dimensions. Each element from
each dimension may have a hierarchical and topological structure.</p>
      <p>Moreover, we want to support the visualization of a Process, a Resource or an
Artifact by generating a chart of its properties and related observations. Figure 4 exemplifies
this compound visualization for a selected Resource.
4.1. Generic diagrams for observed properties
Data visualization of FeatureOfInterests is a complex matter, because their observed
properties, that should be visualized, may differ in some aspects. For example, some
properties like power consumption and temperature have numeric values for individual
points in time and are suitably visualized by XY charts. Other properties like the current
system state or the modified artifacts represent some kind of state that is valid over a
time interval (e.g. the duration of a manufacturing operation) and can be suitably
visualized by gantt or bar charts. To support a variety of visualizations, the MET-VIZ
(Measurements and Evaluation Toolkit - Visualization) ontology introduces concepts to
formally describe the associations between visualizable properties and suitable charts. An
example is depicted in Figure 5.</p>
      <p>The ontology defines the classes Chart and ChartDescription. Each chart supported
by our visualization framework is represented as an instance of Chart and observed
properties are associated to these charts by using ChartDescriptions.</p>
      <p>5http://idi.fundacionctic.org/muo/muo-vocab.html
6http://unitsofmeasure.org/
7http://www.w3.org/TR/owl-time/
mfg:Process</p>
      <p>mfg:State
mfg:Artifact
idle
idle
none</p>
      <p>welding
weldedPart
handling</p>
      <p>busy
weldedPart
handling</p>
      <p>
        frame
10:49:00
10:49:20
10:49:40
10:50:00
10:50:20
10:50:40
10:51:00
4.2. Visualization framework based on data-driven documents
Like Figure 4 denotes, each observed property of a given FeatureOfInterest is visualized
by a specific chart. These charts are combined into a composite chart with a timeline,
where the user can select the global time window for all contained charts. To support
this functionality, we have developed a visualization framework that implements
versatile charts based on data-driven documents (d3) [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] and their corresponding Javascript
implementation D3.js8. D3 allows to use powerful declarative transformations between
data and SVG representations. This eases the creation of generic charts and highly
simplifies the development of domain-specific visualizations for various use cases. D3’s
transformation capabilities are leveraged to define basic generic diagrams which can be
composed with each other to create compound visualizations of multiple properties.
      </p>
      <p>These compositions are supported by two design rationales of our framework. The
first one is that the chart’s data access is controlled by a dedicated data provider interface.
ssn:FeatureOfInterest
ssn:Property</p>
      <p>met-viz:ChartDescription
instance
my:process1
instance</p>
      <p>instance
quantity:Power
my:powerChartDesc
met-viz:xyChart
met-viz:Chart
instance
If a chart is part of a composite then the composite assigns a specific data provider to
this chart. This enables the composite to simply pass through data requests and responses
from and to its children or intercept the communication to implement data conversion or
caching (e.g. within a time window).</p>
      <p>The second building block is the interconnection of multiple chart axes. Thus a
composite can define the axis of a contained chart as parent of an axis of another child.
If a parent axis is changed in its dimensions or selection then it propagates these changes
to the respective child axes.
4.3. Composite visualization of observed properties
For the creation of a composite visualization, the database is queried for all observed
properties of a given FeatureOfInterest. This is exemplified by the following SPARQL9
query.</p>
      <p>PREFIX ssn:&lt;http://purloclc.org/NET/ssnx/ssn#&gt;
PREFIX met-viz:&lt;http://enilink.net/vocab/met/visualization#&gt;
SELECT DISTINCT ?property ?chart WHERE {
[ a ssn:FeatureOfInterest; ssn:hasProperty ?property ] .
?property met-viz:hasChartDescription ?description .</p>
      <p>?description met-viz:withChart ?chart</p>
      <p>Needless to say, the user can narrow down the search results to constrain the
visualization to certain properties. For each of these selected properties an instance of the
corresponding chart is added to the composite.</p>
      <p>A timeline within the top-level composite enables the user to select a specific time
window whose corresponding data should be visualized. Based on this selection all charts
representing observed properties are updated to show the correct values within the
selected time interval. Our visualization framework supports this use case by
interconnecting the charts and their axes like described above. After selecting the time window,
each chart individually retrieves its data by using a data provider that itself queries the
database.</p>
      <p>The following SPARQL query retrieves measurement data for a given time window
and an observed property. This query selects all observations for a given Property of a
FeatureOfInterest and retrieves the associated data values by filtering the results using
the selected time window with start time and end time points.</p>
      <p>PREFIX dul:&lt;http://www.loa-cnr.it/ontologies/DUL.owl#&gt;
PREFIX time:&lt;http://www.w3.org/2006/time#&gt;
PREFIX ssn:&lt;http://purloclc.org/NET/ssnx/ssn#&gt;
SELECT ?value ?rtime WHERE {
?o a ssn:Observation;</p>
      <p>ssn:observedProperty ?property; ssn:featureOfInterest ?foi;
];
ssn:observationResult [</p>
      <p>ssn:hasValue [ dul:hasRegionDataValue ?value ]
] .</p>
      <p>FILTER (?rtime &gt; ?startTime &amp;&amp; ?rtime &lt; ?endTime)
4.4. Navigation using the manufacturing process ontology
We have shown how observed properties of a particular FeatureOfInterest (a Process, a
Resource or an Artifact of the manufacturing process ontology) can be visualized.
However, it would be helpful to have some kind of visualization about their relations to each
other and also to directly use these relations to switch between different
FeatureOfInterests. Hence, additionally to the visualization of the properties of a FeatureOfInterest the
following information can be displayed:</p>
      <p>If the visualized FeatureOfInterest is a Resource then we can visualize all the
Processes that were active on that Resource in a gantt chart.</p>
      <p>If the visualized FeatureOfInterest is a Process then we can visualize the states of
its required Resources in a gantt chart and set a reference to its input and output
Artifacts.</p>
      <p>If the visualized FeatureOfInterest is an Artifact then we can visualize all
Processes that caused changes and their corresponding Resources in a gantt chart.</p>
      <p>This can be done by querying the process model (expressed using our manufacturing
process ontology) for this information using SPARQL and by visualizing the results
accordingly. The following query exemplifies the retrieval of active processes belonging
to a resource. It assumes that the current state of processes (e.g. active or inactive) is also
observed. For example, an observed property ex:ProcessState of a process may have the
values ex:ActiveState or ex:InactiveState where the latter may be instances of mfg:State.
Now the query retrieves all processes with their corresponding start times and durations
that require the given Resource and were active at some point in time.</p>
      <p>Please note that it would also be possible to model a resource’s current active process
as one of its observed properties (ssn:observedProperty).</p>
      <p>PREFIX dul:&lt;http://www.loa-cnr.it/ontologies/DUL.owl#&gt;
PREFIX time:&lt;http://www.w3.org/2006/time#&gt;
PREFIX ssn:&lt;http://purloclc.org/NET/ssnx/ssn#&gt;
PREFIX mfg:&lt;http://enilink.net/vocab/manufacturing#&gt;
PREFIX ex:&lt;http://example.org/process-data#&gt;
SELECT ?process ?startTime ?duration WHERE {
?process mfg:requires ?resource .
?o a ssn:Observation;
ssn:featureOfInterest ?process;</p>
    </sec>
    <sec id="sec-6">
      <title>5. Conclusions and future work</title>
      <p>We have introduced a lightweight ontology for describing manufacturing processes. Due
to the alignment with DOLCE+DnS UltraLite an easy extension and combination with
other vocabularies is ensured. Moreover, an approach was presented that combines our
ontology with the SSN vocabulary to represent operating data of production systems and
link it to elements of a process model. Based on these results we have shown the creation
of mashups with charts for multiple observed properties by leveraging ontologies and
advanced visualization technologies. This is supported by linking to an existing process
model that improves the navigation and filtering of operating data.</p>
      <p>
        Our future work will investigate how computation rules for indicators can be
expressed by embedding mathematical formulas into RDF data sets [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. This technology
will allow the automatic computation of aggregated performance information based on
the linked representation of process models and operating data.
      </p>
      <p>Moreover, while currently data has only been collected from a running production
system, the next steps may investigate how ontologies can help to integrate rules for
manufacturing control into process models for using them within the operating phase.
For example, we are currently working on augmentation of process and infrastructure
models with additional knowledge and rules for energy-oriented control of production
systems. The resulting solution should be able to operate a production system along with
its infrastructure in an energy-efficient way.</p>
    </sec>
    <sec id="sec-7">
      <title>Acknowledgements</title>
      <p>The work presented in this paper is co-funded within the Cluster of Excellence
EnergyEfficient Product and Process Innovation in Production Engineering (eniPROD R ) by the
European Union (European Regional Development Fund) and the Free State of Saxony.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>B.</given-names>
            <surname>Denkena</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Shpitalni</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Kowalski</surname>
          </string-name>
          , G. Molcho, and
          <string-name>
            <given-names>Y.</given-names>
            <surname>Zipori</surname>
          </string-name>
          ,
          <article-title>Knowledge management in process planning</article-title>
          ,
          <source>CIRP Annals - Manufacturing Technology</source>
          , vol.
          <volume>56</volume>
          , no.
          <issue>1</issue>
          ,
          <issue>2007</issue>
          , pp.
          <fpage>175</fpage>
          -
          <lpage>180</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>K.</given-names>
            <surname>Wenzel</surname>
          </string-name>
          ,
          <string-name>
            <surname>Ontology-Driven Application Architectures with</surname>
            <given-names>KOMMA</given-names>
          </string-name>
          ,
          <source>7th International Workshop on Semantic Web Enabled Software Engineering, Bonn</source>
          ,
          <year>2011</year>
          . http://iswc2011.semanticweb.org/ fileadmin/iswc/Papers/Workshops/SWESE/6.pdf
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>J.</given-names>
            <surname>Morbach</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Wiesner</surname>
          </string-name>
          , and W. Marquardt, OntoCAPE
          <article-title>- A (re)usable ontology for computer-aided process engineering</article-title>
          ,
          <source>Computers &amp; Chemical Engineering</source>
          , vol.
          <volume>33</volume>
          , no.
          <issue>10</issue>
          ,
          <year>2009</year>
          , pp.
          <fpage>1546</fpage>
          -
          <lpage>1556</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>S.</given-names>
            <surname>Borgo</surname>
          </string-name>
          and
          <string-name>
            <given-names>P.</given-names>
            <surname>Leito</surname>
          </string-name>
          ,
          <article-title>Foundations for a Core Ontology of Manufacturing</article-title>
          , in: Ontologies, vol.
          <volume>14</volume>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Sharman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Kishore</surname>
          </string-name>
          , and R. Ramesh, Eds. Springer US,
          <year>2007</year>
          , pp.
          <fpage>751</fpage>
          -
          <lpage>775</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>S.</given-names>
            <surname>Lemaignan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Siadat</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.-Y.</given-names>
            <surname>Dantan</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Semenenko</surname>
          </string-name>
          ,
          <article-title>MASON: A Proposal For An Ontology Of Manufacturing Domain</article-title>
          ,
          <source>in: IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence and Its Applications</source>
          ,
          <year>2006</year>
          .
          <source>DIS</source>
          <year>2006</year>
          ,
          <year>2006</year>
          , pp.
          <fpage>195</fpage>
          -
          <lpage>200</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>T.</given-names>
            <surname>Gruber</surname>
          </string-name>
          ,
          <article-title>Toward Principles for the Design of Ontologies Used for Knowledge Sharing</article-title>
          ,
          <source>International Journal Human-Computer Studies</source>
          Vol.
          <volume>43</volume>
          ,
          <string-name>
            <surname>Issues</surname>
          </string-name>
          5-
          <issue>6</issue>
          ,
          <year>Novemer 1995</year>
          , pp.
          <fpage>907</fpage>
          -
          <lpage>928</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>A.</given-names>
            <surname>Gangemi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Guarino</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Masolo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Oltramari</surname>
          </string-name>
          , and
          <string-name>
            <given-names>L.</given-names>
            <surname>Schneider</surname>
          </string-name>
          ,
          <article-title>Sweetening Ontologies with DOLCE</article-title>
          ,
          <source>in: Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management, Ontologies and the Semantic Web</source>
          , London,
          <year>2002</year>
          , pp.
          <fpage>166</fpage>
          -
          <lpage>181</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>D.</given-names>
            <surname>Marca</surname>
          </string-name>
          and
          <string-name>
            <surname>C. L. McGowan</surname>
          </string-name>
          ,
          <article-title>SADT : structured analysis and design technique</article-title>
          ,
          <source>McGraw-Hill, New York</source>
          <year>1988</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>J. R.</given-names>
            <surname>Hobbs</surname>
          </string-name>
          and
          <string-name>
            <given-names>F.</given-names>
            <surname>Pan</surname>
          </string-name>
          ,
          <article-title>An Ontology of Time for the Semantic Web</article-title>
          ,
          <source>ACM Transactions on Asian Language Information Processing</source>
          , vol.
          <volume>3</volume>
          ,
          <issue>2004</issue>
          , pp.
          <fpage>66</fpage>
          -
          <lpage>85</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>M.</given-names>
            <surname>Bostock</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Ogievetsky</surname>
          </string-name>
          , and
          <string-name>
            <surname>J. Heer,</surname>
          </string-name>
          <article-title>D3: Data-Driven Documents</article-title>
          ,
          <source>in: IEEE Trans. Visualization &amp; Comp. Graphics (Proc. InfoVis)</source>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>K.</given-names>
            <surname>Wenzel</surname>
          </string-name>
          and H. Reinhardt,
          <article-title>Mathematical Computations for Linked Data Applications with OpenMath</article-title>
          ,
          <source>24th OpenMath Workshop</source>
          , Bremen,
          <year>2012</year>
          . http://www.informatik.uni-bremen.de/cicm2012/ papers/OM2012/paper_1.pdf
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>