GO-068
2023-01-25
2025-01-25
Graf wiedzy dla definicji matematycznych i dowodów
mgr Łukasz Szeremeta
Mizar Mathematical Library jest podstawowym zasobem dla matematyki. Zawiera on wszystkie twierdzenia, do których autorzy mogą się odwoływać w nowo napisanych artykułach, ale użyteczne koncepcje są trudne do wydobycia i ponownego wykorzystania. Obecnie grafy wiedzy są ważnym i rozwijającym się obszarem w różnych dziedzinach. W dziedzinie matematyki brakuje prawdziwie interoperacyjnych zbiorów danych, które pozwoliłyby na wymianę informacji między zbiorami danych w ekosystemie Web i poza nim. Moce obliczeniowe Uniwersyteckiego Centrum Obliczeniowego Uniwersytetu w Białymstoku (UCO) będą wykorzystane w celu przygotowania Mizar Mathematical Library Knowledge Graph, opartego na modelu Knowledge Organization System i koncepcji grafów wiedzy. Następnie dane zostaną opublikowane zgodnie z najlepszymi praktykami i będą publicznie dostępne poprzez hostowany w UCO punkt końcowy Neo4j z Cypher i możliwością wygodnego przeglądania i analizy zgromadzonych danych.