Now showing items 1-2 of 2
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 ...
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 ...