3597 search results - page 557 / 720 » Model-theoretic semantics for the web |
147
click to vote
AIM
2005
15 years 4 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
152
click to vote
CN
1999
15 years 4 months ago
1999
The growing acceptance of XML as a standard for semi-structured documents on the Web opens up challenging opportunities for Web query languages. In this paper we introduce XML-GL,...
136
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
204
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
213
click to vote
EDBT
2012
ACM
13 years 7 months ago
2012
ACM
The Web of Linked Data grows rapidly and already contains data originating from hundreds of data sources. The quality of data from those sources is very diverse, as values may be ...