Reasoning in Description Logics (1997)
by
F. M. Donini
,
M. Lenzerini
,
D. Nardi
,
A. Schaerf
| Citations: | 206 - 27 self |
BibTeX
@MISC{Donini97reasoningin,
author = {F. M. Donini and M. Lenzerini and D. Nardi and A. Schaerf},
title = {Reasoning in Description Logics},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 51 | Data Semantics - Abrial - 1974 |
| 44 | Terminological cycles in KL-ONE-based knowledge representation languages - Baader - 1990 |
| 31 | A Computational Account for Description Logic of Time and Action - Artale, Franconi |
| 19 | Consistency and completeness of OMEGA, a logic for knowledge representation - Attardi, Simi - 1981 |
| 2 | Terminological Knowledge Representation: A Proposal for a Terminological Logic - Donini, Lenzerini, et al. - 1991 |
