Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Checking of Ontologies

2011/01/B/ST6/02759

Keywords:

ontologies OWL description logics automated reasoning

Descriptors:

  • ST6_8: Computer graphics, image processing, computer vision, multimedia, computer games
  • ST6_3: Software engineering, operating systems, software development methods, programming languages
  • ST6_6: Algorithms, parallel, distributed and network algorithms, algorithmic game theory

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Anh Linh Nguyen 

Number of co-investigators in the project: 2

Call: OPUS 1 - announced on 2011-03-15

Amount awarded: 148 200 PLN

Project start date (Y-m-d): 2011-12-07

Project end date (Y-m-d): 2014-12-06

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled