Kompilacja wiedzy w walidacji względem PG-Schema

Speaker(s)

Jakub Kłos

Affiliation

MIMUW

Language of the talk

Polish

Date

Oct. 14, 2025, 10:15 a.m.

Room

room 4060

Seminar

Seminarium "DeSeR: Dane, strumienie, rozpraszanie"

---

Grafy własnościowe są szeroko stosowane w dziedzinach, w których dane w naturalny sposób przyjmują strukturę grafu, takich jak sieci społecznościowe, finanse czy cyberbezpieczeństwo. Możliwość zapewnienia, że graf własnościowy jest zgodny ze specyfikacją schematu, ma kluczowe znaczenie dla utrzymywania spójności danych, umożliwienia niezawodnego wykonywania zapytać oraz wspierania zaawansowanej analizy danych. PG-Schema to niedawno zaproponowany język schematów dla grafów własnościowych. Opierając się na istniejącej eksperymentalnej implementacji PG-Schema, praca bada zastosowania paradygmatu kompilacji wiedzy w celu przyspieszenia procesu walidacji. Podstawową ideą kompilacji wiedzy jest tłumaczenie z deklaratywnego formalizmu na wyspecjalizowane reprezentacje, które umożliwiają szybkie wykonanie z góry określonych zadań. Podczas gdy reprezentacje te zazwyczaj opierają się na układach logicznych lub diagramach decyzyjnych, w niniejszej pracy dążymy do wykorzystania automatów.

---