DatalogDL: Datalog Rules Parameterized by Description Logics

Jing Mei,Harold Boley,Jie Li,Virendrakumar C. Bhavsar,Zuoquan Lin
DOI: https://doi.org/10.1007/978-0-387-34347-1_12
2006-01-01
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 SHI Q. 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-developed techniques, 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).
What problem does this paper attempt to address?