Integrating rules and ontologies in the first-order stable model semantics

Authors:
Joohyung Lee;Ravi Palla
Affiliations:
School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ;School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ
Venue:
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Year:
2011

Citing 8
Cited 2

Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Guarded hybrid knowledge bases12

Theory and Practice of Logic Programming
On Reductive Semantics of Aggregates in Answer Set Programming

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the decidability and complexity of integrating ontologies and rules

Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules

Journal of the ACM (JACM)
A semantical framework for hybrid knowledge bases

Knowledge and Information Systems
A logical semantics for description logic programs

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Stable models and circumscription

Artificial Intelligence

First-order stable model semantics and first-order loop formulas

Journal of Artificial Intelligence Research
Eliminating nonmonotonic DL-Atoms in description logic programs

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.