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

Open in new window