TY - GEN
T1 - Integrating rules and ontologies in the first-order stable model semantics (Preliminary Report)
AU - Lee, Joohyung
AU - Palla, Ravi
N1 - Funding Information:
Acknowledgements. We are grateful to David Pearce for pointers to earlier work and anonymous referees for their useful comments. The authors were partially supported by the National Science Foundation under Grants IIS-0916116 and by the IARPA SCIL program.
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
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 248
EP - 253
BT - Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings
T2 - 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011
Y2 - 16 May 2011 through 19 May 2011
ER -