Formalizzare in RDF/OWL il dominio seguente (scuola):

  • Ci sono studenti, insegnati, scuole e genitori
  • Gli studenti frequentano una scuola, i genitori sono genitori degli studenti, gli insegnanti insegnano in una scuola
  • Non si può essere docente e studente al tempo stesso
  • Le scuole possono essere primarie o secondarie
  • La 1a, la 2a e la 5a sono primarie
  • La 2e è una secondaria
  • Giovanna Bianchi insegna alla secondaria, Mario Rossi alla primaria
  • Anna frequenta la 2a, Giulia e Margherita frequentano la 5a, Carlo frequenta la 2a
  • Gli insegnanti di scuola primaria sono quelli che insegnano alla primaria, gli insegnanti di scuola secondaria sono quelli che insegnano alla secondaria
  • Gli studenti della primaria frequentano la primaria, gli studenti della secondaria frequentano la secondaria; non si può appartenere a entrambe le classi
  • I genitori della primaria sono quelli che hanno figli che frequentano la primaria.

Verificare, avviando il reasoner, che le classi definite includano gli individui previsti

E' possibile tramite il ragionamento automatica sapere chi è l'insegnante di chi - data l'ontologia definita?

Последнее изменение: понедельник, 12 мая 2014, 22:45