Štúdium algoritmu na nájdenie všetkých vysvetlení (MHS)
29.11. – 19.12. 2021
Štúdium algoritmov na hľadanie minimálnych konfliktov:
MergeXplain(MXP)
QuickXplain (QXP)
3.1. – 6.2. 2022
Testovanie rôznych vstupov na rôznych reasoneroch (Hermit, Pellet, JFact)
Objavenie problémov s Pellet reasonerom
7.2. – 13.2. 2022
Získať najnovšiu verziu implementácie
Skontrolovanie výsledkov s AAA
Overenie a kontrola výsledkov príkladu 6
Získať modely k problémovým príkladom 10,11,12
14.2. – 20.2. 2022
Porovnanie získaných modelov s modelmi z AAA
Skontrolovanie, ktoré modely sú správne
Testovanie novej refaktorovanej verzie kódu
Pozrieť sa na dokumentáciu OWLKnowledgeExplorerReasoner
21.2. – 27.2. 2022
Vytvorenie stránky
Skúšanie OWLKnowledgeExplorerReasoner
28.2. – 6.3. 2022
Vytvorenie kostry dokumentu diplomovej práce
Pripomenutie teórie hybridného algoritmu MHS-MXP
7.3. – 13.3. 2022
Prezeranie dokumentácie OWL API – hľadanie funkcie,
ktorá by nám pomohla získať informáciu o tom, do ktorých tried
individál patrí a do ktorých nie v rámci modelu danej teórie
(jedinou možnosťou sa javí byť OWLKnowledgeExplorerReasoner)
14.3. – 20.3. 2022
Opätovné skúšanie spojazdniť OWLKnowledgeExplorerReasoner – rozhranie implementujú reasonery JFact a Fact++, objavil sa problém (nedá sa vyčítať label vrcholu pomocou metódy getObjectLabel)
21.3. – 27.3. 2022
Riešenie problému – dostať sa k label-u vrcholu
Prezretie zdrojového kódu JFact reasoneru
Pokus dostať sa k label-u vrcholu priamo cez vnútornú implementáciu JFact vrcholu (neúspešné)
Zistili sme, kde presne dochádza k problému ⇒ na získanie modelu nebude stačiť OWLAPI
a pri využití JFact reasonera bude potrebné zasahovať do jeho implementácie
18.4. – 1.5. 2022
Oprava a aktualizovanie zoznamu literatúry (v práci aj na stránke)
Vytvorenie orientačného obsahu práce a pridanie dokumentu na stránku
Stiahnutie, skúmanie a úprava kódu JFact reasonera – pokus dostať sa k label-u vrcholu
Vytvorenie prezentácie (ešte nedokončená)
2.5. – 15.5. 2022
Príprava prezentácie na seminár
Prezentovanie na projektovom seminári
16.5. – 19.6. 2022
Skúmanie implementácie JFact reasoneru
Snaha dostať sa priamo k implementácii completion grafu (a vyčítať label-e)
20.6. – 3.7. 2022
Nájdenie bugu v JFact reasoneri
Vytvorenie vlastnej verzie JFact reasoneru s opraveným bug-om
Implementovanie extrakcie modelov
Po opravení problému je už možné využiť OWLKnowledgeExplorerReasoner
4.7. – 17.7. 2022
Testovanie novej extrakcie modelov
Objavenie bugov v pôvodnej verzii
18.7. – 31.7. 2022
Opravenie kontroly konzistencie
Báza znalostí nemôže byť nekonzistetná na základe toho, že je model prázdny
Opravenie filtrovania konzistetných vysvetlení
Vysvetlenie musí byť konzistetné v rámci pôdovnej ontológie
1.8. – 21.8. 2022
Implementovanie rolových vysvetlení (2 spôsoby)
Prechádzanie grafu
Prechádzanie individuálov (prehľadnejšie, trochu rýchlejšie)
Vytriedenie problematických ontológií (kontrola konzistencie nedobehne alebo pri nej program spadne)
Dopísanie sekcie o DL sémantike
Odstránenie duplicitných kontrol konzistencie
Oprava počiatočných podmienok a logovania, pokiaľ program skončí v tomto bode
7.11. – 13.11. 2022
Preskúmanie a vyfiltrovanie ontológií (ORE 2015 Reasoner Competition Corpus)
Zistenie počtu individuálov
Triedenie ontológií na základe rôznych kritérií
Skúmanie predošlej evalvácie, skriptov na spracovanie logov
Návrh na novú verziu ukladania logov
Refaktorovanie kódu
JFact oprava – problém so symetrickými rolami v ontológii
Písanie sekcie o rozhodovacích problémoch
14.11. – 20.11. 2022
Písanie kapitoly evalvácie, ontológie, pozorovania, postup (oba experimenty)
Zistenie ako funguje relevancia pri complex a multiple pozorovaniach
Vytvorenie complex observation vstupov (na experiment 1)
Spustenie complex observation vstupov, vytvorenie štatiských ohľadom počtov vysvetlení (naším cieľom je vytvoriť lepšie rozloženie)
Skúsiť pozmeniť hranice na dosiahnutie lepšieho rozloženia (nepôjde to takto)
Pozn. Bude potrebné urobiť nové testovacie prípady: väčšie dĺžky vysvetlení s menším počtom vysvetlení chýbajú
21.11. – 27.11. 2022
Vytvorenie switch-u na partially/strict relevanciu