342 search results - page 12 / 69 » Tableau Algorithms for Description Logics |
CADE
2004
Springer
14 years 9 months ago
2004
Springer
IJCAI
2007
13 years 10 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
ECSQARU
2007
Springer
14 years 2 months ago
2007
Springer
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
IJCAI
2003
13 years 10 months ago
2003
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
ENTCS
2010
13 years 8 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...