Sciweavers

Share
LPNMR
2011
Springer

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

10 years 4 months ago
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
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.
Joohyung Lee, Ravi Palla
Added 16 Sep 2011
Updated 16 Sep 2011
Type Journal
Year 2011
Where LPNMR
Authors Joohyung Lee, Ravi Palla
Comments (0)
books