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.