Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Daten nicht verfügbar
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
87030 RENDE
Italien
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.