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

Joohyung Lee; Ravi Palla

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

Joohyung Lee, Ravi Palla

Computing and Augmented Intelligence, School of (IAFSE-SCAI)

Research output: Contribution to conference › Paper › peer-review

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 language	English (US)
State	Published - 2019
Event	10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Stanford, United States Duration: Mar 21 2011 → Mar 23 2011

Conference

Conference	10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011
Country/Territory	United States
City	Stanford
Period	3/21/11 → 3/23/11

ASJC Scopus subject areas

Software
Logic

Cite this

@conference{459dc576d6e24ebc8eed64f2c7c106a8,

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",

note = "Funding Information: We are grateful to anonymous referees for their useful comments on this paper. The authors were partially supported by the National Science Foundation under Grants IIS-0916116 and by the IARPA SCIL program. Publisher Copyright: {\textcopyright} 2019 10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Proceedings. All rights reserved.; 10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 ; Conference date: 21-03-2011 Through 23-03-2011",

year = "2019",

language = "English (US)",

}

TY - CONF

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

AU - Lee, Joohyung

AU - Palla, Ravi

N1 - Funding Information: We are grateful to anonymous referees for their useful comments on this paper. The authors were partially supported by the National Science Foundation under Grants IIS-0916116 and by the IARPA SCIL program. Publisher Copyright: © 2019 10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Proceedings. All rights reserved.

PY - 2019

Y1 - 2019

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=85088247868&partnerID=8YFLogxK

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

M3 - Paper

AN - SCOPUS:85088247868

T2 - 10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011

Y2 - 21 March 2011 through 23 March 2011

ER -

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

Abstract

Conference

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this