ALCu: An integration of description logic and general rules | |
Mei, Jing ; Lin, Zuoquan ; Boley, Harold | |
2007 | |
英文摘要 | A unifying logic is built on top of ontologies and rules for the revised Semantic Web Architecture. This paper proposes ALCu, which integrates a description logic (DL) that makes a unique names assumption with general rules that have the form of Datalog Programs permitting default negation in the body. An ALCu knowledge base (KB) consists of a TBox T of subsumptions, an ABox A of assertions, and a novel Box P of general rules that share predicates with DL concepts and DL roles. To model open answer set semantics, extended Herbrand structures are used for interpreting DL concepts and DL roles, while open answer sets hold for general rules. To retain decidability, a well-known weak safeness condition is employed. We develop DL tableaux-based algorithms for decision procedures of the KB satisfiability and the query entailment problems. ? Springer-Verlag Berlin Heidelberg 2007.; EI; 0 |
语种 | 英语 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/328467] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Mei, Jing,Lin, Zuoquan,Boley, Harold. ALCu: An integration of description logic and general rules. 2007-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论