3244 search results - page 482 / 649 » Extensions to Description Logics |
167
click to vote
SEMWEB
2005
Springer
16 years 1 days ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...
193
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
179
click to vote
CADE
2004
Springer
15 years 12 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
189
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
176
click to vote
INEX
2004
Springer
15 years 12 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...