A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
[chapter]
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