Sciweavers

1470 search results - page 9 / 294
» An Introduction to Description Logics
Sort
View
KER
2007
72views more  KER 2007»
13 years 9 months ago
An introduction to logical spreadsheets
Michael Kassoff, André Valente
CORR
2011
Springer
170views Education» more  CORR 2011»
13 years 4 months ago
Introduction to Categories and Categorical Logic
Samson Abramsky, Nikos Tzevelekos
CADE
2010
Springer
13 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,...
KR
1994
Springer
14 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