A refined architecture for terminological systems: Terminology = Schema + Views

摘要

Traditionally, the core of a Terminological Knowledge Representation System (TKRS) consists of a TBox or terminology, where concepts are introduced, and an ABox or world description, where facts about individuals are stated in terms of concept memberships. This design has a drawback because in most applications the TBox has to meet two functions at a time: On the one hand—similarly to a database schema—frame-like structures with type information are introduced through primitive concepts and primitive roles; on the other hand, views on the objects in the knowledge base are provided through defined concepts.