Sciweavers

206 search results - page 16 / 42
» Semantics, modularity, and rewriting logic
Sort
View
196
Voted
SIGMOD
2006
ACM
121views Database» more  SIGMOD 2006»
16 years 22 days ago
Rewriting nested XML queries using nested views
We present and analyze an algorithm for equivalent rewriting of XQuery queries using XQuery views, which is complete for a large class of XQueries featuring nested FLWR blocks, XM...
Nicola Onose, Alin Deutsch, Yannis Papakonstantino...
122
Voted
EDBTW
2010
Springer
15 years 7 months ago
SPARQL query rewriting for implementing data integration over linked data
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
Gianluca Correndo, Manuel Salvadores, Ian Millard,...
AAAI
2008
15 years 2 months ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran
APAL
2008
159views more  APAL 2008»
15 years 22 days ago
Approximations of modal logics: K and beyond
Inspired by recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of ...
Guilherme de Souza Rabello, Marcelo Finger
103
Voted
IADIS
2004
15 years 2 months ago
On implementing fuzzy semantic web agents with the cwm rule system
Fuzzy Semantic Web agents are reactive software agents whose coordinated behavior is defined in terms of fuzzy action rules, inspired by fuzzy logic. We introduce a simple approac...
Ossi Nykänen