Предположение об уникальном имени

Присвоение уникального имени Упрощение в онтологиях и логиках Упрощение предполагает, что разные имена всегда относятся к разным объектам.  Включение предположения […]

Присвоение уникального имени

  • Упрощение в онтологиях и логиках

    • Упрощение предполагает, что разные имена всегда относятся к разным объектам. 
    • Включение предположения о замкнутом мире в системы управления базами данных, например, SQL. 
  • Исключение из стандарта OWL

    • OWL не делает этого предположения, но предоставляет средства для выражения отношения между именами. 
    • owl:sameAs указывает на то, что два имени относятся к одному и тому же объекту. 
    • owl:differentFrom указывает на то, что два имени относятся к разным объектам. 
  • Рекомендации и расширение статьи

    • Статья является заглушкой и призывает к расширению для улучшения Википедии. 

Полный текст статьи:

Предположение об уникальном имени — Википедия

Оставьте комментарий

Прокрутить вверх