La suposición de nombre único es una suposición simplificadora hecha en algunos lenguajes de ontología y lógicas de descripción . En la lógica con la suposición de nombre único, los nombres diferentes siempre se refieren a entidades diferentes en el mundo. [1] Se incluyó en la discusión de Ray Reiter sobre el supuesto de mundo cerrado que a menudo se incluye tácitamente en Sistemas de gestión de bases de datos (por ejemplo, SQL) en su artículo de 1984 "Hacia una reconstrucción lógica de la teoría de bases de datos relacionales" (en ML Brodie, J. Mylopoulos, JW Schmidt (editores), Modelado de datos en inteligencia artificial, bases de datos y lenguajes de programación, Springer, 1984, páginas 191-233).
El lenguaje de ontología estándar OWL no hace esta suposición, pero proporciona construcciones explícitas para expresar si dos nombres denotan entidades iguales o distintas. [2] [3]
owl:sameAs
es la propiedad de OWL que afirma que dos nombres o identificadores (por ejemplo, URI) se refieren al mismo individuo o entidad.owl:differentFrom
es la propiedad de OWL que afirma que dos nombres o identificadores (por ejemplo, URI) se refieren a diferentes personas o entidades.
Ver también
Referencias
- ^ Russell, Stuart ; Norvig, Peter (2003) [1995]. Inteligencia artificial: un enfoque moderno (2ª ed.). Prentice Hall. pag. 333. ISBN 978-0137903955.
- ^ Tao, Jiao; Sirin, Evren; Bao, Jie; McGuinness, Deborah L. (2010). Restricciones de integridad en OWL . Proc. AAAI.
- ^ Referencia del lenguaje de ontología web OWL