3776 search results - page 234 / 756 » Partition-Based Logical Reasoning |
143
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic n...
124
click to vote
LPNMR
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
143
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
123
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
121
click to vote
AINA
2010
IEEE
15 years 9 months ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...