Previous approaches in query processing do not consider queries to automatically combine results obtained from different information sources, i.e. they do not support information...
: This paper describes a system, which integrates Neural Network (NN) models into adaptation circle of Case-based Reasoning (CBR) system. Neural Network supported adaptation can pr...
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
Christian Meilicke, Heiner Stuckenschmidt, Ondrej ...
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...