Dipartimento di Psicologia

Data la seguente porzione dell'ontologia SUMO:

(subclass Bedroom Room)

(subclass Room StationaryArtifact)

(subclass Bathroom Room)

(subclass DiningRoom Room)

(subclass StationaryArtifact Artifact)

(subclass Building StationaryArtifact)

(subclass Balcony StationaryArtifact)

(subclass Bed Furniture)

(=>

    (instance ?ROOM Bedroom)

    (exists (?BED)

        (and

            (instance ?BED Bed)

            (located ?BED ?ROOM))))

(=>

    (instance ?BED Bed)

    (hasPurpose ?BED

        (exists (?PERSON)

            (and

                (attribute ?PERSON Asleep)

                (located ?PERSON ?BED)))))

(=>

    (instance ?X Mattress)

    (exists (?BED)

        (and

            (instance ?BED Bed)

            (component ?X ?BED))))

• Descrivere graficamente le relazioni di classe / sottoclasse
• Scrivere in linguaggio naturale i tre assiomi riportati
• Indicare le primitive del linguaggio di rappresentazione dell'ontologia e i concetti rappresentati nell'ontologia stessa.