1486 search results - page 229 / 298 » A Logically Saturated Extension of |
175
click to vote
SEMWEB
2009
Springer
16 years 11 days ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
180
click to vote
DSN
2008
IEEE
16 years 9 days ago
2008
IEEE
Multi-Instance-Precommit (MIP) has been recently presented as an innovative transaction management scheme in support of reliability for Atomic Transactions in multitier (e.g. Web-...
190
click to vote
ICIW
2008
IEEE
16 years 8 days ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
154
click to vote
DATE
2007
IEEE
16 years 5 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
181
click to vote
ICLP
2007
Springer
15 years 12 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...