<!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>KnowWE - A Wiki for Knowledge Base Development</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Joachim Baumeister</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jochen Reutelshoefer</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Volker Belli</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Albrecht Striffler</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Reinhard Hatko</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Markus Friedrich</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Intelligent Systems, University of Wu ̈rzburg</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>denkbares GmbH</institution>
          ,
          <addr-line>Friedrich-Bergius-Ring 15, D-97076 Wu ̈rzburg, Ger-</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>The development of knowledge systems has been driven by changing approaches, starting with special purpose languages in the 1960s that evolved later to dedicated editors and environments. Nowadays, tools for the collaborative creation and maintenance of knowledge became attractive. Such tools allow for the work on knowledge even for distributed panels of experts and for knowledge at different formalization levels. The paper (tool presentation) introduces the semantic wiki KnowWE, a collaborative platform for the acquisition and use of different types of knowledge, ranging from semantically annotated text to strong problem-solving knowledge. We also report on some current use cases of KnowWE.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        The utility of decision-support systems proved in numerous
examples over the past years. The actual progression of knowledge-based
systems goes back to the early years of expert systems. Starting with
dedicated AI languages, such as LISP [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ] and Prolog [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ],
taskdriven tools have been developed to construct intelligent systems
more efficiently, e.g., see [
        <xref ref-type="bibr" rid="ref6 ref7">6, 7</xref>
        ]. Recently, a number of development
tools promoted the creation of knowledge on different
formalization levels. That way, explicit process knowledge (e.g., rules,
decision trees, fault models) can be linked with ontological relations or
even text and multimedia content. Semantic wikis [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ] are a
prominent example for supporting such a knowledge formalization
continuum [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ], e.g., see the systems Semantic MediaWiki[
        <xref ref-type="bibr" rid="ref14">14</xref>
        ], PlWiki [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ],
and MoKi [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ].
      </p>
      <p>
        In this paper, we introduce the semantic wiki KnowWE that
emphasizes the development of strong problem-solving knowledge
within the knowledge formalization continuum. The system is the
latest successor of a 30-years list of ancestors of diagnostic expert
shell kits. Starting with the system MED1 [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ] and MED2 [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]
(initially implemented in INTERLISP, then ported to FRANZLISP) the
knowledge engineers needed to use an internal knowledge
representation syntax to built the knowledge bases. The successor D3 [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ]—
an implementation in Allegro Common Lisp—offered a graphical
user interface based on forms, tables, and trees to simplify the
knowledge acquisition and to enable domain specialists to define the
knowledge by themselves. The full reimplementation d3web (started
in 2000 and implemented in Java) brought multi-user and
multisession capabilities to the reasoning engines and also offered a
webbased user interface for developed knowledge bases for the first time.
As well, the knowledge modeling environment KnowME
(Knowledge Modeling Environment) was implemented in Java and copied
the graphical editors of the shell-kit D3, but also added sophisticated
tools for testing and refactoring the developed knowledge bases [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <p>However, all aforementioned systems only support the work of one
knowledge engineer at the same time, thus hindering a collaborative
and distributed development process with many participants.
Furthermore, the graphical editors restricted the structuring possibilities of
the knowledge bases by the system-defined structure and
expressiveness. In consequence, the engineers often needed to fit their
knowledge structure into the possibilities of the tool. More importantly, the
mix of different formalization levels was not possible, e.g., by
relating ontological knowledge with solutions of a decision tree.</p>
      <p>
        As the successor of KnowME the system KnowWE (Knowledge
Wiki Environment) [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] offered a web-based wiki front-end for the
knowledge acquisition and supported the collaborative
engineering of knowledge at different formalization levels. Strong
problemsolving knowledge is mixed with corresponding text and multimedia
in a natural manner. The knowledge base can be flexibly structured
by distributing the particular knowledge modules over a collection of
linked wiki articles, each covering a particular aspect of the domain.
      </p>
      <p>In the following sections, we describe notable features and
developments of the system KnowWE and we briefly discuss some current
applications.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Applications and Usage of KnowWE</title>
      <p>In this section, we first sketch the typical application domains of
KnowWE and then we describe typical practices for knowledge
development with the system.
2.1</p>
    </sec>
    <sec id="sec-3">
      <title>Application Domains</title>
      <p>
        Historically, the typical use of the system was the development of
diagnostic knowledge bases, since this problem category was the core
domain of d3web and its predecessors. Nowadays, KnowWE is still
used to develop decision-support systems for diagnosis,
classification, or recommendation tasks. As KnowWE can be also used for
ontology engineering and clinical guideline engineering, however,
the application areas are broadened today. For example, we see
applications for the definition of clinical guidelines [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], the
configuration of HCI devices [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], and the ontological formalization of ancient
history [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ].
      </p>
      <p>In summary, almost all applications combine formal knowledge
with informal content of the wiki, thus improving the
development and the use of the knowledge system. In the following
section we describe basic practices for developing knowledge bases with
KnowWE.
2.2</p>
    </sec>
    <sec id="sec-4">
      <title>Practices for Knowledge Development</title>
      <p>Distribution of Knowledge In form-based tools the knowledge is
typically entered in predefined editor fields. That way, the knowledge
engineer is bound to the given organization strategy of the particular
tool. In a semantic wiki the engineer is free to partition and distribute
the knowledge across the wiki articles. Thus, specific articles can
be created to define the particular aspects of the knowledge base. In
many cases, this freedom is a significant advantage when compared
to form-based tools, since the distribution strategy can be adapted to
the current project requirements and the characteristics of the
knowledge. However, in any way the knowledge engineer has the burden to
formulate a distribution strategy for the knowledge in the wiki before
starting with the knowledge engineering task.</p>
      <p>In the past, a number of useful distribution patterns have been
identified. It is important to notice that the patterns can/should be
modified according to the project requirements, and that they can be
combined with other patterns.</p>
      <sec id="sec-4-1">
        <title>Solution-oriented distribution: For each possible system output</title>
        <p>(or coherent group of outputs), an article is created in the wiki. The
article contains the definitions of the output and formal knowledge
to derive this particular output. For larger systems, sub-articles can
be defined that are linked from the main article.</p>
      </sec>
      <sec id="sec-4-2">
        <title>Problem area-oriented distribution: For each problem area (co</title>
        <p>herent and named groups of inputs to the system), an article is
created in the wiki. Each article contains the definitions of the
problem area (e.g., symptoms concerning the problem area) and
links to articles, where derivation knowledge is defined relevant to
the particular problem areas.</p>
      </sec>
      <sec id="sec-4-3">
        <title>Concept-oriented distribution: For each concept of the applica</title>
        <p>tion domain an article is created. Attributes and relations of this
concept are also defined on this article. Also links to related
concepts are included.</p>
        <p>Namespaces and Compilation of Knowledge In the past, tools only
allowed the creation of one knowledge base at the same time. Current
environments enable the development of a collection of knowledge
bases within one workspace. Here, coherent parts of knowledge need
to be clustered and labeled by namespaces. For smaller knowledge
bases, namespaces are often used to tag the knowledge relevant for
this knowledge base.</p>
        <p>A dedicated article is used as a sink for the definition of a
knowledge base, i.e., to collect the knowledge packages for the specified
namespaces. That way, a wiki can be used to create different
variants of a knowledge base, i.e., by having an article compiling all
knowledge labeled with namespaces n1, and by having another
article compiling all knowledge labeled with namespaces n1 and n2.
The namespaces and corresponding compilation of knowledge is
depicted in Figure 1.</p>
        <p>
          As a historical remark, the current mechanism of namespaces and
their compilation is different from the original ideas of KnowWE
described in [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ]: Back then, every article was compiled into a single
knowledge base and therefore had to include all relevant concepts
and derivations. In a distributed problem-solving process the
different wiki articles and knowledge bases, respectively, communicated
with each other exchanging input and output concepts. The outputs of
the problem-solving process were displayed to the user in an
aggregated view. The concept of distributed problem-solving uncovered
two critical issues in real-world knowledge base development: First,
the reasoning process was not intuitive for domain specialists who
&lt;&lt;uses&gt;&gt;
        </p>
        <p>&lt;&lt;uses&gt;&gt;
&lt;&lt;uses&gt;&gt;
&lt;&lt;uses&gt;&gt;
&lt;&lt;uses&gt;&gt;</p>
        <p>Article B
Decision Trees (n2)</p>
        <p>Article D</p>
        <p>Rules (n1)</p>
        <p>Article A
Knowledge Base K2
uses: n1, n2</p>
        <p>Article C
Terminology (n1)</p>
        <p>Article E
Knowledge Base K1
uses: n1
were usually not familiar with distributed reasoning algorithms. To
help the users, very sophisticated explanations for derived solutions
needed to be presented in order to allow for effective debugging when
problems appeared. Second, the wiki often was used only as the
development environment of the knowledge base. The target platform
of the knowledge system typically differed from the wiki system,
so the knowledge base needed to be joined and exported from the
wiki into a single knowledge base to be applicable for the later use.
In consequence, the exported knowledge base needed further quality
management, since the reasoning results of the distributed reasoning
may differed from the reasoning results of the monolithic knowledge
base. Therefore, the test and development of a monolithic knowledge
base (the setting of the target platform) within the wiki appeared to
be more efficient for developers.</p>
        <p>Endpoints for Testing the Knowledge During knowledge base
development it is important to have powerful interfaces to test the
current state of the knowledge base. In KnowWE, we offer a dialog
interface for testing strong problem-solving knowledge, i.e., by
presenting a form to enter values for input concepts. Derived solutions
are presented in a configurable output panel. The test dialog and
output panel can be placed in an arbitrary wiki article in order to give
the user the required flexibility to test the knowledge base where it is
currently developed.</p>
        <p>
          For ontology engineering we offer a markup to formulate
SPARQL [
          <xref ref-type="bibr" rid="ref24">24</xref>
          ] queries for RDF ontologies [
          <xref ref-type="bibr" rid="ref23">23</xref>
          ]. For OWL ontologies
we are able to formulate specific class expression queries in
Manchester OWL syntax [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ].
        </p>
      </sec>
      <sec id="sec-4-4">
        <title>Simple Support for Authoring Administration Within a colla</title>
        <p>borative development process not all involved engineers are working
on the knowledge base at the same time. Moreover, the engineers are
often not located at the same place. Therefore, the tool needs to offer
support for administrative authoring tasks. Typical examples are as
follows:</p>
        <p>Label unfinished areas of the knowledge base, i.e., todo tasks.
Mark identified issues in knowledge definitions, i.e., problems.</p>
        <p>Specify urgent tasks for the development phase.</p>
        <p>For all these tasks a specific user or group of users needs to be
attachable in order to personalize them.</p>
        <p>KnowWE offers a simple todo markup, that can be used to
label content or formal knowledge in the wiki article with the action
requests as described above. Furthermore, a tagging plugin allows
for the annotation of entire pages. Tag clouds with instant access to
tagged pages can be inserted into the wiki; most often at the bottom
of the left navigation panel.</p>
      </sec>
      <sec id="sec-4-5">
        <title>Use of Standard Wiki Features KnowWE benefits from a set of</title>
        <p>useful features, that usually comes with a standard wiki distribution:
A user and group management allows for the fine-grained
definition of user rights (view and edit) for single articles.</p>
        <p>All wiki articles are under version control. That way, older
versions of an article (and its contained knowledge definitions) can
be compared with the current version of the article. When
necessary an older version of an article can be restored.</p>
        <p>A recent changes view displays a list of recently modified articles
and knowledge definitions. With this feature, it is easy to keep
track of the current development process.
3</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Notable Features</title>
      <p>KnowWE is a development environment that supports the knowledge
engineer on all aspects of the development process, such as
authoring assistance, error handling, refactoring, manual testing, and
quality management. In this section we present a selection of the most
relevant features of KnowWE.
3.1</p>
    </sec>
    <sec id="sec-6">
      <title>Knowledge Acquisition</title>
      <p>
        In KnowWE, knowledge is formalized by using (knowledge) markup
languages. A markup language is a formal syntax provided with an
internal mapping to the target knowledge representation which is
performed instantly after page save by a compilation script. The markup
languages can be used at any place in the wiki articles to create
elements of the knowledge base allowing for interweaving formal and
informal knowledge. Figure 2 shows an article taken from an
exemplary car fault diagnosis wiki describing the concept Clogged air
filter. The article contains informal content such as plain text and
images (e.g., in the top half of the article) as well as formalized
knowledge (rules at the bottom part of the article). KnowWE
provides markup languages for creating knowledge bases in the d3web3
format and for creating ontologies in OWL. For the d3web reasoner,
markups for decision trees, set-covering models, decision tables,
and rules are provided as introduced in [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Additionally, executable
flowcharts can be designed in the DiaFlux language by using a
graphical editor available the wiki [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. For the development of ontologies
KnowWE provides markups based on well-known languages such
as the Manchester Syntax for OWL [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ] and the Turtle Syntax for
RDF 4.
3.2
      </p>
    </sec>
    <sec id="sec-7">
      <title>Authoring Support</title>
      <p>In addition to the basic wiki editing interface, KnowWE provides
different kinds of editing support. The system provides instant edit</p>
      <sec id="sec-7-1">
        <title>3 http://d3web.sourceforge.net</title>
        <p>4 http://www.w3.org/TeamSubmission/turtle
functionality that allows to edit a section, i.e. a coherent part of an
article, within the view of the wiki page as shown in Figure 3.</p>
        <p>Typically, the editing of tables is difficult when using the standard
text markup for tables. Therefore, KnowWE provides instant editing
capabilities for tables in a WYSIWYG style allowing each cell to be
edited by one click as shown in Figure 5. The table content is stored
within the wiki page source in standard wiki markup.</p>
        <p>Additionally, a code completion mechanism supports the user to
create markup sections in the text editing panel.</p>
        <p>Often, it becomes necessary to obtain an overview of the
occurrences and uses of a particular domain concept. Figure 4 shows an
overview page for the concept Leaking air intake system, that is
dynamically generated when requested by clicking on the concept name
in the wiki. Besides the pure information about the concept, also
small refactoring capabilities are available: At the top, a renaming
tool is presented that allows the wiki-wide renaming of the concept,
thus ensuring a working and consistent knowledge base. In the
bottom part of the info page, the user can see an overview of the wiki
articles, where the concept is used (links yield to the particular
occurrences in the wiki).
3.3</p>
      </sec>
    </sec>
    <sec id="sec-8">
      <title>Testing</title>
      <p>As a modern knowledge engineering environment, KnowWE
supports an agile knowledge engineering approach. Here, knowledge
bases are developed in an evolutionary manner, always maintaining
an executable and correct version at a certain level of competency. In
this context, (automated) testing is very important to ensure
successful evolutionary development cycles. Test cases are either developed
manually by defining expected solutions for a given set of inputs
or are imported from external testing suites. We adopted the
continuous integration practice known from software engineering into
the knowledge engineering tool KnowWE. A continuous integration
dashboard in the wiki is used to define a collection of quality tests
(for validation and verification). As a special knowledge markup, the
dashboard can be configured easily to support tailored quality
management for the respective project. Registered automated tests are
performed on the current version of the wiki knowledge base and
Figure 2.</p>
      <p>A wiki page from a car-fault diagnosis knowledge base in KnowWE.
give verbose feedback to the knowledge engineers by status
messages on the dashboard as shown in Figure 6.</p>
      <p>At any time, the dashboard displays the current state of the wiki
knowledge base with respect to quality at one glance. Also the
history of builds is listed on the left panel of the dashboard. Older builds
can be inspected by clicking on the build number, for instance,
because the developer wants to check the reason for the build problem.
For the selected build the applied tests are shown in the center of
the dashboard. In case of errors, the tests give detailed reports on the
error s as well as links are provided for further investigation and
debugging of the issue. In Figure 6, the top two tests have been passed
successfully, while the lower two tests have failed showing more
details explaining the actual problem. The tests can be activated by
three trigger-modes onChange, onSchedule, and onDemand. In the
mode onChange, the tests are executed after each modification of
a wiki article which changed the knowledge base. This mode
provides the most immediate feedback possible. However, for very time
consuming tests this mode can yield inconvenient delays. The mode
onSchedule executes the tests on a regular basis according to a
specified schedule, for instance at night. This mode is preferable also for
tests with considerable high execution time. Further, in the mode
onDemand all responsibility for test execution is left to the user, since
the user has to explicitly start a continuous integration run. The user
has to decide, when the execution is reasonable, which often is an
option for tests with high runtime (considering sufficiently
experienced users). It is important to note, that the user can define different
dashboards, for instance, one for quick tests running onChange and
another one for executing larger/time-consuming tests onSchedule.</p>
      <p>
        Additionally to the dashboard, located on a specific wiki page,
KnowWE provides a CI-Daemon (daemon for continuous
integration) which can be connected to a dashboard. The CI-Daemon is
always visible in the KnowWE user interface basically only showing a
colored bubble (green, red, or grey) representing the current state of
the connected dashboard. In Figure 2 the CI-Daemon is visible as a
green bubble on the left of the page below the navigation menu. In
this way, the users are always aware of the current quality state not
requiring to frequently visit the dashboard article. A very important
category of tests for knowledge bases are the competency tests which
can be implemented by (sequential) test cases [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Figure 7 shows a
markup for the definition of sequential test cases in KnowWE.
During execution, the test case is performed line-by-line. Equal signs
express assignments of input data, added to the current testing session.
Expressions containing brackets are expected derivations. The test
fails, if the expected derivations do not match the actual ones. That
way, input-output behavior of a knowledge base can be covered by
automated competency tests which can be attached to a continuous
integration dashboard easily.
For instant manual testing of the created knowledge base KnowWE
provides an embedded interview component which can be embedded
into any wiki article. Figure 8 shows the interview interface which is
dynamically generated from the connected knowledge base. It allows
the user to answer the input questions and instantly gives feedback of
the derived solution concepts. In the shown example, the
combination of inputs derived the established solution concept Bad ignition
timing. The solutions Clogged air filter, Flat battery, and Leaking air
intake system are also suggested as potential solutions while
Damaged idle speed system is marked as an excluded solution.
      </p>
      <p>For developed ontologies KnowWE provides an inline-query
mechanism to summarize the knowledge of the ontology as a
dynamic content element. Using a markup based on the SPARQL
language, queries can be defined within the wiki pages. They are
evaluated on page load on the current version of the developed ontology.
The result of the query is displayed in the view of the wiki article.
4</p>
    </sec>
    <sec id="sec-9">
      <title>Known Uses of KnowWE</title>
      <p>KnowWE is currently used in several knowledge engineering
projects of different subject domains, both in academic and industrial
contexts. In this section, we report on a selection of these projects and
we give a brief overview of the use of the system KnowWE.
4.1</p>
    </sec>
    <sec id="sec-10">
      <title>Managing Chemical Safety with KnowSEC</title>
      <p>KnowSEC (Managing Knowledge of Substances of Ecological
Concern) is a group-wide wiki to manage substance-related work(flows)
within a group of the German Federal Environmental Agency
(Umweltbundesamt). Here, every substance is represented by a
distinct wiki article storing important information such as chemical
endpoints, relevant literature, or comments of group members. The
information is entered in (user-friendly) editors in the wiki and
translated into special markups in the background; thus, the information is
also stored in an RDF ontology. That way, the information currently
available in the wiki but also the latest knowledge changes can be
aggregated and visualized by integrated SPARQL queries.</p>
      <p>Besides the storage of weakly formalized knowledge, KnowSEC
also offers knowledge-based modules that support the classification
of substances for a number of critical chemical characteristics. At the
moment, modules are available for supporting the assessment of the
relevance, the persistence, the bioaccumulation, and the toxicity of
a given substance. These aspects (e.g., relevance, persistence, etc.)
are developed in the wiki using different namespaces, so they can
be maintained and tested independently from the other aspects. For
the users of KnowSEC, a joint knowledge base with all aspects is
virtually defined including all above namespaces.</p>
      <p>Currently, the knowledge base is still under development. The joint
version of the knowledge base consists of 214 questions (user inputs
to characterize the investigated substance) grouped by 46
questionnaires, 146 solutions (assessments of the investigated substance), and
more than 1.000 rules to derive the assessments. The rules are
automatically generated from entered decision tables that allow for an
intuitive and maintainable knowledge development process.</p>
      <p>Two knowledge engineers are supporting a team of domain
specialists, that partly define the knowledge base themselves, partly
giving domain knowledge to the knowledge engineers.
4.2</p>
    </sec>
    <sec id="sec-11">
      <title>Modeling Clinical Guidelines in KnowWE</title>
      <p>
        Within the project CliWE5 (Clinical Wiki Environments), KnowWE
is extended by plugins to allow for the collaborative development
of Computer-Interpretable Guidelines (CIGs). Clinical guidelines are
based on evidence-based medicine and improve patient outcome by
providing standardized treatments. Their computerization allows for
decision-support systems at the point of care, or even the automated
application by closed-loop systems in the setting of Intensive Care
Units. The goal of CliWE is to create a platform that supports the
engineering of CIGs by spatially distributed domain specialists.
Therefore, the graphical CIG language DiaFlux was created. Its focus lies
on the direct applicability and understandability by domain
specialists [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. By offering only a small set of intuitive language elements,
the guidelines can in the best case be built and maintained by the
domain specialists themselves. Currently, the extensions developed
within CliWE are used in the project WiM-Vent6. Its goal is to
integrate medical expertise concerning mechanical ventilation and
physiological models into an automated mechanical ventilator [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. In
the course of this project, one knowledge engineer guides and
supports one domain specialists (backed up by a committee of further
experts) during the knowledge engineering process. The latest version
of the guideline contains 17 DiaFlux modules, that in total contain
295 nodes and 345 edges. During its development, the testing
capabilities of KnowWE are extensively used. So far, about 1.100
continuous integration builds were automatically executed. Especially the
empirical testing feature is applied to define and process local test
cases, as well as ones that are created using external tools, e.g., a
Human Patient Simulator. Those simulated patient sessions can then
be replayed in KnowWE for introspecting and debugging the
guideline execution. A high-lighting of the taken paths within the DiaFlux
models serves as an accessible means of explanation for the domain
specialists.
5 funded by Draegerwerk AG &amp; Co. KGaA, Lu¨beck, Germny, 2009-2012
6 ”WiM-Vent” - Knowledge- and model-based Ventilation, funded by BMBF
(Federal ministry of education and research)
4.3
      </p>
    </sec>
    <sec id="sec-12">
      <title>ESAT: Selecting Assisting Technologies for</title>
    </sec>
    <sec id="sec-13">
      <title>Handicaped People</title>
      <p>
        ESAT (Expertensystem fu¨r Assistierende Technologien [german]) is
an expert system designed to determine an appropriate set of
humancomputer interaction devices for handicapped people. In the
application scenario a detailed profile of the physical capabilities (e.g.,
visual or motorical abilities) for a person is entered into the system.
The knowledge base derives a set of input and output devices, that
together provide optimal computer interaction for that specific
person. In advance, the underlying domain knowledge has been
elaborated by a comprehensive study in 2008. The actual
implementation of a corresponding executable knowledge base using KnowWE
has started in spring 2011. Currently, the ESAT knowledge base
has been completed and the system will be launched for a testing
phase at the project’s initiator (FAB7). The knowledge base has been
implemented by mainly one knowledge engineer using KnowWE.
For knowledge representation production rules are used. In total the
ESAT knowledge base currently contains 654 rules distributed on 74
wiki articles. Also in this single-user context the possibility of free
structuring allows for reasonable and clear distribution of the
knowledge. The terminology is defined on different wiki articles dealing
with vision, hearing, motoric and haptic abilities and general skills
(e.g., braille) respectively. The about 50 different types of input and
output devices (e.g., various kinds of keyboards, sensors, displays)
are each described in distinct wiki articles also containing the rules
relevant for the derivation of the particular device. Five heuristics
have been established within a theoretical study, describing solutions
for major categories of handicaps. These are implemented on distinct
wiki articles forming the core of the derivation knowledge. The
testing framework for continuous integration discussed in Section 3.3 is
extensively used to guarantee the save development process by
uncovering undesired side-effects of modifications including at least
one sequential test case for each device and heuristic. More details
about the project are given by Kreutzer [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ].
4.4
      </p>
    </sec>
    <sec id="sec-14">
      <title>Continuous Medical Cataract Knowledge with</title>
    </sec>
    <sec id="sec-15">
      <title>WISSKONT</title>
      <p>The WISSKONT project considers the creation of an intelligent
information system in the medical domain of cataract surgery. The
system is currently under development and it will support the
ophtalmologist during the treatment process before, in-between, and after
the cataract surgery. That way, the system needs to present relevant
knowledge of the domain, which is integrated at varying degrees of
formality. For instance, textbook content with images describe
particular aspects of a treatment process, whereas temporal relations
of the treatment phases are represented by ontological annotations.
Here, informal content is correlated by ontological relations. In
consequence, a semantic search mechanism provides the presentation of
the relevant information at any stage of the treatment process.
Additionally, for a number of decision tasks occurring during the
treatment, distinct decision-support modules are created, e.g., the
selection of an appropriate lens for the surgery based on the patient’s
parameters. The integration of formalized and informal knowledge
allows the ophtalmologist to verify the recommendations of the
knowledge base by analyzing the comprehensive support information
provided with the recommendation.</p>
      <p>The WISSKONT project is part of the WISSASS project, a
cooperation of the Karlsruhe Institute of Technology, Germany (KIT) and</p>
      <sec id="sec-15-1">
        <title>7 http://www.vo-fab.at/</title>
        <p>the denkbares GmbH. It is funded as a ZIM-KOOP8 project by the
German Federal Ministry of Economics and Technology (BMWI).
5</p>
      </sec>
    </sec>
    <sec id="sec-16">
      <title>Conclusion</title>
      <p>In this paper, we presented the current state-of-the-art of the semantic
wiki KnowWE. The tool is used in knowledge engineering projects
that have a distributed and collaborative nature. Also, KnowWE is
capable to jointly represent and use knowledge at different levels of
formalization and therefore allows for the flexible organization and
elicitation of knowledge. We showed notable features of the tool,
such as dedicated markups and editors for knowledge acquisition and
use, but also features for (continuously) testing the developed
knowledge base. Publicly known projects and applications were reported,
that use KnowWE as their primary knowledge engineering
environment.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>Joachim</given-names>
            <surname>Baumeister</surname>
          </string-name>
          , '
          <article-title>Advanced empirical testing'</article-title>
          ,
          <source>Knowledge-Based Systems</source>
          ,
          <volume>24</volume>
          (
          <issue>1</issue>
          ),
          <fpage>83</fpage>
          -
          <lpage>94</lpage>
          , (
          <year>2011</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>Joachim</given-names>
            <surname>Baumeister</surname>
          </string-name>
          , Jochen Reutelshoefer, and Frank Puppe, '
          <article-title>Markups for knowledge wikis'</article-title>
          ,
          <source>in SAAKM'07: Proceedings of the Semantic Authoring, Annotation and Knowledge Markup Workshop</source>
          , pp.
          <fpage>7</fpage>
          -
          <lpage>14</lpage>
          , Whistler, Canada, (
          <year>2007</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>Joachim</given-names>
            <surname>Baumeister</surname>
          </string-name>
          , Jochen Reutelshoefer, and Frank Puppe, '
          <article-title>Engineering intelligent systems on the knowledge formalization continuum'</article-title>
          ,
          <source>International Journal of Applied Mathematics and Computer Science (AMCS)</source>
          ,
          <volume>21</volume>
          (
          <issue>1</issue>
          ), (
          <year>2011</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>Joachim</given-names>
            <surname>Baumeister</surname>
          </string-name>
          , Jochen Reutelshoefer, and Frank Puppe, '
          <article-title>KnowWE: A semantic wiki for knowledge engineering'</article-title>
          ,
          <source>Applied Intelligence</source>
          ,
          <volume>35</volume>
          (
          <issue>3</issue>
          ),
          <fpage>323</fpage>
          -
          <lpage>344</lpage>
          , (
          <year>2011</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>Joachim</given-names>
            <surname>Baumeister</surname>
          </string-name>
          , Dietmar Seipel, and Frank Puppe, '
          <article-title>Agile development of rule systems'</article-title>
          ,
          <source>in Handbook of Research on Emerging RuleBased Languages and Technologies: Open Solutions and Approaches</source>
          , eds., Giurca, Gasevic, and Taveter, IGI Publishing, (
          <year>2009</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>B.G.</given-names>
            <surname>Buchanan</surname>
          </string-name>
          and
          <string-name>
            <given-names>E.H.</given-names>
            <surname>Shortliffe</surname>
          </string-name>
          ,
          <article-title>Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project</article-title>
          ,
          <string-name>
            <surname>Addison-Wesley</surname>
          </string-name>
          ,
          <year>1984</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <surname>John</surname>
            <given-names>H.</given-names>
          </string-name>
          <string-name>
            <surname>Gennari</surname>
            ,
            <given-names>Mark A.</given-names>
          </string-name>
          <string-name>
            <surname>Musen</surname>
            , Ray W. Fergerson, William E. Grosso, Monica Crube´zy, Henrik Eriksson,
            <given-names>Natalya F.</given-names>
          </string-name>
          <string-name>
            <surname>Noy</surname>
          </string-name>
          , and Samson W. Tu, '
          <article-title>The evolution of prote´ge´: An environment for knowledgebased systems development',</article-title>
          <string-name>
            <given-names>Int. J.</given-names>
            <surname>Hum</surname>
          </string-name>
          .-Comput. Stud.,
          <volume>58</volume>
          (
          <issue>1</issue>
          ),
          <fpage>89</fpage>
          -
          <lpage>123</lpage>
          , (
          <year>January 2003</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>Chiara</given-names>
            <surname>Ghidini</surname>
          </string-name>
          , Barbara Kump,
          <string-name>
            <given-names>Stefanie N.</given-names>
            <surname>Lindstaedt</surname>
          </string-name>
          , Nahid Mahbub, Viktoria Pammer, Marco Rospocher, and Luciano Serafini, '
          <article-title>MoKi: The enterprise modelling wiki'</article-title>
          ,
          <source>in ESWC'09: The Semantic Web: Research and Applications</source>
          , volume
          <volume>5554</volume>
          <source>of LNCS</source>
          , pp.
          <fpage>831</fpage>
          -
          <lpage>835</lpage>
          . Springer, (
          <year>2009</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Reinhard</given-names>
            <surname>Hatko</surname>
          </string-name>
          , Joachim Baumeister, Volker Belli, and Frank Puppe, '
          <article-title>DiaFlux: A graphical language for computer-interpretable guidelines'</article-title>
          ,
          <source>in KR4HC'11: Proceedings of the 3th International Workshop on Knowledge Representation for Health Care</source>
          , (
          <year>2011</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>Reinhard</surname>
            <given-names>Hatko</given-names>
          </string-name>
          , Jochen Reutelshoefer, Joachim Baumeister, and Frank Puppe, '
          <article-title>Modelling of diagnostic guideline knowledge in semantic wikis'</article-title>
          ,
          <source>in Proceedings of the Workshop on Open Knowledge Models (OKM-2010) at the 17th International Conference on Knowledge Engineering and Knowledge Management (EKAW)</source>
          , (
          <year>2010</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <surname>Reinhard</surname>
            <given-names>Hatko</given-names>
          </string-name>
          , Dirk Scha¨dler, Stefan Mersmann, Joachim Baumeister, Norbert Weiler, and Frank Puppe, '
          <article-title>Implementing an automated ventilation guideline using the semantic wiki knowwe'</article-title>
          ,
          <source>in EKAW 2012: 18th International Conference on Knowledge Engineering and Knowledge</source>
          Management, eds.,
          <string-name>
            <surname>Heiner</surname>
            <given-names>Stuckenschmidt</given-names>
          </string-name>
          , Annette ten Teije, and Johanna Voelker, (
          <year>2012</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <surname>Matthew</surname>
            <given-names>Horridge</given-names>
          </string-name>
          , Nick Drummond, John Goodwin, Alan Rector, Robert Stevens, and
          <string-name>
            <surname>Hai H Wang</surname>
          </string-name>
          , '
          <article-title>The manchester owl syntax'</article-title>
          ,
          <source>in Proceedings of OWL: Experiences and Directions (OWLED'06)</source>
          , eds., Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace, Athens, Georgia, USA,, (
          <year>2006</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>S.</given-names>
            <surname>Kreutzer</surname>
          </string-name>
          ,
          <article-title>Ein Expertensystem zur Unterstu¨tzung ko¨rperbehinderter Menschen</article-title>
          , Diplomica,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14] Markus Kro¨tzsch, Denny Vrandecic´, and Max Vo¨lkel, '
          <article-title>Semantic MediaWiki'</article-title>
          ,
          <source>in ISWC'06: Proceedings of the 5th International Semantic Web Conference, LNAI 4273</source>
          , pp.
          <fpage>935</fpage>
          -
          <lpage>942</lpage>
          , Berlin, (
          <year>2006</year>
          ). Springer.
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>Dennis</given-names>
            <surname>Merritt</surname>
          </string-name>
          ,
          <source>Building Expert Systems in Prolog</source>
          , Springer, Berlin,
          <year>1989</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <surname>Grzegorz</surname>
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Nalepa</surname>
          </string-name>
          , '
          <article-title>PlWiki - a generic semantic wiki architecture'</article-title>
          , in ICCCI'09:
          <string-name>
            <surname>Computational</surname>
            <given-names>Collective</given-names>
          </string-name>
          <string-name>
            <surname>Intelligence. Semantic Web</surname>
          </string-name>
          ,
          <source>Social Networks and Multiagent Systems, number 5796 in LNCS</source>
          , pp.
          <fpage>345</fpage>
          -
          <lpage>356</lpage>
          . Springer, (
          <year>2009</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <surname>Frank</surname>
            <given-names>Puppe</given-names>
          </string-name>
          , '
          <article-title>Requirements for a Classification Expert System Shell and their Realization in MED2'</article-title>
          ,
          <source>Applied Artificial Intelligence</source>
          ,
          <volume>1</volume>
          ,
          <fpage>163</fpage>
          -
          <lpage>171</lpage>
          , (
          <year>1987</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <surname>Frank</surname>
            <given-names>Puppe,</given-names>
          </string-name>
          '
          <article-title>Knowledge Reuse among Diagnostic Problem-Solving Methods in the Shell-Kit D3'</article-title>
          ,
          <source>International Journal of HumanComputer Studies</source>
          ,
          <volume>49</volume>
          ,
          <fpage>627</fpage>
          -
          <lpage>649</lpage>
          , (
          <year>1998</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>Frank</given-names>
            <surname>Puppe</surname>
          </string-name>
          and
          <article-title>Bernhard Puppe, 'Overview on MED1: An heuristic diagnostics system with an efficient control structure'</article-title>
          ,
          <source>in Proceedings of the German Workshop on Artificial Intelligence (GWAI-83)</source>
          ,
          <source>Informatik-Fachberichte 76</source>
          , pp.
          <fpage>11</fpage>
          -
          <lpage>20</lpage>
          . Springer, (
          <year>1983</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20]
          <string-name>
            <surname>Jochen</surname>
            <given-names>Reutelshoefer</given-names>
          </string-name>
          , Florian Lemmerich, Joachim Baumeister, Jorit Wintjes, and Lorenz Haas, '
          <article-title>Taking OWL to Athens - Semantic Web technology takes ancient greek history to students'</article-title>
          ,
          <source>in ESWC'10: Proceedings of the 7th Extended Semantic Web Conference</source>
          , pp.
          <fpage>333</fpage>
          -
          <lpage>347</lpage>
          . Springer, (
          <year>2010</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>Sebastian</given-names>
            <surname>Schaffert</surname>
          </string-name>
          , Franc¸ois Bry, Joachim Baumeister, and Malte Kiesel, 'Semantic wikis',
          <source>IEEE Software</source>
          ,
          <volume>25</volume>
          (
          <issue>4</issue>
          ),
          <fpage>8</fpage>
          -
          <lpage>11</lpage>
          , (
          <year>2008</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          [22]
          <string-name>
            <surname>Guy</surname>
            <given-names>L.</given-names>
          </string-name>
          <string-name>
            <surname>Steele</surname>
          </string-name>
          and Richard P. Gabriel, '
          <article-title>The evolution of lisp', in The second ACM SIGPLAN conference on History of programming languages</article-title>
          , pp.
          <fpage>231</fpage>
          -
          <lpage>270</lpage>
          , (
          <year>1993</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          [23]
          <fpage>W3C</fpage>
          .
          <article-title>RDF - resource description framework recommendation</article-title>
          : http://www.w3.org/rdf/,
          <year>February 2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          [24]
          <fpage>W3C</fpage>
          . SPARQL recommendation: http://www.w3.org/tr/rdf-sparqlquery,
          <year>January 2008</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>