In this paper a semantical framework is developed that provides a logical description of the functionality of an interactive reasoning process. The concept of functionality description defines the functionality of a reasoning process abstracting from specific inference relations or knowledge bases. Moreover, a domain description is formalised. A number of properties of a functionality descripti...

Design Science Research seeks to develop new generalizable knowledge about design processes, design products, and designed artifacts while solving organizational problems with new work practices based on information technology. However, the ability of Design Science Research to generate knowledge has been challenged by some scholars, due weak connection of the designed artifact to the knowledge...

We will demonstrate SconeEdit, a new tool for exploring and editing knowledge bases (KBs) that leverages interaction with domain texts. The tool provides an annotated view of user-selected text, allowing a user to see which concepts from the text are in the KB and to edit the KB directly from this Text View. Alongside the Text View, SconeEdit provides a navigable KB View of the knowledge base, ...

ed grammar 1 old grammar assumption markup abstracted grammar 2 parser documented grammar 2 parser document new grammar structured document example knowledge base example selection

This paper describes a novel intellectual structure for the subject space of material designed for selective autodidactic learning in a large knowledge base. This structure is based on a systematic theory-driven connection of categorical and factual knowledge. It is further based on the idea, that relevant subjects in such a system should be propositions, represented as categorical relationship...