Nie jesteś zalogowany |
Powrót do listy grantów
Zaawansowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii.
- Kierownik
- dr hab. Anh Linh Nguyen, prof. UW
- Numer umowy
- 2011/01/B/ST6/02759
- Data rozpoczęcia
- 7 grudnia 2011
- Data zakończenia
- 6 grudnia 2014
- Finansowany przez
- Narodowe Centrum Nauki
- Słowa kluczowe
- ontologie, OWL, logiki deskrypcyjne,automatyczne wnioskowanie
