Integrating rules and ontologies in the first-order stable model semantics (preliminary report)

Joohyung Lee, Ravi Palla

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

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)
Title of host publicationLogical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report
Pages56-62
Number of pages7
StatePublished - Aug 15 2011
Event2011 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 21 2011Mar 23 2011

Publication series

NameAAAI Spring Symposium - Technical Report
VolumeSS-11-06

Other

Other2011 AAAI Spring Symposium
CountryUnited States
CityStanford, CA
Period3/21/113/23/11

ASJC Scopus subject areas

  • Artificial Intelligence

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. (2011). Integrating rules and ontologies in the first-order stable model semantics (preliminary report). In Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report (pp. 56-62). (AAAI Spring Symposium - Technical Report; Vol. SS-11-06).