Sciweavers

IJCAI
2001

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

13 years 11 months ago
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
Fabio Massacci
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where IJCAI
Authors Fabio Massacci
Comments (0)