1746 search results - page 160 / 350 » A Constructive Semantics for ALC |
173
click to vote
LICS
2005
IEEE
16 years 1 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
144
click to vote
SKG
2005
IEEE
16 years 1 days ago
2005
IEEE
Currently most centralized RDF storage and query architectures have problems in query performance and scalability. In this paper we present a distributed RDF query architecture to ...
176
click to vote
CIKM
2005
Springer
16 years 10 hour ago
2005
Springer
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...
176
click to vote
DAWAK
2005
Springer
16 years 6 hour ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
206
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
The main claim of this paper is that machine learning can help integrate the construction of ontologies and extraction grammars and lead us closer to the Semantic Web vision. The p...