Area editor: Francesco Donini

Area editorial committee

• Franz Baader
• Alex Borgida
• Michel Chein
• Ian Horrocks
• Maurizio Lenzerini
• Alon Levy
• Daniele Nardi
• Lin Padgham
• Marie-Christine Rousset
• Rudolf Wille

Definition of the area

This area intends to cover any research in conceptual modeling based on knowledge representation. This includes modeling based on formalisms which allow for automated deduction of properties of interest in the defined models. Research about Description Logics, Database models, and Conceptual Graphs is included in this area, but any other approach to conceptual modeling exploiting knowledge representation techniques is appropriate.

We envisage paper submissions falling within at least one of the following categories (note that this is not a list of topics):

• theoretical results - languages for conceptual modeling, including expressiveness, complexity, and algorithms for reasoning;
• reports on implemented application-independent systems - architectures, optimization, interfaces, and pragmatic aspects;
• experimental results - distribution of easy and hard deductions, critical parameters in random trials, comparison of implemented algorithms;
• application experiences - ontologies, interfaces with a general purpose system, modeling problems in a specific domain, limits and benefits of an adopted conceptual modeling system.

This area started active operation in September, 1998