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

Information in the final report

  • Publication in academic press/journals (10)
  • Articles in post-conference publications (18)
  1. The Web Ontology Rule Language OWL 2 RL+ and Its Extensions
    Authors:
    Son Thanh Cao, Linh Anh Nguyen, Andrzej Szałas
    Academic press:
    Transactions on Computational Collective Intelligence (rok: 2013, tom: 13, strony: 152-175), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/978-3-642-54455-2 - link to the publication
  2. Bisimulation-Based Concept Learning for Information Systems in Description Logics
    Authors:
    Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang
    Academic press:
    Vietnam Journal Computer Science , Wydawca: Springer
    Status:
    Submitted
    DOI:
    brak - link to the publication
  3. Towards Richer Rule Languages with PTime Data Complexity for the Semantic Web
    Authors:
    Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas
    Academic press:
    Data & Knowledge Engineering , Wydawca: Elsevier
    Status:
    Submitted
    DOI:
    brak - link to the publication
  4. A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse
    Authors:
    Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas
    Academic press:
    VNU Journal Of Science: Computer Science And Communication Engineering (rok: 2014, tom: 30(4), strony: 14-28), Wydawca: Vietnam National University, Hanoi
    Status:
    Published
    DOI:
    brak - link to the publication
  5. An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
    Authors:
    Linh Anh Nguyen, Joanna Golińska-Pilarek
    Academic press:
    Fundamenta Informaticae (rok: 2014, tom: 135(4), strony: 433-449), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2014-1133 - link to the publication
  6. WORL: a nonmonotonic rule language for the semantic web
    Authors:
    Son Thanh Cao, Linh Anh Nguyen, Andrzej Szałas
    Academic press:
    Vietnam Journal of Computer Science (rok: 2013, tom: 1(1), strony: 57-69), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s40595-013-0009-y - link to the publication
  7. On C-Learnability in Description Logics
    Authors:
    Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen
    Academic press:
    Neurocomputing , Wydawca: Elsevier
    Status:
    Submitted
    DOI:
    brak - link to the publication
  8. Bisimulation-Based Concept Learning in Description Logics
    Authors:
    Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen
    Academic press:
    Fundamenta Informaticae (rok: 2014, tom: 133(2-3), strony: 287-303), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2014-1077 - link to the publication
  9. ExpTime tableaux with global state caching for the description logic SHIO
    Authors:
    Linh Anh Nguyen
    Academic press:
    Neurocomputing (rok: 2014, tom: 146, strony: 249-263), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.neucom.2014.05.071 - link to the publication
  10. On bisimulations for description logics
    Authors:
    Ali Rezaei Divroodi, Linh Anh Nguyen
    Academic press:
    Information Sciences (rok: 2015, tom: 295, strony: 465-493), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.022 - link to the publication
  1. Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms
    Authors:
    Linh Anh Nguyen
    Conference:
    The Seventh International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (KES-AMSTA 2013) (rok: 2013, ), Wydawca: IOS Press
    Data:
    konferencja 27-29/05/2013
    Status:
    Published
    DOI:
    link to the publication
  2. On C-Learnability in Description Logics
    Authors:
    Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen
    Conference:
    The Fourth International Conference on Computational Collective Intelligence - Technologies and Applications (ICCCI 2012) (rok: 2012, ), Wydawca: Springer-Verlag
    Data:
    konferencja 28-30/11/2012
    Status:
    Published
    DOI:
    link to the publication
  3. On the Horn Fragments of Serial Regular Grammar Logics with Converse
    Authors:
    Linh Anh Nguyen, Andrzej Szałas
    Conference:
    The Seventh International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (KES-AMSTA 2013) (rok: 2013, ), Wydawca: IOS Press
    Data:
    konferencja 27-29/05/2013
    Status:
    Published
    DOI:
    link to the publication
  4. Query-Subquery Nets
    Authors:
    Linh Anh Nguyen, Son Thanh Cao
    Conference:
    The Fourth International Conference on Computational Collective Intelligence - Technologies and Applications (ICCCI 2012) (rok: 2012, ), Wydawca: Springer-Verlag
    Data:
    konferencja 28-30/11/2012
    Status:
    Published
    DOI:
    link to the publication
  5. A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics
    Authors:
    Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang
    Conference:
    The 2nd International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2014 (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 8-9 maja 2014
    Status:
    Published
  6. A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ
    Authors:
    Linh Anh Nguyen
    Conference:
    The First International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2013) (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 9-10/05/2013
    Status:
    Published
    DOI:
    link to the publication
  7. Comparing the Expressiveness of Description Logics
    Authors:
    Ali Rezaei Divroodi
    Conference:
    The 27th International Workshop on Description Logics (rok: 2014, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 17-20 lipca 2014
    Status:
    Published
    DOI:
    link to the publication
  8. Horn-DL: an Expressive Horn Description Logic with PTime Data Complexity
    Authors:
    Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas
    Conference:
    The Seventh International Conference on Web Reasoning and Rule Systems (RR 2013) (rok: 2013, ), Wydawca: Springer-Verlag
    Data:
    konferencja 27-29/07/2013
    Status:
    Published
  9. On Horn Knowledge Bases in Regular Description Logic with Inverse
    Authors:
    Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas
    Conference:
    The Fifth International Conference on Knowledge and Systems Engineering (KSE 2013) (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 17-19/10/2013
    Status:
    Published
  10. An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ
    Authors:
    Linh Anh Nguyen, Joanna Golińska-Pilarek
    Conference:
    The 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013) (rok: 2013, ), Wydawca: CEUR-WS
    Data:
    konferencja 25-27/09/2013
    Status:
    Published
    DOI:
    link to the publication
  11. Concept Learning for Description Logic-based Information Systems
    Authors:
    Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szałas
    Conference:
    The Fourth International Conference on Knowlegde and Systems Engineering (KSE 2012) (rok: 2012, ), Wydawca: IEEE Computer Society
    Data:
    konferencja 17-19/08/2012
    Status:
    Published
    DOI:
    link to the publication
  12. An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination
    Authors:
    Son Thanh Cao, Linh Anh Nguyen
    Conference:
    The 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 7-10 września 2014
    Status:
    Published
  13. An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases
    Authors:
    Son Thanh Cao, Linh Anh Nguyen
    Conference:
    The 2nd International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2014 (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 8-9 maja 2014
    Status:
    Published
  14. Bisimulation-Based Comparisons for Interpretations in Description Logics
    Authors:
    Ali Rezaei Divroodi, Linh Anh Nguyen
    Conference:
    The 26th International Workshop on Description Logics (DL 2013) (rok: 2013, ), Wydawca: CEUR-WS
    Data:
    konferencja 23-26/07/2013
    Status:
    Published
    DOI:
    link to the publication
  15. Bisimulation-Based Concept Learning in Description Logics
    Authors:
    Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen
    Conference:
    The 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013) (rok: 2013, ), Wydawca: CEUR-WS
    Data:
    konferencja 25-27/09/2013
    Status:
    Published
    DOI:
    link to the publication
  16. A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics
    Authors:
    Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szałas, Thanh-Luong Tran
    Conference:
    The Third International Symposium on Information and Communication Technology (SoICT 2012) (rok: 2012, ), Wydawca: ACM
    Data:
    konferencja 23-24/08/2012
    Status:
    Published
    DOI:
    link to the publication
  17. Horn-TeamLog: a Horn Fragment of TeamLog with PTime Data Complexity
    Authors:
    Barbara Dunin-Kęplicz, Linh Anh Nguyen, Andrzej Szałas
    Conference:
    The Fifth International Conference on Computational Collective Intelligence Technologies and Applications (ICCCI 2013) (rok: 2013, ), Wydawca: Springer-Verlag
    Data:
    konferencja 11-13/09/2013
    Status:
    Published
    DOI:
    link to the publication
  18. Designing a Tableau Reasoner for Description Logics
    Authors:
    Linh Anh Nguyen
    Conference:
    The 3rd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2015) , Wydawca: Springer
    Data:
    konferencja 11-13 maja 2015
    Status:
    Submitted

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy