We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
Ford Motor Company's Direct Labor Management System (DLMS) utilizes knowledgerepresentation schemebased on the KL-ONEfamily of languages to represent the world of automobile ...
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...