dr hab. Filip Murlak profesor uczelni
Wydział Matematyki, Informatyki i Mechaniki
Dyscyplina naukowa:
informatyka
Zainteresowania badawcze:
Zasosowania logiki w informatyce, szczególnie w bazach danych i reprezentacji wiedzy. Obecnie:
- ewaluacja zapytań w oparciu o dane i ontologie wyrażone w logikach deskrypcyjnych,
- przetwarzanie danych o strukturze drzewiastej w modelu strumieniowym,
- języki zapytań i języki definiowania schemtów dla grafowych bazy danych.
description of research interests:
Applications of logic in computer science, especially in database and knowledge representation. Currently:
- ontology-mediated query answering for description logics,
- processing tree-structured data in the streaming model,
- query languages and schemas for labelled property graphs.
Realizowane projekty:
"Nieskończoność we wnioskowaniu o danych i wiedzy", Sonata Bis (NCN), 12.04.2019 - 11.04.2024 (kierownik).
research projects implemented:
"Infinity in Reasoning on Data and Knowledge", funded by Poland's National Science Centre, 12.04.2019 - 11.04.2024 (principal investigator).
Słowa kluczowe:
logika, automaty, logiki deskrypcyjne, ontologie, zapytania, dane o strukturze drzewiastej, rozstrzygalność, złożoność
Słowa kluczowe:
logic, automata, description logics, ontology-mediated query answering, decidability, complexity, streaming tree-structured data
Kontakt:
Odnośniki:
Odnośniki:
« Wstecz