An Architecture for Reasoning with Terminological Systems

摘要

We propose a client-server architecture for terminological systems, which aims at standardization and interchangeability of its various components. This architecture primarily focuses on the aspect of reasoning with the knowledge in the terminological system. We propose the following components: Description Logics (DL) as representation formalism, KRSS for knowledge representation syntax, RACER or a comparable application as a logical reasoner, and Lexicon Query Services (LQS) as interface with the reasoner. This results in an architecture based on open standards, allowing interchangeability of terminological systems, servers and clients.