Objetivo
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning. DLP is very expressive, and allows to represent even problems of high complexity (every problem in the complexity class sigma^P_2 = NP^NP) in a simple and declarative way. The recent implementation of a couple of efficient DLP systems (namely, DLV and GnT/SModels) increased the interest in D LP, and allowed the implementation of several knowledge-based applications also in the are of planning, diagnosis, product configuration, etc. The highly expressive knowledge representation language supported by DLP systems, makes it evident that these systems have an high potential for exploitation in the area of Knowledge Management (KM), where one has to represent and make reasoning on complex knowledge. In particular, a main issue in Knowledge Discovery (a fundamental process in KM) is the specification of ontologies for modeling the application domain and their exploitation to derive new knowledge. To this end, the advanced knowledge modeling features (like, e.g. inference rules, integrity constraints, weak constraints, and non-monotonic inference mechanisms) provided by DLP systems can significantly enhance the knowledge modeling ability and the inference power of existing ontologies specification languages. Nevertheless, a full exploitation of DLP systems for KM applications requires them to be suitably enhanced for this purpose (e.g. DLP systems do not permit to naturally deal with statistical data, and do not provide support for objects and inheritance). This is precisely the goal of this project proposal. We will first single out the main limitations of DLP systems for ontologies specification. We will then propose DLP extensions that overcome these limitations, and design suitable algorithms and data-structures to efficiently implement the proposed extensions in the DLP system DLV making it suitable for the development of KM applications.
Á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..
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.
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.
Datos no disponibles
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.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
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.
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.
Coordinador
87030 RENDE
Italia
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.