Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

Jos de Bruijn, Thomas Eiter, Axel Polleres +1

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 propose…