Institute of Computer Science III
University of Bonn
Databases * Information Systems * Software Engineering *
Pattern Recognition * Image Processing * Artificial Intelligence * Robotics
Logic Program Modules for Interoperable Information Systems
Armin B. Cremers,
Thomas Lemke and
Mechthild Rohen,
Reuse of existing applications for building new
applications is a critical task in software engineering, requiring
the integration of heterogeneous and potentially distributed
systems. On the other hand, interoperability will be one main
issue in the design of future intelligent information systems.
In the framework of a layered architecture we suggest a cyclic
model of interoperable systems. We describe the "theory & link"
concept provided by the distributed knowledge base management system EPSILON
for the modularization of large knowledge bases and
sketch a declarative semantics of a knowledge base consisting
of linked theories. Finally, we discuss the use of this methodology
for the integration of components in an interoperable knowledge
base management system.
Click here to obtain the full paper (PS, gzip, 783135 bytes, 19 pages)
webmaster@www.informatik.uni-bonn.de -
16.12.05