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