1544 search results - page 158 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
158
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
169
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
193
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
155
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
129
click to vote
SERA
2005
Springer
15 years 12 months ago
2005
Springer
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...