Lehrstuhl Informatik V, RWTH Aachen
ESPRIT Project COMPULOG-II
(Computational Logic)
COMPULOG-II was running from 1992 to 1996 and brought together experts from
logic programming, databases, program systhesis, and knowledge representation.
Achievements
RWTH Aachen in involved in the areas Knowledge Base Systems and Types & Objects.
Aachen developed a partial evaluation technique for integrity constraints
at meta class level, extended query optimization techniques with
KR-based subsumption tests (joint work with DFKI), and developed
incremental view management techniques for distributed knowledge bases.
Many of the results are now implemented in the
ConceptBase system.
See here
for a list of papers related to COMPULOG and to ConceptBase.
Contact address
Prof. Matthias Jarke, Dr. Manfred Jeusfeld
Informatik V, RWTH Aachen, 52056 Aachen, Germany
{jarke,jeusfeld}@i5.informatik.rwth-aachen.de
M. Jeusfeld,
5-Dec-1996