Now showing items 1-4 of 4
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 ...
Establishing a distributed system for the simple representation and integration of diverse scientific assertions
(Biomed Central, 2011)
Information technology has the potential to increase the pace of scientific progress by helping researchers in formulating, publishing and finding information. There are numerous projects that employ ontologies and Semantic ...
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 ...
Invited Talk: Can We Deal with Emergent Knowledge Yet?
(VSE Prague, 2010)
This overview paper briefly describes problems we need to tackle if we want to meaningfully and efficiently process emergent knowledge. By this term we essentially mean knowledge continually emerging in a bottom-up manner ...