Sciweavers

1436 search results - page 20 / 288
» Description Logic Unplugged
Sort
View
81
Voted
CADE
2010
Springer
14 years 10 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,...
61
Voted
KR
1994
Springer
15 years 1 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
100
Voted
DLOG
2008
14 years 12 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
DLOG
2006
14 years 11 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
DLOG
2004
14 years 11 months ago
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer