Back to Search
Start Over
THE DATALOGDL COMBINATION OF DEDUCTION RULES AND DESCRIPTION LOGICS.
- Source :
- Computational Intelligence; Aug2007, Vol. 23 Issue 3, p356-372, 17p, 6 Charts
- Publication Year :
- 2007
-
Abstract
- Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepancy between these two knowledge representations, this paper introduces Datalog<superscript>DL</superscript> as a family of hybrid languages, where Datalog rules are parameterized by various DL (description logic) languages ranging from to . Making Datalog<superscript> DL</superscript> a decidable system with complexity of EXPTIME, we propose independent properties in the DL body as the restriction to hybrid rules, and weaken the safeness condition to balance the trade-off between expressivity and reasoning power. Building on existing well-developed techniques, we present a principled approach to enrich (RuleML) rules with information from (OWL) ontologies, and develop a prototype system combining a rule engine (OO jDREW) with a DL reasoner (RACER). [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 08247935
- Volume :
- 23
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Computational Intelligence
- Publication Type :
- Academic Journal
- Accession number :
- 25802271
- Full Text :
- https://doi.org/10.1111/j.1467-8640.2007.00311.x