资 源 简 介
Assertion retrieval is a form of object queries that generalizes so-called instance retrieval over Description Logics knowledge bases. CARE is implemented in Java to support assertion retrieval, in which a user can specify what objects to retrieve and what specific details to be computed and returned to the user of qualifying objects. The backend comprises a Description Logics reasoner (for the DL dialect SHI(D), where the strings are the only supported data type) and a query optimizer similar to those developed in relational DBMSs.