Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
The majority of today's content based image retrieval systems rely on low-level image descriptors which limit their capability to support meaningful interactions with the use...
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
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 ...