Projekty finansowane przez NCN
Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii
2011/01/B/ST6/02759
Słowa kluczowe:
ontologie OWL logiki deskrypcyjne automatyczne wnioskowanie
Deskryptory:
- ST6_8: Systemy inteligentne
- ST6_3: Metody formalne
- ST6_6: Technologie i systemy informatyczne
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 2
Konkurs: OPUS 1 - ogłoszony 2011-03-15
Przyznana kwota: 148 200 PLN
Rozpoczęcie projektu: 2011-12-01
Zakończenie projektu: 2014-12-06
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt rozliczony