7075 search results - page 383 / 1415 » Models and heterogeneous reasoning |
179
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...
169
click to vote
DLOG
2007
15 years 9 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
173
click to vote
JURIX
2008
15 years 8 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
165
click to vote
OWLED
2008
15 years 8 months ago
2008
The OWLlink interface provides an implementation-neutral mechanism for accessing OWL reasoner functionality. In contrast to its DL-oriented predecessor DIG, OWLlink relies on OWL 2...
167
click to vote
DLOG
2006
15 years 8 months ago
2006
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...