1791 search results - page 223 / 359 » Semantics and Complexity of SPARQL |
155
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
157
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
142
click to vote
XSYM
2005
Springer
15 years 10 months ago
2005
Springer
XQuery is a feature-rich language with complex semantics. This makes it hard to come up with a benchmark suite which covers all performance-critical features of the language, and a...
142
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
Grid has emerged as a new paradigm for integration within dynamic virtual enterprises. Given a service-oriented Grid environment, more complex, value-added sophisticated services a...
118
click to vote
JCDL
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes ongoing research into the application of machine learning techniques for improving access to governmental information in complex digital libraries. Under the ...