Decidable and undecidable extensions of ALC with compositionbased role inclusion axioms
| Author(s) : | Michael Wessel Michael Wessel Arbeitsbereich Kogs, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | This paper continues our investigation on the extension of the standard description logic ALC, |