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 Citations (Scopus)

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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages248-253
Number of pages6
Volume6645 LNAI
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)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Stable Models
Ontology
Semantics
First-order

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Lee, J., & Palla, R. (2011). Integrating rules and ontologies in the first-order stable model semantics (Preliminary Report). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6645 LNAI, 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

Integrating rules and ontologies in the first-order stable model semantics (Preliminary Report). / Lee, Joohyung; Palla, Ravi.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6645 LNAI 2011. p. 248-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6645 LNAI).

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

Lee, J & Palla, R 2011, Integrating rules and ontologies in the first-order stable model semantics (Preliminary Report). in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 6645 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6645 LNAI, pp. 248-253, 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, Vancouver, BC, Canada, 5/16/11. https://doi.org/10.1007/978-3-642-20895-9_27
Lee J, Palla R. Integrating rules and ontologies in the first-order stable model semantics (Preliminary Report). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6645 LNAI. 2011. p. 248-253. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-20895-9_27
Lee, Joohyung ; Palla, Ravi. / Integrating rules and ontologies in the first-order stable model semantics (Preliminary Report). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6645 LNAI 2011. pp. 248-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{bacec1487cde42e0a75daba00a0dfbcd,
title = "Integrating rules and ontologies in the first-order stable model semantics (Preliminary Report)",
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.",
author = "Joohyung Lee and Ravi Palla",
year = "2011",
doi = "10.1007/978-3-642-20895-9_27",
language = "English (US)",
isbn = "9783642208942",
volume = "6645 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "248--253",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

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

AU - Lee, Joohyung

AU - Palla, Ravi

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79955757321&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79955757321&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-20895-9_27

DO - 10.1007/978-3-642-20895-9_27

M3 - Conference contribution

AN - SCOPUS:79955757321

SN - 9783642208942

VL - 6645 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 248

EP - 253

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -