An epistemic operator for description logics

摘要

Description logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of frame-based systems—such as nonmonotonic reasoning and procedural rules—that cannot be characterized in a standard first-order framework. Such features are needed for real applications, and a clear understanding of the logic underlying them is necessary for principled implementations.