Search
Now showing items 1-2 of 2
Embedding non-ground logic programs into autoepistemic logic for knowledge base combination
(2011)
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
(2010)
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 ...