护理断言检索引擎

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.

syn_1.kbox
syn_10.kbox
syn_2.kbox
syn_4.kbox
syn_6.kbox
syn_8.kbox