Negación

[ExarcaFidalgo]

NOT s crea una nueva Expresión Formal a partir de la Expresión Formal s. Los nodos cumplen con NOT s cuando no presentan las propiedades de s.

:NoName Not { schema:name . }

---

:User { schema:name xsd:string ; schema:birthDate xsd:date? ; }

:NoUser Not @:User

[ExarcaFidalgo]

Apunte: la diferencia con la cardinalidad 0 es que esta prohibe la aparición de dicha propiedad. Con NOT la propiedad puede aparecer si la restricción es distinta. Ejemplo:

:NoName1 { schema:name xsd:string {0} }

:NoName2 Not { schema:name xsd:string }

---

:alice schema:name "Alice". #Fails as a :NoName1 and :NoName2

:bob schema:name 23 . #Fails as a :NoName1 Passes as a :NoName2

:carol foaf:age 34 . #Passes as a :NoName1}*) \Passes{:NoName2