Search
Now showing items 1-3 of 3
SAOR: Authoritative Reasoning for the Web
(Springer, 2008)
In this paper we discuss the challenges of performing reasoning on large scale RDF datasets from the Web. We discuss issues and practical solutions relating to reasoning over web data using a rule-based approach to ...
Quantified equilibrium logic and hybrid rules
(Springer, 2007)
In the ongoing discussion about combining rules and Ontologies on the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages. Whereas several modular approaches to de- ...
A rule system for querying persistent RDFS data
(2009)
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows us to implement a fully SPARQL compliant ...