1928 search results - page 29 / 386 » Integrity Constraints in OWL |
105
click to vote
ASP
2005
Springer
15 years 5 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
110
click to vote
ICIW
2009
IEEE
14 years 9 months ago
2009
IEEE
Autonomic, i.e. dynamic and fault-tolerant Web service composition is a requirement resulting from recent developments such as on-demand services. In the context of planning-based...
177
click to vote
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
The SQL queries produced in XML-to-SQL query translation are often unnecessarily complex, even for simple input XML queries. In this paper we argue that relational systems can do ...
FLOPS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...