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