Kompilacja wiedzy w walidacji względem PG-Schema

Prelegent(ci)

Jakub Kłos

Afiliacja

MIMUW

Język referatu

polski

Termin

14 października 2025 10:15

Pokój

p. 4060

Seminarium

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.

---