Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-05-28

Scalable and Complete Ontology Reasoning

Objetivo

Semantic Web technologies, like OWL 2 and RDF(S) ontologies have gradually started to be used in many research as well as industrial strength applications, a recent example being BBC's World Cup Semantic Website. Many such applications usually have to deal (reason) with a huge amount of data in as much little time as possible. The pressing need for scalable reasoning often forces developers to use incomplete ontology reasoners--that is, reasoners which for some combinations of inputs fail to derive all answers to a user query. Examples of such systems are OWLim (the system used by BBC), Oracle's Semantic Store, and more. Although incompleteness provides performance guarantees it is clearly undesirable, and in some applications may even be unacceptable. To address this problem, the current project aims at investigating the problem of `repairing' an ontology O for an incomplete reasoner--that is, computing an extension R such that a reasoner that is incomplete for O becomes complete when used with O and R as inputs.

The project will investigate the possibility of repairing ontologies O which contain disjunctive constructors and also repairing under non-ground queries. Both these features are very important in knowledge representation and ontology engineering and to the best of our knowledge are currently not supported by any state-of-the-art repair approach. Furthermore, the project will also provide prototypical implementations and an extensive experimental evaluation as proof of concept of the proposed technologies and the practically of the approach. Finally, it will also investigate the trade-off between fully repairing completeness of an incomplete system and the consequences that the repair potentially has in its scalability. Overall, the project aims at delivering scalable and complete ontology reasoning by bringing together complete but inherently inefficient systems with incomplete but scalable ones.

Ámbito científico (EuroSciVoc)

CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..

Para utilizar esta función, debe iniciar sesión o registrarse

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

FP7-PEOPLE-2011-CIG
Consulte otros proyectos de esta convocatoria

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

MC-CIG - Support for training and career development of researcher (CIG)

Coordinador

ETHNICON METSOVION POLYTECHNION
Aportación de la UE
€ 100 000,00
Dirección
HEROON POLYTECHNIOU 9 ZOGRAPHOU CAMPUS
157 72 ATHINA
Grecia

Ver en el mapa

Región
Αττική Aττική Κεντρικός Τομέας Αθηνών
Tipo de actividad
Higher or Secondary Education Establishments
Enlaces
Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.

Sin datos
Mi folleto 0 0