Description Logic Rules
European Conference on Artificial Intelligence(2008)
摘要
We introduce description logic (DL) rulesas a new rule-based formal- ism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rules allow for a tight integration with DL knowledge bases. In contrast to SWRL, however, the combination of DL rules with expres- sive description logics remains decidable, and we show that the DLSROIQ - the basis for the ongoing standardisation of OWL 2 - can completely internalise DL rules. On the other hand, DL rules capture many expressive features ofSROIQ that are not available in simpler DLs yet. While reasoning inSROIQ is highly intractable, it turns out that DL rules can be introduced to various lightweight DLs without increasing their worst-case complexity. In partic ular, DL rules enable us to significantly extend the tractable DLs EL ++ and DLP.
更多查看译文
关键词
expressive feature,simpler dls,various lightweight dls,description logic,dl knowledge base,expressive description logic,dl sroiq,dl rule,internalise dl rule,description logic rules,tractable dls el,semantic web rule language,knowledge representation,standardisation,rule based,knowledge base
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络