marcomultichannel / tableaux_project Goto Github PK

[CIRO] Estrazione componente unfoldable --> DONE
Per ogni sx⊑dx
Aggiungo al grafo sx --> dx
Se grafo è aciclico Tu <- Tu ∪ sx⊑dx
Altrimenti se grafo è ciclico, annullare cambiamento

[MARCO] Metodo del tableaux --> DONE
Aggiustare il codice con modifiche del prof
Richiamare il nuovo metodo isSatisfiable(ClassExpression)

[MARCO] Tbox T --> DONE
Aggiungere definzioni di classi e di ruoli nella TBox (A,B,C,D,R) usando PROTEGEE'
Stringa concetto C
Nella textbox inserire solo la parte dopo "equivalentTo"
Devi prendere le definizioni delle classi dalla TBox

[CIRO] Classe Tableaux --> DONE
deve implementare l'interfaccia Reasoner
solo un metodo isSatisfiable viene implementato
i restanti lanciano un'eccezione
deve essere inizializzato con un Ontology (TBox)

[CIRO] Permettere di scegliere il nome del file in output --> DONE

[MARCO] Grafo RDF --> DONE
Cambia etichette
togli etichetta CLASH
chiamare le label OR1, OR2,...
[SE RIUSCITE
cambiare colore all'OR che stiamo sviluppando
]

[MARCO] Grafo RDF
//TODO: mostrare parte unfoldabled nel grafo.
//TODO C EQUIVALENTE D E VICEVERSA COME VIENE TRATTATO.