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


In the context of the Semantic Web, several approaches for combining ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed. They either cast rules into classical logic or limit the interaction between rules and ontologies. Autoepistemic logic (AEL) is an attractive formalism which allows overcoming these… (More)
DOI: 10.1145/1929954.1929957


2 Figures and Tables


Citations per Year

53 Citations

Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.