Sciweavers

1545 search results - page 26 / 309
» Defeasible Description Logics
Sort
View
102
Voted
CADE
2010
Springer
15 years 1 months ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...
71
Voted
KR
1994
Springer
15 years 4 months ago
Making the Difference: A Subtraction Operation for Description Logics
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
Gunnar Teege
88
Voted
IJCAI
2003
15 years 1 months ago
Weak Conditional Logics of Normality
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
James P. Delgrande
116
Voted
DLOG
2008
15 years 2 months ago
Paraconsistent Reasoning for Expressive and Tractable Description Logics
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
Yue Ma, Pascal Hitzler, Zuoquan Lin
96
Voted
DLOG
2006
15 years 1 months ago
Euclidian Roles in Description Logics
In the current paper we investigate the role of Euclidian roles in Description Logics.
Giorgos Stoilos, Giorgos B. Stamou