Hybrid reasoning with rules and constraints under well-founded semantics

Authors:
Włodzimierz Drabent;Jakob Henriksson;Jan Małuszyński
Affiliations:
Institute of Computer Science, Polish Academy of Sciences, Warszawa, Poland and Department of Computer and Information Science, Linköping University, Linköping, Sweden;Fakultät für Informatik, Technische Universität Dresden;Department of Computer and Information Science, Linköping University, Linköping, Sweden
Venue:
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Year:
2007

Citing 4
Cited 6

Query Answering for OWL-DL with rules

Web Semantics: Science, Services and Agents on the World Wide Web
Well-founded semantics for hybrid rules

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Combining safe rules and ontologies by interfacing of reasoners

PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Effective integration of declarative rules with external evaluations for semantic-web reasoning

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

Well-founded semantics for hybrid rules

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Hybrid reasoning with rules and ontologies

Semantic techniques for the web
Well-founded semantics for description logic programs in the semantic web

ACM Transactions on Computational Logic (TOCL)
Hybrid reasoning with non-monotonic rules

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

ACM Transactions on Computational Logic (TOCL)
Xsb: Extending prolog with tabled logic programming

Theory and Practice of Logic Programming - Prolog Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents an architecture and implementation techniques for hybrid integration of normal clauses under well-founded semantics with ontologies specified in Description Logics. The described prototype uses XSB Prolog both for rule reasoning and for controlling communication with the ontology reasoner RacerPro. The query answering techniques for hybrid rules implemented in this prototype are sound wrt. the declarative semantics, extending the well-founded semantics of normal programs and are faithful wrt. FOL.