Knowledge Base Management (KBM)

Session at the
International Conference on
Applications of Declarative Programming
and Knowledge Management (INAP 2007)
October 4-6, 2007, Würzburg, Germany

Scope

During the last couple of years a lot of fruitful research has been conducted on the topic of using declarative programming for the management of knowledge based systems. Besides different methodologies guiding the development process of knowledge based systems, experience has shown, that reasoning about the knowledge is of special interest for analyzing and transforming the knowledge.
The session on knowledge base management is part of the conference INAP 2007 (Track: Knowledge Management), and it will provide a forum for researchers, that are interested in the management and the analysis of declarative knowledge bases.
We would like to attract researches working in the fields of knowledge base management and deductive databases as well as the intersection of the two fields.

Topics of interest include, but are not limited to:

Operations on declarative knowledge bases	analysis refactoring, restructuring, and refinement validation and verification transformations
Declarative programming and deductive databases	query optimization reasoning about the structure of the knowledge non-monotonic reasoning handling of semi-structured knowledge
Handling of various kinds of knowledge, such as	rules models and uncertainty cases knowledge on the semantic web
Practical aspects	visualization techniques tool-support applications

Organizers

Dietmar Seipel (University Wuerzburg, Germany) [contact]
Joachim Baumeister (University Wuerzburg, Germany) [contact]

Submissions will be refereed by at least two members of the program committee. For more information about the special session please contact one of the organizers.