Search
Now showing items 1-2 of 2
-
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013)This report documents the outcomes of the Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual Schemas". The quality of an information system is largely determined early in the development cycle, i.e., during requirements ... -
Description logic Knowledge and Action Bases
({AAAI} Press/The {MIT} Press, 2013)Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions ...