𝔖 Bobbio Scriptorium
✦   LIBER   ✦

What’s new in Description Logics

✍ Scribed by Franz Baader

Publisher
Springer-Verlag
Year
2011
Tongue
German
Weight
352 KB
Volume
34
Category
Article
ISSN
0170-6012

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Descriptions in mathematical logic
Descriptions in mathematical logic
✍ Gerard R. Renardel; de Lavalette 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 760 KB
Unification of Concept Terms in Descript
Unification of Concept Terms in Description Logics
✍ Franz Baader; Paliath Narendran 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 464 KB

Unification of concept terms is a new kind of inference problem for description logics, which extends the equivalence problem by allowing one to replace certain concept names by concept terms before testing for equivalence. We show that this inference problem is of interest for applications, and pre

Extending description logics with uncert
Extending description logics with uncertainty reasoning in possibilistic logic
✍ 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

What's New
What's New
📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB
What's New
What's New
📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB