Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity

In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and composition of roles. We propose tableau-based decision procedures for the satisfiability of logics extending ALC with the intersection , composition, union , converse

• Type: Conference
• Year: 2001
• Where: IJCAI
• Authors: Fabio Massacci
• Keywords: Decision Procedures, Expressive Description Logics, IJCAI 2001, IJCAI 2007, Tableau-based Decision Procedures