Description Logic Rules

Abstract. We introduce description logic (DL) rules as a new rule-based formalism 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 expressive description logics remains decidable, and we show that the DL SROIQ

• Type: Conference
• Year: 2008
• Where: ECAI
• Authors: Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
• Keywords: Artificial Intelligence, DL Knowledge Bases, DL Rules, DL SROIQ, ECAI 2008