Die Förderung des Vorhabens erfolgt aus Mitteln des Bundesministeriums für Ernährung, Landwirtschaft und Verbraucherschutz (BMELV) über die Bundesanstalt für Landwirtschaft und Ernährung (BLE) im Rahmen des Programms Innovationsförderung. Abstract: Erweiterte Aufgabenfelder im Bereich des Gesundheits-und Qualitäts-managements können nur durch die Bereitstellung von Ketteninformationen erfüllt w...

We present a framework for probabilistic Information Processing on the Semantic Web that is capable of representing ontologies, deductive databases, uncertain mappings between them, results of statistical instance classification and ontology learning. Our framework is built on a knowledge representation formalism called Bayesian Description Logic Programs because it is a probabilistic extension...

Zunehmend stehen sowohl im nationalen als auch im internationalen Forschungsumfeld Themen der zivilen Sicherheit im Mittelpunkt des Interesses. Verwiesen sei auf die Forschungsanstrengungen des Programms ’Forschung für die zivile Sicherheit’ im Rahmen der High-Tech-Strategie der Bundesregierung sowie auf diverse Forschungsinitiativen auf EU-Ebene. Ein besonderes Augenmerk liegt hierbei auf lösu...

VISCO is a novel visual extension to the texbased SALIERI Language. VISCO makes it possible to use the SALIERI System for creating nearly any kind of score level or real-time music applications with integrated graphical user interfaces. The visual control elements and environments can be created and controlled with the integrated, interactive, GUI based VISCO Browser, from within running SALIER...

Many digital library programmes have a development philosophy based on use of open standards. In practice, however, projects may not have procedures in place to ensure that project deliverables make use of appropriate open standards. In addition there will be occasions when open standards are not sufficiently mature for deployment in a service environment or use of open standards will require e...

We present a general strategy for stepwise, sound and progressive synthesis of logic programs from specifications by examples and properties. We particularize this to schema-guided synthesis, and state a generic synthesis theorem. We justify some design choices for the development of a particular synthesis mechanism that is guided by a Divide-and-Conquer schema, is inductive and deductive, is i...

Der Beitrag bettet Rechtsinformationssysteme als mediale Konfigurationen des rechtswissenschaftlichen Kommunikationszusammenhangs in einen interdisziplinären Diskurs ein und nuanciert die Anschlussprobleme insbesondere für Mediendidaktik mangels disziplinspezifischer Reflexionen (I.). Daran schließen sich medientheoretische wie mediendidaktische Überlegungen an, der Differenzierung zwischen Obe...

The project CARMEN (“Content Analysis, Retrieval and Metadata: Effective Networking”) aimed among other goals at improving the expansion of searches in bibliographic databases into Internet searches. We pursued a set of different approaches to the treatment of semantic heterogeneity (meta-data extraction, query translation using statistic relations and cross-concordances). This paper describes ...