Now showing items 1-10 of 13
Embedding non-ground logic programs into autoepistemic logic for knowledge base combination
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed. They either cast rules into classical ...
inContext: A Pervasive and Collaborative Working Environment for Emerging Team Forms
Participants in current team collaborations belong to different organizations, work on multiple objectives at the same time, and frequently change locations. They use different devices and infrastructures in collaboration ...
Processing ontology alignments with SPARQL
(IEEE Computer Society, 2008)
OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the languages had hoped for. OWL has ...
On the efficiency of joining group patterns in SPARQL queries
In SPARQL, conjunctive queries are expressed by using shared variables across sets of triple patterns, also called basic graph patterns. Based on this characterization, basic graph patterns in a SPARQL query can be ...
A rule system for querying persistent RDFS data
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 ...
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. ...
SAOR: Authoritative Reasoning for the Web
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 ...