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

5 Scopus citations

Abstract

We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few existing integration proposals can be uniformly related to the first-order stable model semantics.

Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings
Pages248-253
Number of pages6
DOIs
StatePublished - May 13 2011
Event11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011 - Vancouver, BC, Canada
Duration: May 16 2011May 19 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6645 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011
CountryCanada
CityVancouver, BC
Period5/16/115/19/11

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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 Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings (pp. 248-253). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6645 LNAI). https://doi.org/10.1007/978-3-642-20895-9_27