𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Descriptions in mathematical logic

✍ Scribed by Gerard R. Renardel; de Lavalette


Publisher
Springer Netherlands
Year
1984
Tongue
English
Weight
760 KB
Volume
43
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Mathematical Logic
✍ Chiswell, Ian πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 4 MB
Extending description logics with uncert
✍ Guilin Qi; Qiu Ji; Jeff Z. Pan; Jianfeng Du πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 290 KB

Possibilistic logic provides a convenient tool for dealing with uncertainty and handling inconsistency. In this paper, we propose possibilistic description logics as an extension of description logics, which are a family of well-known ontology languages. We first give the syntax and semantics of pos