Dans le cadre de mon projet j'ai une DL (Description Logic) qui :
- possède la quantification existentielle
- possède une notion proche de l'implication (la subsomption)
- ne possède pas la quantification universelle
- ne possède pas la négation
Est-ce que je peux récupérer une notion proche de la quantification universelle ?
Comme je le crois sur la simple foi de l'exemple suivant.
La nuit, tous les chats sont gris
En utilisant la quantification existentielle et l'implication :
il existe une période nocturne ⇒ il existe un chat ⇒ ce chat est de couleur grise
Partager