Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report) [chapter]

Joohyung Lee, Ravi Palla
2011 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-642-20895-9_27 fatcat:rqk3dwy5ynfftcysafcdljneei