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

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 publicationAAAI Spring Symposium - Technical Report
Pages56-62
Number of pages7
VolumeSS-11-06
StatePublished - 2011
Event2011 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 21 2011Mar 23 2011

Other

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

Fingerprint

Ontology
Semantics
Electric grounding

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Lee, J., & Palla, R. (2011). Integrating rules and ontologies in the first-order stable model semantics (preliminary report). In AAAI Spring Symposium - Technical Report (Vol. SS-11-06, pp. 56-62)

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

AAAI Spring Symposium - Technical Report. Vol. SS-11-06 2011. p. 56-62.

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 AAAI Spring Symposium - Technical Report. vol. SS-11-06, pp. 56-62, 2011 AAAI Spring Symposium, Stanford, CA, United States, 3/21/11.
Lee J, Palla R. Integrating rules and ontologies in the first-order stable model semantics (preliminary report). In AAAI Spring Symposium - Technical Report. Vol. SS-11-06. 2011. p. 56-62
Lee, Joohyung ; Palla, Ravi. / Integrating rules and ontologies in the first-order stable model semantics (preliminary report). AAAI Spring Symposium - Technical Report. Vol. SS-11-06 2011. pp. 56-62
@inproceedings{734d13aab3424abeb47be1518213ee4c,
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 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.",
author = "Joohyung Lee and Ravi Palla",
year = "2011",
language = "English (US)",
isbn = "9781577354987",
volume = "SS-11-06",
pages = "56--62",
booktitle = "AAAI Spring Symposium - Technical Report",

}

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

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

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

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

M3 - Conference contribution

SN - 9781577354987

VL - SS-11-06

SP - 56

EP - 62

BT - AAAI Spring Symposium - Technical Report

ER -