Цифровые модели знаний: понятия, идентификаторы и связи

Таксономия организует категории объектов или ресурсов и отношения между ними, часто иерархические. Основание деления должно быть явно выбрано; одна таксономия не обязательно подходит для всех задач поиска, обучения или описания предметной области.

Онтология формально описывает понятия предметной области, отношения между ними и принятые ограничения. Машиночитаемая модель может поддерживать согласование данных и вывод; её содержание отражает выбранную задачу и не является полной картиной мира.

Граф знаний представляет сущности и утверждения о связях между ними в графовой структуре. Идентификаторы позволяют сопоставлять записи, а источники — проверять происхождение сведений; граф может содержать неполные, спорные или противоречивые утверждения.

Тезаурус — контролируемый словарь, связывающий понятия с предпочтительными и альтернативными обозначениями. Он задаёт более широкие, узкие и ассоциативные связи для поиска и описания; его отношения не следует автоматически трактовать как логические аксиомы.

Классификация веб-ресурсов распределяет документы или понятия по категориям с выбранным основанием деления. Иерархические и фасетные схемы решают разные навигационные задачи; пересечение рубрик допустимо, если смысл отношений и критерии размещения понятны.

Семантическая связь задаёт смысл отношения между понятиями, например включение, ассоциацию или соответствие. Тип отношения важен для поиска и вывода; тематическую близость нельзя автоматически считать отношением рода и вида или причинной зависимостью.

Идентификатор однозначно обозначает ресурс или сущность в заданной системе. Устойчивые URI и другие схемы помогают связывать записи между наборами; совпадение названий ещё не означает совпадения объектов, а смена адреса требует сохранения соответствий.

RDF — модель представления данных с помощью утверждений вида «субъект — предикат — объект», образующих граф. Она использует идентификаторы ресурсов, литералы и пустые узлы; одну и ту же абстрактную модель можно записывать в разных синтаксических форматах.

SPARQL — семейство стандартов для запросов к RDF-данным и взаимодействия с ними. Запрос сопоставляет графовые шаблоны, применяет фильтры и формирует результат; SPARQL Update отдельно описывает операции изменения данных.

SHACL — язык описания ограничений и проверки RDF-графов на соответствие этим ограничениям. Формы задают ожидаемые свойства и значения данных, а проверка формирует отчёт; успешная валидация структуры не доказывает истинность содержащихся в графе утверждений.