Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Brak dostępnych danych
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
87030 RENDE
Włochy
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.