Jochen Reutelshoefer

KnowWE: a Semantic Wiki for knowledge engineering

Recently, Semantic Wikis showed reasonable success as collaboration platforms in the context of social semantic applications. In this paper, we present a novel approach, that interprets the concept of Semantic Wikis as a knowledge engineering environment, that effectively help to build decision-support systems. We introduce the Semantic Wiki KnowWE, that provides the possibility to define and maintain ontologies together with strong problem-solving knowledge. Thus, the wiki can be used to collaboratively build decision-support systems. These enhancements require extensions of the standard Semantic Wiki architecture by a task ontology for problem-solving and an adapted reasoning process. We discuss these extensions in detail, and we describe a case study in the field of medical emergency systems.

KnowWE: community-based knowledge capture with knowledge wikis

This paper presents a collaborative knowledge engineering approach based on the widespread wiki technique.The interface of a standard wiki system is extended to allow for the capture, the maintenance and the use of knowledge systems.

Engineering intelligent systems on the knowledge formalization continuum

Engineering intelligent systems on the knowledge formalization continuum In spite of their industrial success, the development of intelligent systems is still a complex and risky task. When building intelligent systems, we see that domain knowledge is often present at different levels of formalization—ranging from text documents to explicit rules. In this paper, we describe the knowledge formalization continuum as a metaphor to help domain specialists during the knowledge acquisition phase. To make use of the knowledge formalization continuum, the agile use of knowledge representations within a knowledge engineering project is proposed, as well as transitions between the different representations, when required. We show that a semantic wiki is a flexible tool for engineering knowledge on the knowledge formalization continuum. Case studies are taken from one industrial and one academic project, and they illustrate the applicability and benefits of semantic wikis in combination with the knowledge formalization continuum.

Taking OWL to athens: semantic web technology takes ancient greek history to students

The HermesWiki project is a semantic wiki application on Ancient Greek History. As an e-learning platform, it aims at providing students effective access to concise and reliable domain knowledge, that is especially important for exam preparation. In this paper, we show how semantic technologies introduce new methods of learning by supporting teachers in the creation of contents and students in the personalized identification of required knowledge. Therefore, we give an overview of the project and characterize the semi-formalized content. Additionally, we present several use cases and describe the semantic web techniques that are used to support the application. Furthermore, we report on the user experiences regarding the usefulness and applicability of semantic technologies in this context.

Developing knowledge systems with continuous integration

With the industrial success of knowledge-based systems new requirements with respect to Knowledge Engineering processes arise. Besides advanced knowledge acquisition tools, novel techniques for the quality assurance need to be established in order to maintain a safe development process. In Software Engineering, the application of continuous integration as a collection of practices has proved to be suitable for this task. In this paper, we transfer the general ideas of continuous integration from Software Engineering to Knowledge Engineering, and we demonstrate the implementation of a continuous integration tool into a state-of-the-art Knowledge Engineering workbench.

Incremental compilation of knowledge documents for markup-based closed-world authoring

Text-based authoring using knowledge markups is an increasingly popular editing paradigm in manual knowledge acquisition. Closed world authoring environments support the user to form a coherent knowledge base by checking the referenced objects against a set of declared domain objects. In this scenario, the task of efficient translation (compilation) of the text sources is non-trivial. Additionally, in real-world applications frequent small changes are performed on the source documents and instant feedback to the author is crucial. Therefore, a scalable compilation into the target knowledge representations is necessary. In this paper, we introduce a general algorithm for the incremental compilation of knowledge documents, that analyzes the current document modifications and performs minimal updates on the knowledge base. We provide a formal proof of the correctness of the algorithm and show the effectiveness of the approach in several case studies, using various kinds of knowledge representations and markups.