Integrating rules and ontologies in the First-order stable model semantics (Preliminary Report)

Joohyung Lee, Ravi Palla

Research output: Contribution to conferencePaper

Abstract

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 languageEnglish (US)
StatePublished - 2019
Event10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Stanford, United States
Duration: Mar 21 2011Mar 23 2011

Conference

Conference10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011
CountryUnited States
CityStanford
Period3/21/113/23/11

ASJC Scopus subject areas

  • Software
  • Logic

Fingerprint Dive into the research topics of 'Integrating rules and ontologies in the First-order stable model semantics (Preliminary Report)'. Together they form a unique fingerprint.

  • Cite this

    Lee, J., & Palla, R. (2019). Integrating rules and ontologies in the First-order stable model semantics (Preliminary Report). Paper presented at 10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011, Stanford, United States.