✦ LIBER ✦

Description Logics with Contraries, Contradictories, and Subcontraries

✍ Scribed by Ken Kaneiwa

Book ID: 106041198
Publisher: Springer
Year: 2007
Tongue: English
Weight: 482 KB
Volume: 25
Category: Article
ISSN: 0288-3635
DOI: 10.1007/s00354-007-0028-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expressive reasoning with horn rules and

Expressive reasoning with horn rules and fuzzy description logics

✍ Theofilos Mailis; Giorgos Stoilos; Giorgos Stamou 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 699 KB

Combining description logics and Horn ru

Combining description logics and Horn rules with uncertainty in ARTIGENCE

✍ Xiaoqing Zheng 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 333 KB

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

Temporal logic based hardware descriptio

Temporal logic based hardware description and its verification with Prolog

✍ Masahiro Fujita; Hidehiko Tanaka; Tohru Moto-Oka 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 369 KB

A description logic with transitive and

A description logic with transitive and inverse roles and role hierarchies

✍ Horrocks, I 📂 Article 📅 1999 🏛 Oxford University Press 🌐 English ⚖ 404 KB

Structural Subsumption and Least Common

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions

✍ Ralf Küsters; Ralf Molitor 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 402 KB