Introducing graph-based reasoning into a knowledge management tool: an industrial case study

Authors:
Olivier Carloni;Michel Leclère;Marie-Laure Mugnier
Affiliations:
LIRMM, CNRS – Université Montpellier 2, Montpellier, France;LIRMM, CNRS – Université Montpellier 2, Montpellier, France;LIRMM, CNRS – Université Montpellier 2, Montpellier, France
Venue:
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Year:
2006

Citing 5
Cited 2

Conceptual structures: information processing in mind and machine

Conceptual structures: information processing in mind and machine
Sound and Complete Forward and backward Chainingd of Graph Rules

ICCS '96 Proceedings of the 4th International Conference on Conceptual Structures: Knowledge Representation as Interlingua
A Formal Model for Topic Maps

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Extensions of simple conceptual graphs: the complexity of rules and constraints

Journal of Artificial Intelligence Research
RDF entailment as a graph homomorphism

ISWC'05 Proceedings of the 4th international conference on The Semantic Web

Formal and graphical annotations for digital objects

SADPI '07 Proceedings of the 2007 international workshop on Semantically aware document processing and indexing
Boolean formulas of simple conceptual graphs SGBF

GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is devoted to an industrial case study focused on the issue of how to enhance ITM, a knowledge management tool, with reasoning capabilities, primarily by introducing a semantic query mechanism. ITM knowledge representation language is based on topic maps. We show that these topic maps (and especially those describing the domain ontology and the annotation base) can be naturally mapped to the SG family, a sublanguage of conceptual graphs. As this mapping is reversible, ITM can be equipped with a graph-based query language equivalent to conjunctive queries and it can be enriched with inference rules.