Now showing items 1-3 of 3
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 ...
Beyond the PDF [At the Event report]
'Beyond the PDF' brought together around 80 people to the University of California San Diego to discuss scholarly communication, primarily in the sciences. The main topic: How can we apply emergent technologies to improve ...