Abstract | ||
---|---|---|
We describe a method for characterizing theexpressive power of description logics. Themethod is essentially model-theoretic in nature,and it is applied to obtain expressiveness resultsfor a wide range of logics in the well-knownand AL hierarchies. As a corollary weobtain a complete classification of the relativeexpressive power of these logics. |
Year | Venue | Keywords |
---|---|---|
1997 | Description Logics | description logic |
DocType | Citations | PageRank |
Conference | 5 | 0.72 |
References | Authors | |
8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Natasha Kurtonina | 1 | 90 | 13.20 |
Maarten de Rijke | 2 | 6516 | 509.76 |