722 search results - page 120 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
106
click to vote
AMW
2010
15 years 2 months ago
2010
We address the problem of answering conjunctive queries over knowledge bases, specified by sets of first-order sentences called tuple-generating dependencies (TGDs). This problem i...
104
click to vote
IADIS
2004
15 years 2 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
109
click to vote
ENTCS
2008
15 years 1 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
103
click to vote
CSSE
2002
IEEE
15 years 1 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
122
click to vote
ICLP
2007
Springer
15 years 7 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...