We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics proposed by Ferraris, Lee and Lifschitz. We show that some existing integration proposals can be uniformly reformulated in terms of the first-order stable model semantics. The reformulations are simpler than the original proposals in the sense that they do not refer to grounding.
|Original language||English (US)|
|State||Published - 2019|
|Event||10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Stanford, United States|
Duration: Mar 21 2011 → Mar 23 2011
|Conference||10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011|
|Period||3/21/11 → 3/23/11|
ASJC Scopus subject areas