4617 search results - page 228 / 924 » Automation of Diagrammatic Reasoning |
170
click to vote
DLOG
2008
15 years 8 months ago
2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an em...
166
click to vote
DLOG
2003
15 years 7 months ago
2003
We present lower bounds on the computational complexity of satisfiability and subsumption in several description logics. We interpret these lower bounds as coming from different...
155
click to vote
DLOG
2003
15 years 7 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
167
click to vote
DLOG
2000
15 years 7 months ago
2000
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
184
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...