Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

26

LPNMR
2011
Springer

favoriteEmaildiscussreport

244views Automated Reasoning» more LPNMR 2011»

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

12 years 7 months ago

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

Download reasoning.eas.asu.edu

We present an approach to integrating rules and ontologies on the basis of the ﬁrst-order stable model semantics deﬁned by Ferraris, Lee and Lifschitz. We show that a few existing integration proposals can be uniformly related to the ﬁrst-order stable model semantics.

Joohyung Lee, Ravi Palla

Real-time Traffic

Automated Reasoning | Ferraris | LPNMR 2011 | Ontologies | Stable Model Semantics |

claim paper

Related Content

» Matching Metamodels with Semantic Systems An Experience Report

» A Reasoner for Simple Conceptual Logic Programs

» Local closed world reasoning with description logics under the wellfounded semantics

» A Defeasible Logic Reasoner for the Semantic Web

» Moara a Java library for extracting and normalizing gene and protein mentions

Post Info
More Details (n/a)

Added	16 Sep 2011
Updated	16 Sep 2011
Type	Journal
Year	2011
Where	LPNMR
Authors	Joohyung Lee, Ravi Palla

Comments (0)