Sciweavers

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