DatalogDL: datalog rules parameterized by description logics

From National Research Council Canada

Download
  1. (PDF, 328 KB)
DOIResolve DOI: https://doi.org/10.1007/978-0-387-34347-1_12
AuthorSearch for: ; Search for: ; Search for: ; Search for: ; Search for:
FormatText, Article
Journal titleCanadian Semantic Web
Series titleSemantic Web and Beyond; Volume 2
ISBN978-0-387-29815-3
978-0-387-34347-1
Pages171–187
Abstract
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrepancy between these two knowledge representations, this paper introduces DatalogDL as a family of hybrid languages, where Datalog rules are parameterized by various DL (description logic) languages ranging from ALC to SHIQ . Making DatalogDL 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-developedtechniques, we present a principled approach to enrich (RuleML) rules with information from (OWL) ontologies, and develop a prototype system integrating a rule engine (OO jDREW) with a DL reasoner (RACER).
Publication date
PublisherSpringer
LanguageEnglish
Peer reviewedYes
NRC numberNRCC 49312
NPARC number3540114
Export citationExport as RIS
Report a correctionReport a correction
Record identifier548c03fb-7f86-4990-9e38-ec94bc479b4a
Record created2009-03-01
Record modified2020-10-09
Report a problem on this page
Date modified: