Sciweavers

2169 search results - page 239 / 434
» Inferencing in Database Semantics
Sort
View
EDBT
2002
ACM
92views Database» more  EDBT 2002»
16 years 4 months ago
XQuery by the Book: The IPSI XQuery Demonstrator
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
Peter Fankhauser, Tobias Groh, Sven Overhage
DEXAW
2009
IEEE
171views Database» more  DEXAW 2009»
15 years 11 months ago
Ontology Knowledge Authoring by Natural Language Empowerment
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
Alfio Ferrara, Stefano Montanelli, Gaia Varese, Si...
DEXA
2009
Springer
70views Database» more  DEXA 2009»
15 years 11 months ago
On the Termination Problem for Declarative XML Message Processing
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
Tadeusz Litak, Sven Helmer
ICDT
2003
ACM
125views Database» more  ICDT 2003»
15 years 9 months ago
XPath Containment in the Presence of Disjunction, DTDs, and Variables
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...
Frank Neven, Thomas Schwentick
DOOD
1993
Springer
135views Database» more  DOOD 1993»
15 years 8 months ago
A Deductive and Typed Object-Oriented Language
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
René Bal, Herman Balsters