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.

• Type: Journal
• Year: 2011
• Where: LPNMR
• Authors: Joohyung Lee, Ravi Palla
• Keywords: Automated Reasoning, Ferraris, LPNMR 2011, Ontologies, Stable Model Semantics