Now showing items 1-4 of 4
Eye of the Tiger
Web Services: Quo Vadis?
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 ...