Conference Paper

A Reasoning Broker Framework for Protégé

Conference: 11th International Protégé Conference

ABSTRACT

We develop a reasoning broker framework for the combined use of existing
OWL reasoners assisted

by means for caching of results, scheduling of reasoning tasks and
online-selection of appropriate

reasoners. Here we demonstrate an integration of the first version
of this reasoning broker framework

into the Prot´eg´e ontology engineering environment. The demo allows
for the configurable combined

use of various OWL reasoners with features of parallel execution and
runtime-selection of appropriate

reasoners.

Download full-text

Full-text

Available from: Juergen Bock
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Semantic applications that utilise OWL ontologies can benefit from a broad range of OWL reasoning systems, which allow for the inference of implicit knowledge from explicitly given facts and axioms. Different OWL reasoners, however, specialise in different reasoning problems for kinds of ontologies, and hence perform differently in certain reasoning scenarios. This paper presents a reasoning broker framework, which connects to different existing reasoning systems and intelligently delegates reasoning requests. The behaviour of the broker is controlled by exchangeable and configurable broker strategies featuring selection and parallelisation of reasoners, centralised caching, simulated anytime reasoning, and various other potential features. A first experiment shows performance improvement for a sequence of queries compared to the use of different single reasoners.
    Full-text · Conference Paper · Oct 2009
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Wissen und Informationen wachsen nicht nur stetig in ihrer Menge, sie stellen heute vielmehr eine bedeutende Ressource vieler Unternehmen dar. Der effiziente Zugriff auf Unternehmenswissen, wie etwa Expertisen, Ansprechpartner, Projekt- und Meilensteinpläne etc. kann Unternehmensprozesse vereinfachen und somit zur Zeit- und Kostenreduktion beitragen. Semantische Technologien bieten zahlreiche Möglichkeiten, um Daten mit Hintergrundinformationen zu ihrer Bedeutung anzureichern und sie mit weiteren relevanten Informationseinheiten zu verbinden. Solche semantische Relationen führen nicht nur zu einer effizienteren Suche in größeren Informationsräumen, sondern unterstützen den Benutzer auch bei diversen Prozessen, wie etwa Editierung, Annotation und Verarbeitung von Informationen. Die komplexen semantischen Strukturen stellen neue Herausforderungen an die Visualisierung dar. SemaVis eine am Fraunhofer IGD entwickelte Kerntechnologie stellt eine komponentenbasierte, modulare Architektur zur Semantik-Visualisierung zur Verfügung, die die Anwendbarkeit der Visualisierungen in verschiedenen Anwendungsszenarien unter Nutzung heterogener Daten für heterogene Benutzer erlaubt.
    Full-text · Chapter · Jan 2011
  • [Show abstract] [Hide abstract]
    ABSTRACT: Information and knowledge are growing permanently and represent valuable resources for many enterprises. The efficient access to knowledge of an enterprise like expertise, contact persons, project and milestone plans, etc. may simplify business processes and lead to time and cost savings. Semantic technologies offer numerous possibilities to enrich data with background information about their meaning. Such semantic relations do not only lead to more efficient search in larger information repositories but they also assist the user in diverse processes like editing, annotation and processing of information. In addition they offer new means of access and transfer of knowledge. Each information unit is linked to other units in the same domain, which allows faster search and offers a way of information access that is close to the habits of humans, i.e. the creation of new knowledge and its association to already existing knowledge. This approach of the whole THESEUS research program was also the basis of the Core Technology Cluster of THESEUS.
    No preview · Article · Jan 2014 · Cognitive Technologies
Show more