Sciweavers

632 search results - page 96 / 127
» The DSD Schema Language
Sort
View
ISSTA
2004
ACM
14 years 2 months ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
KR
1998
Springer
14 years 1 months ago
Modal Semantics for Knowledge Bases Dealing with Vague Concepts
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
Brandon Bennett
CIKM
2008
Springer
13 years 10 months ago
MashQL: a query-by-diagram topping SPARQL
This article is motivated by the importance of building web data mashups. Building on the remarkable success of Web 2.0 mashups, and specially Yahoo Pipes, we generalize the idea ...
Mustafa Jarrar, Marios D. Dikaiakos
LREC
2010
177views Education» more  LREC 2010»
13 years 10 months ago
LT World: Ontology and Reference Information Portal
LT World (www.lt-world.org) is an ontology-driven web portal aimed at serving the global language technology community. Ontology-driven means, that the system is driven by an onto...
Brigitte Jörg, Hans Uszkoreit, Alastair Burt
SEBD
2003
159views Database» more  SEBD 2003»
13 years 10 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli