<!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>A Step Towards Context Insensitive Quality Control for ∗ Ontology Building Methodologies</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Sari Hakkarainen</string-name>
          <email>sari@idi.ntnu.no</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Raimundas Matulevičius</string-name>
          <email>raimunda@idi.ntnu.no</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Darijus Strašunskas</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Xiaomeng Su</string-name>
          <email>xiaomeng@idi.ntnu.no</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Guttorm Sindre</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Dept. of Computer and Information Science, Norwegian Univ. of Science and Technology Sem Saelands vei 7-9</institution>
          ,
          <addr-line>NO-7491 Trondheim</addr-line>
          ,
          <country country="NO">Norway</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>A methodology provides description of process and guidance for producing ontology that facilitates management of the enterprise engineering products. Method support in terms of detailed guidelines is important to ensure the quality of ontologies. Then, it is also important to be able to evaluate the quality of such method guidelines. This paper proposes an analytical framework for such evaluations, achieved by combining Uschold's unified methodology for ontology building with a semiotic framework for understanding quality in conceptual modelling. These two frameworks are shown to map well onto each other, and indicates a potential in applying the semiotic framework not merely in evaluation and choice of methodology for ontology building, but also in embodying quality throughout the process of ontology building.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Enterprise Engineering (EE) is considered an important means towards business
perfection. It includes enterprise and business process modelling and results with
enterprise information architecture design. All these parts should be integral. EE also
contributes to better alignment between business and application. Specifically, it enables
efficient change management and continuous co-evolution of both enterprise and
information systems.</p>
      <p>However, the EE process still remains a labour intensive work, because the
analysis and design phases rely heavily on human interpretation. In practice, the biggest
communication gap can be observed between system designers and end-users. System
designers use a computer terminology at the syntactic level that the users often are
unfamiliar with. Similarly, the terminology used by the latter group may be difficult
for the former to understand. This conflict is apparent when trying to integrate
different levels of abstraction – pragmatic, semantic and syntactic. Transition from one
level to another is not trivial.</p>
      <p>Furthermore, the end product of EE is not a homogeneous specification, but rather
a collection of loosely correlated fragments with various perspectives focusing on
different aspects. The problem becomes evident when the process is geographically or
logically distributed. As a result of outsourcing, the interactions often involve not
only consumer and supplier, but also sub-contractors with various roles.</p>
      <p>
        The conversion from personal into public knowledge is accompanied by
denotations of concepts using signs of some language [
        <xref ref-type="bibr" rid="ref24">24</xref>
        ]. The statements of such
languages need to enable the receiver understand them as intended by the sender. The
knowledge originator and the knowledge consumer rarely communicate directly.
Therefore, when knowledge is communicated to others, interpretations become
independent of the knowledge originator. In this context, knowledge modelling in the
form of ontology is a core issue in the enabling interoperability and facilitating
communication between artefacts. The use of ontology to organize information has
advantage against the use of plain syntactic techniques [
        <xref ref-type="bibr" rid="ref12 ref7 ref9">7, 9, 12</xref>
        ]. It allows an information
description in a more flexible way. It also defines semantics using concepts and
provides computer readable instructions for software components. An ontology can be
seen as an explicit representation of a shared conceptualization [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] that is formal [
        <xref ref-type="bibr" rid="ref25">25</xref>
        ],
and will thus encode the semantic knowledge enabling the sophisticated services.
      </p>
      <p>
        The paper assumes that the co-ordination of the EE process and consolidation of
different views is possible by the medium of common reference layer [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ]. An
ontology is chosen as intermediate layer. It is the meta-data about information (e.g.,
different views, modelling languages) and interpretation facility that enable more intelligent
information-based enterprise specification development and management. Thus the
quality of interoperability highly depends on the quality of used ontology.
      </p>
      <p>Methodology is an important means to make ontology building possible for a
wider range of developers, e.g., not only a few expert researchers in the field but also
companies wanting to develop semantic Web applications for internal or external use.
The quality of the underlying ontology will depend on factors such as 1) the
appropriateness of the language used to represent the ontology, and 2) the quality of the
chosen methodology for the ontology building by means of that language.</p>
      <p>
        This paper proposes a combination of the semiotic quality framework [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] and the
unified approach for ontology building [
        <xref ref-type="bibr" rid="ref26">26</xref>
        ]. The idea is to apply quality principles
developed in information systems and requirements engineering to ontology
engineering. The hypothesis is that the goals of a semiotic quality framework are necessary yet
not sufficient attributes for the evaluation and for the development of methodological
support for high quality ontology building. The paper suggests application of the
quality framework as a cornerstone for quality control in ontology building process by
assigning quality criteria to each step of the unified approach for ontology building.
      </p>
      <p>The structure of the paper is as follows. In section 2, existing ontology building
methodologies are surveyed. In section 3, existing quantitative and qualitative
approaches to evaluate the ontology building processes and guidelines are discussed. In
section 4, the goals and means of the semiotic quality framework are situated for the
ontology building process. In section 5, the quality criteria of the semiotic quality
framework are combined with the unified ontology building methodology. Finally,
section 6 presents the conclusions and directions for future work.</p>
    </sec>
    <sec id="sec-2">
      <title>Ontology Building Methodologies</title>
      <p>
        There exist a number of ontology building approaches. According to the
organizational knowledge approach [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], an ontology building process consists of four iterative
steps: understanding the environment, performing inductive qualitative and
quantitative studies, derivation of concepts, and evaluation of the product. In the crossed life
cycle approach [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], the ontology building is described as consisting of seven steps:
requirements specification, knowledge acquisition, conceptualization, formalization,
implementation, integration, and evaluation. In the quality management Web services
approach [
        <xref ref-type="bibr" rid="ref11 ref7">7, 11</xref>
        ], the ontology building is considered as three-step process consisting
of definition of ontology’s requirements in the form of questions that ontology have to
answer, definition of the terminology for the ontology, and ontology specification.
      </p>
      <p>
        There exist several methodologies which guide the process of semantic
Webbased ontology building for varying generality and granularity. However, the
methodologies do not provide the ontology creation details, but, primarily, support
ontology knowledge elicitation and management. [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] proposes an evolving prototype
methodology with six states in ontology life-cycle. [
        <xref ref-type="bibr" rid="ref25">25</xref>
        ] proposes a general ontology
building framework, which includes quality criteria for formalisation. [
        <xref ref-type="bibr" rid="ref23">23</xref>
        ] proposes
an application-driven ontology development process which emphasizing the
organisational value, integration, and the cyclic nature of the development process.
      </p>
      <p>
        To increase the scale of practical applications for the semantic Web technologies,
the developers need to be provided with method guidelines for the ontology creation.
However, only a limited selection of guidelines is found for the semantic Web-based
ontology specification languages. For example, [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] presents a tutorial for making
ontologies using OWL by means of the open source editor Protégé. [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] presents a user
guide for making ontologies in the DAML+OIL, again in Protégé. [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ] presents
guidelines for making ontologies, called “Ontology Development 101”. This method
is independent of any specific representation language.
      </p>
      <p>
        The unified approach [
        <xref ref-type="bibr" rid="ref26">26</xref>
        ] attempts to provide a comprehensive methodology in
order to facilitate a situated guidance for ontology building. The main ontology
building guidelines include a) identifying the steps and techniques that are of general
applicability; b) identifying the circumstances in which the non-general techniques
apply; and c) attempting to put all together in a coherent framework. The process of
ontology building consists of the following basic steps of: (i) identification of purpose
for which ontology will be used; (ii) selection level of formality for ontology; (iii)
identification of scope, where ontology will be used; (iv) creation of definitions and
axioms; and finally, (v) evaluation of the created ontology. Figure 1 illustrates the
steps.
      </p>
      <p>
        The strengths of this approach are the generic applicability and the support for
reusability. However, as the unified approach is application centred just like all the
above methodologies, it fails in connecting to referents in reality. Generally, criteria
to evaluate ontology and ontology building process fall under specific environment
characteristics, and the evaluation is performed together with the ontology life cycle
[
        <xref ref-type="bibr" rid="ref11 ref5">5, 11</xref>
        ]. Therefore, evaluation of the final product and iteration of the formal
definitions and axiom creation when quality is not assured, are the main drawbacks of this
approach.
      </p>
      <p>Target
users
Requirements docs</p>
      <p>Brainstorming
Identify
purpose
Purpose
Identify
scope
Informal
concepts
Formal
ontology
Formal
evaluation
Create formal definitions
and axioms</p>
      <p>General
scenarios</p>
      <p>Detailed
scenarios</p>
      <p>General
competency
questions</p>
      <p>
        Detailed
competency
questions
The intersection between ontology building (methods and guidelines) and evaluating
of conceptual modelling approaches (i.e., representation languages, method
guidelines, and tools) is so far fairly limited. A comprehensive evaluation of the semantic
Web enabling representation languages is done in [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ]. The study analyzes RDF(S),
OIL, SHOE or DAML+OIL and traditional ontology languages such as CycL, LOOM
and Telos. The paper also evaluates tools for ontology building, such as Ontolingua,
Protégé 2000, OntoEdit, and OilEd. Similarly, [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] evaluates various ontology
languages and method guidelines in industrial settings. These works concentrate on
evaluating the product and the physical environment for ontology development, rather
than methodological support for the building process.
      </p>
      <p>
        There are a number of frameworks suggested for evaluating conceptual modelling
approaches. For instance, the Bunge-Wand-Weber ontology [
        <xref ref-type="bibr" rid="ref27">27</xref>
        ] has been used on
several occasions as a basis for evaluating modelling techniques, e.g. NIAM [
        <xref ref-type="bibr" rid="ref28">28</xref>
        ] and
UML [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ], as well as ontology languages and tools [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. The semiotic quality
framework [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ] for the evaluation of conceptual models had later been extended for
evaluation of modelling approaches and used to evaluate UML and RUP [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] provides
a theory of logic, semantic, and situated criteria for conceptual models specifying
information requirements, where information demand is dependent of production and
relevance of the model.
      </p>
      <p>
        One of the main steps in ontology and EE is requirements engineering (RE) that
assists in discovering the most representative application features. In [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ] a
framework for evaluation of RE process is analyzed. The framework deals with the
representation, agreement and specification dimensions of RE and corresponds to
semantic, syntactic and pragmatic quality aspects. In [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] a four worlds model of information
modelling and acquisition is analyzed. The worlds provide usage, information system,
development, and application aspects as the model context.
      </p>
      <p>
        The semiotic quality framework [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] for conceptual modelling (figure 2) is
anchored in linguistic and semiotic concepts, based on a constructive world view. It
describes goals to express quality and means to reach these goals. Physical quality
deals with two basic goals: externalization, i.e. the explicit knowledge KM of some
person has been externalized in the model M by the use of a modelling language L;
and internalizability, i.e. the externalized model M is persistent and available,
enabling the other persons involved to make sense of it. Empirical quality deals with
error frequencies when a model M is read or written by different users, as well as
coding and ergonomic of computer-human interaction for modelling tools. Syntactic
quality is the correspondence between the model M and the language L extension of
the language in which the model is written. Semantic quality is the correspondence
between the model M and the domain D. The framework has two semantic goals:
validity and completeness. Pragmatic quality is the correspondence between the
model M and social and technical audience’s interpretation (I and T) of it. Perceived
semantic quality is the correspondence between the participants, interpretation I of a
model and their current explicit knowledge Ks. Social quality has the goal of
agreement among participant interpretations I. Organisational quality has to fulfil the goals
G of modelling (organizational validity) and address them through the model M
(organizational completeness).
      </p>
      <p>Modeller
explicit
knowledge KM</p>
      <p>Physical
quality
Semantic
quality
Modelling
domain</p>
      <p>D</p>
      <p>Empirical
quality</p>
      <p>Social actor
explicit
knowledge Ks
Goals of
modeling</p>
      <p>G
Organizational
quality</p>
      <p>Model
externalization</p>
      <p>M
Pragmatic
quality
Technical actor
interpretation</p>
      <p>T</p>
      <p>Perceived
semantic
quality
Pragmatic
quality
Syntactic
quality</p>
      <p>Social
quality
Social actor
interpretation</p>
      <p>I
Language
extension</p>
      <p>L</p>
      <p>
        Fig. 2. Semiotic quality framework, adopted from [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]
The semiotic framework has previously been adapted to evaluate the RE facilities
[
        <xref ref-type="bibr" rid="ref17">17</xref>
        ], ontology languages, tools [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ], and guidelines [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. However, the semiotic
framework does not directly apply to existing ontology building methodologies. The
level of maturity and the lack of user participation in a typical ontology building
process cause the framework to fail in connecting to organisational and social goals.
4
      </p>
    </sec>
    <sec id="sec-3">
      <title>Semiotic Quality Criteria in the Ontology Building Process</title>
      <p>
        The way to build ontology depends on the particular circumstances under which
ontology is desired [
        <xref ref-type="bibr" rid="ref26">26</xref>
        ]. The initial premises - like level of formality, scope and purpose
– should be identified, first. The evaluation of each of these factors (figure 3) could
lead to better ontology building.
      </p>
      <p>The purpose for ontology building is generally identified in the organizations,
when the workers externalize their knowledge and in the form of organizational
knowledge. In general the purpose could be communication, interoperability or
system engineering. Different purposes require different focus on the quality measures.
Physical quality suggests facilities, which has database management functionality for
knowledge externalization. Participants’ knowledge and domain appropriateness lead
to the meta-model adaptation facilities. Semantic validity and completeness require
consistency checking, reusing and testing. For both communication and system
engineering purposes, it is vital to have social agreement about the ontology, because it
involves the participants, who should have the same understanding about the issue.
When the purpose is system interoperability, agreement is not a social act, but the
technical aspect, since the different systems should ‘know’ how to use information.</p>
      <p>Formality addresses the degree by which a vocabulary is created and meaning is
specified. It ranges from highly informal to structured formal, semi formal and
rigorously formal. Syntactic quality defines the level of language correctness and suggests
the means for error preventions, detection and correction. Empirical quality suggests
means for readability. Pragmatic quality defines formality comprehension. To deal
with comprehension, means for operational semantics (inspection, visualization, and
filtering) and executability (animation and simulation) could be used. Highly informal
or structured informal ontologies allow involvement of a higher number of
participants. The physical externalization deals with participant knowledge appropriateness.
If ontology is semiformal or formal, the physical internalizability help to understand
the structure and internal concept relationships.</p>
      <p>Scope characterizes the nature of the subject matter that ontology is describing.
For domain ontology scope is defined as particular domain (for example medicine,
geology, or finance). Physical internalizability suggests knowledge storing facilities.
Problem solving ontology is a targeted instrument to find the solution to the problem.
Physical quality goal suggests means for participant knowledge (as problem and
solution space) externalization. Perceived semantic validity and completeness, semantic
validity and organizational completeness in both cases ensure that the knowledge is
right and complete in the environment and according to participant knowledge. The
scope of ontology building is dealing with knowledge representation languages.
Syntactic quality suggests means for ensuring syntactic correctness.</p>
      <sec id="sec-3-1">
        <title>HIGHLY INFORMAL</title>
        <p>Physical: externalization
Empirical: min. error frequency
Syntactic: correctness
Pragmatic: comprehension</p>
      </sec>
      <sec id="sec-3-2">
        <title>STRUCTURED INFORMAL</title>
        <p>Physical: externalization
Empirical: min. error frequency
Syntactic: correctness
Pragmatic: comprehension</p>
      </sec>
      <sec id="sec-3-3">
        <title>SEMI FORMAL</title>
        <p>Physical: internalizeability
Empirical: min. error frequency
Syntactic: correctness
Pragmatic: comprehension</p>
      </sec>
      <sec id="sec-3-4">
        <title>RIGOROUSLY FORMAL</title>
        <p>Physical: internalizeability
Empirical: min. error frequency
Syntactic: correctness
Pragmatic: comprehension</p>
      </sec>
      <sec id="sec-3-5">
        <title>Selection of settings for ontology</title>
      </sec>
      <sec id="sec-3-6">
        <title>Purpose</title>
        <p>∪
∪</p>
      </sec>
      <sec id="sec-3-7">
        <title>Formality</title>
      </sec>
      <sec id="sec-3-8">
        <title>Scope</title>
        <p>∪</p>
      </sec>
      <sec id="sec-3-9">
        <title>Ontology Creation and</title>
      </sec>
      <sec id="sec-3-10">
        <title>Evaluation</title>
      </sec>
      <sec id="sec-3-11">
        <title>COMMUNICATION</title>
        <p>Physical: externalization
Semantic: validity and
completeness
Social: agreement</p>
      </sec>
      <sec id="sec-3-12">
        <title>Organizational: validity</title>
      </sec>
      <sec id="sec-3-13">
        <title>INTEROPERABILITY</title>
        <p>Physical: internalizeability
Semantic: validity, completeness</p>
      </sec>
      <sec id="sec-3-14">
        <title>Organizational: validity</title>
      </sec>
      <sec id="sec-3-15">
        <title>SYSTEM ENGINEERING</title>
        <p>Physical: internalizeability
Semantic: validity, completeness
Social: agreement</p>
      </sec>
      <sec id="sec-3-16">
        <title>Organizational: validity</title>
      </sec>
      <sec id="sec-3-17">
        <title>DOMAIN ONTOLOGY</title>
        <p>Physical: internalizeability</p>
      </sec>
      <sec id="sec-3-18">
        <title>Semantic: validity</title>
      </sec>
      <sec id="sec-3-19">
        <title>Perc. semantic: validity, com</title>
        <p>pleteness
Social: agreement</p>
      </sec>
      <sec id="sec-3-20">
        <title>Organizational: completeness</title>
      </sec>
      <sec id="sec-3-21">
        <title>PROBLEM SOLVING ONT.</title>
        <p>Physical: externalization
Semantic: validity
Perc. semantic: validity,
completeness
Social: Agreement</p>
      </sec>
      <sec id="sec-3-22">
        <title>Organizational: completeness</title>
      </sec>
      <sec id="sec-3-23">
        <title>REPRESENTATION ONT.</title>
        <p>Syntactic: correctness
Semantic: completeness</p>
      </sec>
      <sec id="sec-3-24">
        <title>Perc. Semantic: validity, com</title>
        <p>pleteness
Pragmatic: comprehension
Social: Agreement</p>
      </sec>
      <sec id="sec-3-25">
        <title>Organizational: completeness</title>
        <p>Fig. 3. The semiotic quality framework goals situated for ontology building methodology.
∪ in the triangle indicate, that at least one on the items should be selected for ontology settings.
Here, the output of the above described ontology settings phase is the agreed purpose,
formality level and scope. In the following section the synergy effects of combining
the unified ontology building approach with the semiotic quality framework are
analysed. The results of bridging the shortcomings of both approaches are discussed
using the notion of supplementary relationships and correspondences.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Suggestion for a Combined Evaluation Framework</title>
      <p>
        The applicability of the goals and means of the extended semiotic quality framework
[
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] is discussed here with respect to the qualitative characteristics of the unified
process [
        <xref ref-type="bibr" rid="ref26">26</xref>
        ] for ontology building. The objective is to investigate how can the
semiotic quality framework be used in embodying quality, reusability and maintainability
in the ontology as a final product, rather, than merely how it is applicable in
evaluation, choice and development of methodology. In (Table 1) the ontology building
steps have been incorporated with the situational aspects of syntactic, semantic and
pragmatic quality dimensions, which are extended with technical and social quality
aspects.
      </p>
      <p>Physical quality has the externalisation and internalizeability goals. In order to
determine knowledge about the purpose, level of formality, scope of the ontology the
requirements elicitation techniques are applied. The externalized knowledge is
summarised into comprehensive data dictionaries, which serve as intermediate artefacts
for the phases of continuous ontology building. The knowledge about the ontology
building should be available and persistent to organisational audience in order to
ensure the internalizability goal. Here, the tool support for maintaining repository
functionality is helpful to achieve internalizability goal.</p>
      <p>Empirical quality is meant to obtain minimal error frequency and it deals with
model aesthetics, ergonomics and the way of representation for externalised artefacts.
If the model has poor empirical quality, it is difficult for ontology building
stakeholders (including social and technical actors) to exchange knowledge for the purpose
of either communication, or interoperability or system engineering.</p>
      <p>Syntactic quality is obtained through the syntactic correctness goal. The means to
achieve this goal are error prevention, error detection, and error correction. Syntactic
quality characterises the ontology building scope in terms of granularity and
precision. The level of formality describes the audience interpretation of the ontology.</p>
      <p>Semantic quality describes the correspondence between a model and the
modelling domain. The scope of ontology building is discovered in the organisational
environment. The primary outputs of the scoping phase are complete and valid sets of
concepts and terms for the proposed ontology. The means include knowledge
elicitation techniques, e.g. motivating scenarios, driving competency questions,
brainstorming, and reuse of knowledge from previous analysis. Moreover, the means for formal
validity and completeness checking benefit in reaching the validity and completeness
during the ontology building.</p>
      <p>Perceived semantic quality is the correspondence between an actor interpretation
of a model and current knowledge. Social actors differ in their education and work
experience. Actor training helps to reach the perceived validity and perceived
completeness goals. Training is needed during all the ontology building cycle. For
example, training in purpose identification helps to externalize more complete and valid
knowledge, and training in scope identification helps to elicit more valid and
complete lists of concepts for the ontology construction.</p>
      <p>Pragmatic quality is the correspondence between the model and audience
interpretation of it. Comprehension goal is achieved through model inspections,
transformations, visualization, filtering, and prototyping. Operational semantics and
executability help to understand the model for social and technical actor.</p>
      <p>Communication
Inter-operability</p>
      <p>System
engineere ing
rsop −Re-Usability
uP −Knowledge
acquisition
−Reliability
−Specification</p>
      <p>Highly informal
litaym Sintrfuocrtmuraeld
o Semi formal
r
F Rigorously formal</p>
      <p>Domain ontology
tc re Pornotbolleomgy solving
e tt
jub a
S MRepresentation</p>
      <p>ontology
Ontology creation</p>
      <p>Generic criteria
lgy itaonu −−CCloanrsitiystency
o
tnoO lavE −Reusability</p>
      <p>Specific criteria
+
+
+
+
+
+
●
+
+
+
+
+
+
●
+
+
+
+
+
+
+
+
●
+
+
+
+
+
+
●
+
+
+
+
+
+
+
●</p>
      <p>Social quality deals with actor interpretation and has the goal of agreement. Six
agreement types are identified for the ontology building: relative and absolute
agreement in ontology interpretation, relative and absolute agreement in knowledge about
ontology purpose, scope and level of formality; relative and absolute agreement about
the ontology itself. In order to achieve agreement goal, activities related to model
viewpoint integration and conflict resolution are performed.</p>
      <p>Organisational quality is the correspondence between the model and modelling
goals. The goals for ontology building are defined during initial stages, when purpose,
formality and scope of the ontology are elicited. To fulfil the organisational quality
means to prioritize goals of ontology building (satisfy the organisational validity) and
address them through the ontology (satisfy organisational completeness). The goal of
the ontology building is to combine the work groups in their situated actions. All the
potential audience is regarded to be equally valid. In order to avoid model monopoly
the community should be feasibly comprised into the process of ontology building.</p>
      <p>Two groups of evaluation criteria – generic and specific – are considered in the
unified ontology building approach. The generic criteria are clarity, consistency and
reusability of ontology. Clarity corresponds to the empirical, syntactic and perceived
semantic qualities in the semiotic quality framework. Reusability clarifies the
pragmatic and physical qualities, whereas consistency corresponds to the semantic quality.
The project specific criteria are defined in a physical environment for a particular
ontology. Such specific criteria include manual ontology checking against the
identified purpose, user requirements document, informal competency questions and similar
techniques. They correspond to social and organisational qualities.</p>
      <p>Finally, it is observed that the semiotic quality framework embodies both the
generic and the specific criteria. It also provides means to control the quality during the
ontology building process, rather than in the creation step only. Thus, given the above
distribution and allocation of quality criteria and goals quality is throughout the
process of ontology building embodied in the product.
6</p>
    </sec>
    <sec id="sec-5">
      <title>Concluding remarks</title>
      <p>The usage of an ontology building methodology is decisive for ontology-based
interoperability in heterogeneous enterprise engineering environment. A methodology
provides process and guidance for producing ontology that facilitates management of
the EE products. A control of systematic approach for ontology building is needed in
order to increase the quality, reusability and maintainability of the final product. High
quality specification is required to obtain semantic interoperability both in the
ontology building and among the humans and the artefacts utilizing the specifications.</p>
      <p>
        The working hypothesis of the research is that in combination with an ontology
construction method, the semiotic framework [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] is applicable not merely in
evaluation and choice of methodology but in embodying quality, reusability and
maintainability in the ontology as a final product. Application of the ontology building for a
Web-based knowledge management is based on trying out languages and tools and
analytically evaluating ontology construction guidelines. However, it was argued that
the framework does not directly apply to evaluation of existing ontology building
methodologies. [
        <xref ref-type="bibr" rid="ref26">26</xref>
        ] proposes the unified approach for ontology building based on
overview of ontology building methodologies.
      </p>
      <p>
        The technical contribution of this paper lies in consolidating the semiotic quality
framework [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] with the unified ontology building approach [
        <xref ref-type="bibr" rid="ref26">26</xref>
        ], where a
preliminary evaluation framework for ontology building has been constructed. The work
presented here is a first step towards a generic and context insensitive quality
framework for evaluation, choice, improvement and development of methodology for
ontology building. In each step of ontology building the situational aspects have been
incorporated with syntactic, semantic and pragmatic quality dimensions.
      </p>
      <p>It is shown that the ontology evaluation step of the unified approach covers all of
the quality criteria of the semiotic quality framework. However, the unified
methodology concerns only the evaluation of the final product. Whereas, in this approach the
quality criteria and goals are distributed and allocated to each step. Furthermore, the
analysis of the supplementary relationships demonstrates that the consolidated
framework is suitable to guide towards high quality methodology for ontology
building.</p>
      <p>Ontology creation concerns modelling activities and has many features of
conceptual modelling. Quality control during the ontology creation is case sensitive and
depends on a chosen ontology language. Integration of language specific quality
constraints is a next step for improving applicability of the approach presented in this
paper. Furthermore, guidelines for situational applicability should be added, for
instance, through connecting criteria to generic and specific requirements. We
acknowledge the necessity to prepare, not only a general framework, but also to facilitate
definition of possible situational combinations. Then, decisions in one step will guide
and filter out the options for the next step, e.g. when prioritizing re-usability and
interoperability, the rigorously formal ontology should be the only one way to go in
order to achieve high quality product.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Bubenko</surname>
            ,
            <given-names>J. A.</given-names>
          </string-name>
          jr. and
          <string-name>
            <surname>Kirikova</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>Worlds in Requirements Acquisition and Modelling</article-title>
          .
          <string-name>
            <surname>Kangassalo H</surname>
          </string-name>
          . et al (Eds).:
          <article-title>Information Modelling and Knowledge Bases VI</article-title>
          . IOS Press (
          <year>1995</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Davies</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Green</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Milton</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rosemann</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Using Meta-Models for the Comparison of Ontologies</article-title>
          .
          <source>Proc. EMMSAD'03</source>
          ,
          <string-name>
            <surname>Velden</surname>
          </string-name>
          , Austria, June 16-17 (
          <year>2003</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Denker</surname>
            <given-names>G.</given-names>
          </string-name>
          :
          <article-title>DAML+OIL Plug-in for Protége 2000-User's Guide</article-title>
          .
          <source>SRI International Report 7/8/03</source>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Fernandez-López</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gómez-Péres</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Juriso</surname>
          </string-name>
          , N.:
          <article-title>METHONTOLOGY: From Ontological Art Towards Ontological Engineering</article-title>
          . AAAI-97 Spring Symposium on Ontological Engineering. Stanford University (
          <year>1997</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Fernandez-López</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gómez-Péres</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rojas-Amaya</surname>
          </string-name>
          , M.D.:
          <article-title>Ontology's Crossed Life Cycles</article-title>
          . In: Dieng R. Corby O. (Eds.):
          <fpage>EKAW2000</fpage>
          . Vol.
          <year>1937</year>
          , Springer-Verlag,
          <article-title>(</article-title>
          <year>2000</year>
          )
          <fpage>65</fpage>
          -
          <lpage>79</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Gruber</surname>
            ,
            <given-names>T. R.:</given-names>
          </string-name>
          <article-title>A Translation Approach to Portable Ontology Specifications</article-title>
          .
          <source>Knowledge Acquisition</source>
          .
          <volume>5</volume>
          (
          <issue>2</issue>
          ) (
          <year>1993</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Gruninger</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fox</surname>
            ,
            <given-names>M.S.</given-names>
          </string-name>
          :
          <article-title>Methodology for the Design and Evaluation of Ontologies</article-title>
          ,
          <source>Workshop on Basic Ontological Issues in Knowledge Sharing, IJCAI-95</source>
          , Montreal (
          <year>1995</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Hakkarainen</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hella</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tuxen</surname>
            ,
            <given-names>S.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sindre</surname>
          </string-name>
          , G.:
          <article-title>Evaluating the quality of web-based ontology building methods: a framework and a case study</article-title>
          .
          <source>In Proceedings of 6th International Baltic Conference on Databases and Information Systems (Baltic DBIS'04)</source>
          , Riga, Latvia, (
          <year>2004</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Jones</surname>
            ,
            <given-names>P.H.</given-names>
          </string-name>
          :
          <article-title>A Methodology and System for Designing Organizational Ontologies: Using Knowledge-based Tools for Constructing Organizational Knowledge</article-title>
          , URL: http://poetics.org/redesign/orgontos.htm (
          <year>2000</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Kangassalo</surname>
          </string-name>
          , H.:
          <article-title>Logical and Semantical Properties of Environmental Situations for Stating Information Requirements</article-title>
          .
          <string-name>
            <surname>Schneider H.-J.</surname>
          </string-name>
          (Ed.)
          <article-title>Formal Models and Practical Tools for Information Systems Design</article-title>
          . North Holland, Amsterdam (
          <year>1979</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Kim</surname>
            ,
            <given-names>H.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fox</surname>
            ,
            <given-names>M.S.</given-names>
          </string-name>
          :
          <article-title>Towards a Data Model for Quality Management Web Services: An Ontology of Measurement for Enterprise Modelling</article-title>
          . In: Pidduck A.,
          <string-name>
            <given-names>B.</given-names>
            ,
            <surname>Mylopoulos</surname>
          </string-name>
          <string-name>
            <given-names>J.</given-names>
            ,
            <surname>Woo</surname>
          </string-name>
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Ozsu</surname>
          </string-name>
          (Eds.)
          <source>Advanced Information Systems Engineering. 14th International Conference CAiSE 2002</source>
          . Vol.
          <volume>2348</volume>
          Springer-Verlag,
          <article-title>(</article-title>
          <year>2002</year>
          )
          <fpage>230</fpage>
          -
          <lpage>244</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Klein</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Bernstein</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Searching for Services on the Semantic Web Using Process Ontologies</article-title>
          ,
          <string-name>
            <given-names>Cruz I. S.</given-names>
            <surname>Decker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Euzenat</surname>
          </string-name>
          and
          <string-name>
            <surname>D.</surname>
          </string-name>
          <article-title>McGuinness (eds</article-title>
          .)
          <article-title>The Emerging Semantic Web</article-title>
          , IOS Press,
          <year>2002</year>
          , pp.
          <fpage>153</fpage>
          -
          <lpage>166</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Knublauch</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Musen</surname>
            ,
            <given-names>M.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Noy</surname>
            ,
            <given-names>N.F.</given-names>
          </string-name>
          :
          <article-title>Creating Semantic Web (OWL) Ontologies with Protégé</article-title>
          .
          <source>Tutorial 2nd International Semantic Web Conference. Sanibel Island Florida USA. October 20-23</source>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Krogstie</surname>
          </string-name>
          , J.:
          <article-title>Using a Semiotic Framework to Evaluate UML for the Development of Models of High Quality</article-title>
          . In Siau K and Halpin T (ed.):
          <article-title>Unified Modeling Language: Systems analysis, design, and development issues</article-title>
          . IDEA Group Publishing (
          <year>2001</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Krogstie</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Jørgensen</surname>
          </string-name>
          , H.:
          <article-title>Quality of Interactive Models</article-title>
          ,
          <source>The International Workshop on Conceptual Modeling Quality (IWCMQ'02)</source>
          , Tampere, Finland,
          <year>2002</year>
          , pp.
          <fpage>115</fpage>
          -
          <lpage>126</lpage>
          (
          <year>2002</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Lindland</surname>
            ,
            <given-names>O.I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sindre</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sølvberg</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Understanding Quality in Conceptual Modelling</article-title>
          ,
          <source>IEEE Software 11</source>
          ,
          <issue>2</issue>
          (
          <year>1994</year>
          )
          <fpage>42</fpage>
          -
          <lpage>49</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Matulevičius</surname>
          </string-name>
          , R.:
          <article-title>Validating an Evaluation Framework for Requirement Engineering Tools</article-title>
          ,
          <source>International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'03)</source>
          , Klagenfurt/Velden, Austria, (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Noy</surname>
            ,
            <given-names>N.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>McGuinness</surname>
            ,
            <given-names>D.L.</given-names>
          </string-name>
          :
          <article-title>Ontology Development 101: A Guide to Creating Your First Ontology'</article-title>
          .
          <source>Stanford Knowledge Systems Laboratory Technical Report KSL-01-05</source>
          (
          <year>2001</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Opdahl</surname>
            ,
            <given-names>A.L.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Henderson-Sellers</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          :
          <article-title>Ontological Evaluation of the UML using the Bunge-Wand-Weber model</article-title>
          .
          <source>Software and Systems Modelling (SoSyM) 1</source>
          (
          <issue>1</issue>
          ):
          <fpage>43</fpage>
          -67 Springer (
          <year>2002</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Pohl</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          :
          <article-title>The Three Dimensions of Requirements Engineering: a Framework and its Applications, Information systems</article-title>
          . Vol.
          <volume>19</volume>
          (
          <issue>3</issue>
          ), (
          <year>1994</year>
          )
          <fpage>243</fpage>
          -
          <lpage>258</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Strašunskas</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Hakkarainen</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <article-title>Process of Product Fragments Management in Distributed Development</article-title>
          . In R. Meersman,
          <string-name>
            <given-names>Z.</given-names>
            <surname>Tari</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Schmidt</surname>
          </string-name>
          et al (Eds.):
          <source>Proceedings of the 11th International Conference on Cooperative Information Systems (CoopIS'2003)</source>
          , Springer-Verlag,
          <year>LNCS2888</year>
          . (
          <year>2003</year>
          ) pp.
          <fpage>218</fpage>
          -
          <lpage>234</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Su</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ilebrekke</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>A Comparative Study of Ontology Languages and Tools</article-title>
          ,
          <source>The International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'02)</source>
          , Toronto, Canada, (
          <year>2002</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23.
          <string-name>
            <surname>Sure</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Studer</surname>
          </string-name>
          , R.: On-To.Knowledge Methodology - Final
          <string-name>
            <surname>Version</surname>
          </string-name>
          . Institute AIFB, University of Karlsruhe.
          <source>September</source>
          <volume>26</volume>
          (
          <year>2002</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          24.
          <string-name>
            <surname>Sølvberg</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Data and What They Refer to</article-title>
          . In: Chen,
          <string-name>
            <given-names>P.</given-names>
            ,
            <surname>Akoka</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            ,
            <surname>Kangassalo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            ,
            <surname>Thalheim</surname>
          </string-name>
          ,
          <string-name>
            <surname>B.</surname>
          </string-name>
          , (eds.):
          <article-title>Conceptual Modeling: Current Issues and Future Trends</article-title>
          .
          <source>LNCS 1565</source>
          . Springer Verlag (
          <year>1999</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          25.
          <string-name>
            <surname>Uschold</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gruninger</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Ontologies: Principles, Methods and Applications</article-title>
          . Knowledge Engineering Review.
          <volume>11</volume>
          (
          <issue>2</issue>
          ) (
          <year>1996</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          26.
          <string-name>
            <surname>Uschold</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          : Building Ontologies:
          <article-title>Towards a Unified Methodology</article-title>
          .
          <source>The 16th Annual Conference of the British Computer Society Specialist Group on Expert Systems</source>
          . Cambridge, United Kingdom, (
          <year>1996</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref27">
        <mixed-citation>
          27.
          <string-name>
            <surname>Wand</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>Mario Bunge's Ontology as a Formal Foundation for Information Systems Concepts</article-title>
          . In: Weingartner P and Dorn G (ed.)
          <source>: Studies on Mario. Treatise</source>
          , Rodopi, Atlanta (
          <year>1990</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref28">
        <mixed-citation>
          28.
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          , Zhang,
          <string-name>
            <surname>Y.</surname>
          </string-name>
          :
          <article-title>An Analytical Evaluation of NIAM's Grammar for Conceptual Schema Diagrams</article-title>
          .
          <source>Information Systems Journal</source>
          <volume>6</volume>
          (
          <issue>2</issue>
          ):
          <fpage>147</fpage>
          -
          <lpage>170</lpage>
          (
          <year>1996</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>