CARIN: A Representation Language Combining Horn Rules and Description Logics (1996) [87 citations — 1 self]
http://www.cs.man.ac.uk/~tessaris/DL/docs/ECAI96/c
http://www.cs.washington.edu/homes/alon/site/files
http://www.lri.fr/~mcr/publis/carin-aij.ps
http://www.research.att.com/~levy/ecai96.ps.Z
DBLP
CACHED:
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Alon Y. Levy and Marie-christine Rousset},
title = {CARIN: A Representation Language Combining Horn Rules and Description Logics},
booktitle = {},
year = {1996},
pages = {323--327}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
We describe carin, a novel family of representation languages, that combine the expressive power of Horn rules and of description logics. We address the issue of providing sound and complete inference procedures for such languages. We identify existential entailment as a core problem in reasoning in carin, and describe an existential entailment algorithm for the ALCNR description logic. As a result, we obtain a sound and complete algorithm for reasoning in non recursive carin-ALCNR knowledge bases, and an algorithm for rule subsumption over ALCNR. We show that in general, the reasoning problem for recursive carin-ALCNR knowledge bases is undecidable, and identify the constructors of ALCNR causing the undecidability. We show two ways in which carin-ALCNR knowledge bases can be restricted while obtaining sound and complete reasoning. Keywords: description logics, Horn rules, query containment, hybrid languages, knowledge representation. 1 Introduction Horn rule languages have formed the...
Citations
No citations identified.
