Non-first-order features in concept languages


In this paper we propose an epistemic concept language, where the epistemic operator is interpreted in terms of minimal knowledge. We show that the proposed formalism provides an adequate characterization of many non-rst-order aspects of frame-based knowledge representation systems, by admitting in the knowledge base various forms of epistemic sentences. In… (More)
DOI: 10.1007/3-540-60437-5_9


Cite this paper

@inproceedings{Donini1995NonfirstorderFI, title={Non-first-order features in concept languages}, author={Francesco M. Donini and Daniele Nardi and Riccardo Rosati}, booktitle={AI*IA}, year={1995} }