DatalogDL:: Datalog rules parameterized by description logics

被引:0
|
作者
Mei, Jing [1 ]
Boley, Harold [3 ]
Li, Jie [2 ,3 ]
Bhavsar, Virendrakumar C. [2 ]
Lin, Zuoquan [1 ]
机构
[1] Peking Univ, Dept Informat Sci, Beijing 100871, Peoples R China
[2] Univ New Brunswick, Fac Comp Sci, Fredericton, NB E3B 5A3, Canada
[3] Natl Res Council Canada, Inst Informat Technol, Fredericton E3B 9W4, NB, Canada
来源
CANADIAN SEMANTIC WEB | 2006年 / 2卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrepancy between these two knowledge representations, this paper introduces Datalog(DL) as a family of hybrid languages, where Datalog rules are parameterized by various DL (description logic) languages ranging from A L C to S H I Q. Making Datalog(DL) 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).
引用
收藏
页码:171 / +
页数:3
相关论文
共 50 条