---
title: "A Logic-based Architecture for Knowledge Management"
authors:
  - "Damian Black"
  - "John Manley"
doi: ""
url: "https://ijcai.org/proceedings/1987/16"
pdf: "https://ijcai.org/proceedings/1987/0016.pdf"
venue: "Proceedings of the Tenth International Joint Conference on Artificial Intelligence"
year: 1987
pages: "87-89"
track: "Architectures and Languages"
keywords:
---

# A Logic-based Architecture for Knowledge Management

Damian Black, John Manley

*Proceedings of the Tenth International Joint Conference on Artificial Intelligence*, pages 87-89.

## Abstract

We define and discuss an architecture for a knowledge base management system (KBMS) to support the efficient manipulation of large and diverse bodies of knowledge. The architecture has been formulated within an amalgamated language-metalanguage framework. All aspects of the system possess a lOgical semantics. Our emphasis is on modularity, the organization of theories and their metatheories within the system theory, and the clean integration of multiple representation languages. The expressivity of the architecture is discussed and an implementation based on an extended Prolog reported. Its utility is currently being investigated in a number of diverse applications.