Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

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, m.in.:

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Anh Linh Nguyen 

Liczba wykonawców projektu: 2

Konkurs: OPUS 1 - ogłoszony 2011-03-15

Przyznana kwota: 148 200 PLN

Rozpoczęcie projektu: 2011-12-07

Zakończenie projektu: 2014-12-06

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Dane z raportu końcowego

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