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 - 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
Country/TerritoryCanada
CityVancouver, BC
Period5/16/115/19/11

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

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