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.
最后修改: 2014年06月11日 星期三 13:08