Предположение уникального имени
Предположение об уникальном имени — это упрощающее предположение, используемое в некоторых языках онтологии и логике описания . В логике с допущением уникального имени разные имена всегда относятся к разным объектам в мире. [1] Это было включено в обсуждение Рэем Рейтером предположения о закрытом мире , которое часто молчаливо включается в системы управления базами данных (например, SQL) в его статье 1984 года «На пути к логической реконструкции теории реляционных баз данных» (в книге ML Brodie, J. Mylopoulos, JW). Шмидт (редакторы), Моделирование данных в искусственном интеллекте, базах данных и языках программирования, Springer, 1984, страницы 191–233).
Стандартный язык онтологий OWL не делает этого предположения, но предоставляет явные конструкции, позволяющие выразить, обозначают ли два имени одни и те же или разные объекты. [2] [3]
owl:sameAs— это свойство OWL, которое утверждает, что два заданных имени или идентификатора (например, URI) относятся к одному и тому же лицу или объекту.owl:differentFrom— это свойство OWL, которое утверждает, что два заданных имени или идентификатора (например, URI) относятся к разным лицам или объектам.
См. также [ править ]
Ссылки [ править ]
- ^ Рассел, Стюарт ; Норвиг, Питер (2003) [1995]. Искусственный интеллект: современный подход (2-е изд.). Прентис Холл. п. 333. ИСБН 978-0137903955 .
- ^ Тао, Цзяо; Сирин, Эврен; Бао, Цзе; МакГиннесс, Дебора Л. (2010). Ограничения целостности в OWL . Учеб. АААИ.
- ^ Справочник по языку веб-онтологии OWL
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |