Skip to content. | Skip to navigation

Personal tools
You are here: Home Projects COMPULOG-II


Status completed

Computional Logic, esp. types & objects and knowledge bases


COMPULOG-II was running from 1992 to 1996 and brought together experts from logic programming, databases, program systhesis, and knowledge representation.


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.

Research staff

Document Actions
Project Publications
No related publications