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 ...
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 ...