Now showing items 1-2 of 2
Quantified equilibrium logic and hybrid rules
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- ...
Who the FOAF knows Alice? A needed step towards Semantic Web Pipes
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building SemanticWeb Pipes, aggregating RDF data from various distributed sources. ...