Section outline
-
-
Dalle reti semantiche alle ontologie computazionali (lezione 5)
-
Permette di interrogare l'ontologia YAGO soprattutto in relazione ai dati spaziali e temporali
-
Compendio sul ragionamento automatico basato su esempi codificati in Protégé: classificazione automatica, individuazione della inconsistenza, uso delle restrizioni sulle proprietà, effetti dell'assunzione di mondo aperto.
-
Breve guida all'interfaccia di Protégé, schermata per schermata (non è aggiornata all'ultima versione del software ma non ci sono differenze significative)
-
Breve esercizio di modellazione di un dominio via Protégé a partire da specifiche in linguaggio naturale. Il formato del file è Turtle (per allenarsi a leggere le triple).
-
Da fare con Protégé.
-
Svolgimento dell'esercizio di modellazione in OWL. Salvato in formato rdf/owl.
-