Change language

Wyszukiwarka projektów

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

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

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/rocznego

Publikacje w czasopismach (7)

  1. An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ

    Autorzy:
    Linh Anh Nguyen, Joanna Golińska-Pilarek
    Czasopismo:
    Fundamenta Informaticae (rok: 2014, tom: 135(4), strony: 433-449), Wydawca: IOS Press
    Status:
    Opublikowana
    DOI:
    10.3233/FI-2014-1133 – link do publikacji

  2. Bisimulation-Based Concept Learning in Description Logics

    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:
    Opublikowana
    DOI:
    10.3233/FI-2014-1077 – link do publikacji

  3. ExpTime tableaux with global state caching for the description logic SHIO

    Autorzy:
    Linh Anh Nguyen
    Czasopismo:
    Neurocomputing (rok: 2014, tom: 146, strony: 249-263), Wydawca: Elsevier
    Status:
    Opublikowana
    DOI:
    10.1016/j.neucom.2014.05.071 – link do publikacji

  4. On bisimulations for description logics

    Autorzy:
    Ali Rezaei Divroodi, Linh Anh Nguyen
    Czasopismo:
    Information Sciences (rok: 2015, tom: 295, strony: 465-493), Wydawca: Elsevier
    Status:
    Opublikowana
    DOI:
    10.1016/j.ins.2014.10.022 – link do publikacji

  5. 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:
    Opublikowana
    DOI:
    10.1007/978-3-642-54455-2 – link do publikacji

  6. 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:
    Opublikowana
    DOI:
    link do publikacji

  7. 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:
    Opublikowana
    DOI:
    10.1007/s40595-013-0009-y – link do publikacji

Teksty w publikacjach pokonferencyjnych (17)

  1. 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, strony: 230-238), Wydawca: Springer-Verlag
    Data:
    konferencja 28-30/11/2012
    Status:
    Opublikowana
    DOI:
    link do publikacji

  2. 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, strony: 241-249), Wydawca: ACM
    Data:
    konferencja 23-24/08/2012
    Status:
    Opublikowana
    DOI:
    link do publikacji

  3. 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, strony: 65-73), Wydawca: IEEE Computer Society
    Data:
    konferencja 17-19/08/2012
    Status:
    Opublikowana
    DOI:
    link do publikacji

  4. 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, strony: 259-264), Wydawca: Springer-Verlag
    Data:
    konferencja 27-29/07/2013
    Status:
    Opublikowana

  5. Comparing the Expressiveness of Description Logics

    Autorzy:
    Ali Rezaei Divroodi
    Konferencja:
    The 27th International Workshop on Description Logics (rok: 2014, strony: 500-512), Wydawca: CEUR-WS.org
    Data:
    konferencja 17-20 lipca 2014
    Status:
    Opublikowana
    DOI:
    link do publikacji

  6. 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, strony: 652-669), Wydawca: CEUR-WS
    Data:
    konferencja 23-26/07/2013
    Status:
    Opublikowana
    DOI:
    link do publikacji

  7. 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, strony: 239-248), Wydawca: Springer-Verlag
    Data:
    konferencja 28-30/11/2012
    Status:
    Opublikowana
    DOI:
    link do publikacji

  8. 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, strony: 109-120), Wydawca: Springer
    Data:
    konferencja 7-10 września 2014
    Status:
    Opublikowana

  9. 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, strony: 281-295), Wydawca: Springer
    Data:
    konferencja 8-9 maja 2014
    Status:
    Opublikowana

  10. 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, strony: 421-433), Wydawca: CEUR-WS
    Data:
    konferencja 25-27/09/2013
    Status:
    Opublikowana
    DOI:
    link do publikacji

  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, strony: 297-312), Wydawca: Springer
    Data:
    konferencja 8-9 maja 2014
    Status:
    Opublikowana

  12. 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, strony: 225-234), Wydawca: IOS Press
    Data:
    konferencja 27-29/05/2013
    Status:
    Opublikowana
    DOI:
    link do publikacji

  13. 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, strony: 37-49), Wydawca: Springer
    Data:
    konferencja 17-19/10/2013
    Status:
    Opublikowana

  14. 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, strony: 235-244), Wydawca: IOS Press
    Data:
    konferencja 27-29/05/2013
    Status:
    Opublikowana
    DOI:
    link do publikacji

  15. 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, strony: 143-153), Wydawca: Springer-Verlag
    Data:
    konferencja 11-13/09/2013
    Status:
    Opublikowana
    DOI:
    link do publikacji

  16. 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, strony: 296-308), Wydawca: CEUR-WS
    Data:
    konferencja 25-27/09/2013
    Status:
    Opublikowana
    DOI:
    link do publikacji

  17. 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, strony: 331-342), Wydawca: Springer
    Data:
    konferencja 9-10/05/2013
    Status:
    Opublikowana
    DOI:
    link do publikacji

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski