Section: Software and Platforms

Knowledge-Based Systems and Semantic Web Systems

The Kasimir System for Decision Knowledge Management

Participants : Nicolas Jay, Jean Lieber [contact person] , Amedeo Napoli, Thomas Meilender.

Keywords:

classification-based reasoning, case-based reasoning, decision knowledge management, knowledge edition, knowledge base maintenance, semantic portal

The objective of the Kasimir system is decision support and knowledge management for the treatment of cancer. A number of modules have been developed within the Kasimir system for editing treatment protocols, visualization, and maintenance. Kasimir is developed within a semantic portal, based on OWL. KatexOWL (Kasimir Toolkit for Exploiting OWL Ontologies, http://katexowl.loria.fr ) is developed in a generic way and is applied to Kasimir. In particular, the user interface EdHibou of KatexOWL is used for querying the protocols represented within the Kasimir system (see [17] where an an extension of Kasimir for multi-viewpoint case-based reasoning is presented).

CabamakA (case base mining for adaptation knowledge acquisition) is a module of the Kasimir system. This system performs case base mining for adaptation knowledge acquisition and provides information units to be used for building adaptation rules. Actually, the mining process in CabamakA is based on a frequent close itemset extraction module from the Coron platform (see § 5.1.1 ).

The Oncologik system [12] is a collaborative editing tool aiming at facilitating the management of medical guidelines (http://www.oncologik.fr/ ). Based on a semantic wiki, it allows the acquisition of formalized decision knowledge. Oncologik also includes a graphical decision tree editor called KcatoS.

Taaable: a system for retrieving and creating new cooking recipes by adaptation

Participants : Valmi Dufour-Lussier, Emmanuelle Gaillard, Laura Infante Blanco, Florence Le Ber, Jean Lieber, Amedeo Napoli, Emmanuel Nauer [contact person] .

Keywords:

knowledge acquisition, ontology engineering, semantic annotation, case-based reasoning, hierarchical classification, text mining

Taaable  [69] is a system whose objectives are to retrieve textual cooking recipes and to adapt these retrieved recipes whenever needed. Suppose that someone is looking for a “leek pie” but has only an “onion pie” recipe: how can the onion pie recipe be adapted?

The Taaable system combines principles, methods, and technologies such as case-based reasoning (CBR), ontology engineering, text mining, text annotation, knowledge representation, and hierarchical classification. Ontologies for representing knowledge about the cooking domain, and a terminological base for binding texts and ontology concepts, were built from textual web resources. These resources are used by an annotation process for building a formal representation of textual recipes. A CBR engine considers each recipe as a case, and uses domain knowledge for reasoning, especially for adapting an existing recipe w.r.t. constraints provided by the user, holding on ingredients and dish types.

The Taaable system is available on line since 2008 at http://taaable.fr . A new version of Taaable was implemented using Tuuurbine, a generic ontology-guided CBR engine based on semantic web technologies (see Section  5.4.3 ). BeGoood (see Section  5.4.4 ), a generic system for managing non-regression tests on knowledge bases, is also plugged for acquiring test sets. When the Taaable system returns answers to a query, the user may evaluate the relevance of the answers. Currently, user feedback is collected using BeGoood and will be used in the future to run tests when the knowledge exploited by the CBR system evolves. The objective is to ensure that the knowledge base evolution does not affect the quality of answers given by the CBR system.

Tuuurbine: a generic ontology guided case-based inference engine

Participants : Laura Infante Blanco, Jean Lieber, Emmanuel Nauer [contact person] .

Keywords:

case-based reasoning, inference engine, knowledge representation, ontology engineering, semantic web

The experience acquired since 5 years with the Taaable system conducted to the creation of a generic cased-based reasoning system, whose reasoning procedure is based on a domain ontology. This new system, called Tuuurbine (http://tuuurbine.loria.fr/ ), takes into account the retrieval step, the case base organization, but also an adaptation procedure which is not addressed by other generic case-based reasoning tools. Moreover, Tuuurbine is built over semantic web standards allowing to be connected to the web of data. The domain knowledge is represented in an RDF store, which can be interfaced with a semantic wiki, for collaborative edition and management of the knowledge involved in the reasoning system (cases, ontology, adaptation rules). The development of Tuuurbine was supported by an Inria ADT funding until October 2013.

BeGoood: a generic system for managing non-regression tests on knowledge-bases

Participants : Laura Infante Blanco, Emmanuel Nauer [contact person] .

Keywords:

tests, non-regression, knowledge evolution

BeGoood  [67] is a system allowing to define test plans, independent of any application domain, and usable for testing any system answering queries by providing results in the form of sets of strings. BeGoood provides all the features usually found in test systems, such as tests, associated queries, assertions, and expected result sets, test plans (sets of tests) and test reports. The system is able to evaluate the impact of a system modification by running again test plans and by evaluating the assertions which define whether a test fails or succeeds. The main components of BeGoood are (1) the “test database” that stores every test artifacts, (2) the “remote query evaluator” which evaluates test queries, (3) the “assertion engine” which evaluates assertions over the expected and effective query result sets. and finally (4) the “REST API” which offers the test functionalities as web services.

BeGoood is available under a AGPL license on github (https://github.com/kolflow/begoood ). BeGoood is used to manage the non-regression of the Taaable system (see Section  5.4.2 ) when the knowledge base used by the CBR system is modified.

Revisor: a library of revision operators and revision-based adaptation operators

Participants : Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber [contact person] , Emmanuel Nauer, Gabin Personeni.

Keywords:

belief revision, adaptation, revision-based adaptation, case-based reasoning, inference engines, knowledge representation

Revisor is a library of inference engines dedicated to belief revision and to revision-based adaptation for case-based reasoning [60] . It is open source, under a GPL license and available on the web (http://revisor.loria.fr/ ). It gathers several engines developed during the previous years, for various knowledge representation formalisms (propositional logic—with or without the use of adaptation knowledge [65] —conjunction of linear constraints, and qualitative algebras [3] ). Some of these engines are already used in the Taaable system. Current developments on Revisor aim at defining new engines in other formalisms.