An Epistemic Operator for Description Logics

Abstract

Description iogics (aiso caiied terminoiogicai iogics, or concept ianguagesj 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… (More)
DOI: 10.1016/S0004-3702(98)00009-5

Topics

3 Figures and Tables

Cite this paper

@article{Donini1998AnEO, title={An Epistemic Operator for Description Logics}, author={Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Andrea Schaerf}, journal={Artif. Intell.}, year={1998}, volume={100}, pages={225-274} }