Dipartimento di Psicologia

Codificare in un'ontologia OWL, tramite Protégé, il seguente dominio:

TBOX

• Un alloggio si compone di ambienti
• Un alloggio ha un indirizzo 
• Gli ambienti contengono arredi
• Gli arredi sono di tipo diverso: esistono cucine, letti, lavabi, divani, portaombrelli, ecc.,
• A seconda del tipo di arredi che contengono, gli ambienti sono classificati come ambienti di tipo diverso: la camera da letto contiene uno o più letti, il bagno contiene un lavandino, il soggiorno un divano, ecc.
• Facoltativo: gli alloggi grandi hanno almeno due camere da letto.

ABOX

• La casa di Giovanni ha tre stanze
• La stanza 1 contiene un lavabo ed è un bagno
• La stanza 2 contiene un letto ed è una camera da letto
• La stanza 3 contiene una cucina a gas ed è una cucina
• Facoltativo: la casa di Giulia ha due camere da letto ed è una casa grande.

Suggerimenti: modellare l'indirizzo come data property; non modellare la relazione di appartenenza dell'alloggio a una persona: la casa di Giovanni è la "casa di Giovanni"; usare la restrizione sul min per modellare la parte facoltativa.