doc/LD/ld_notes.md
2025-03-02 16:21:27 +03:00

5.2 KiB
Raw Blame History

Некоторые заметки

IRI

символ #
В Semantic Web принято, чтобы эти идентификаторы имели вид URI универсальных идентификаторов ресурсов, стандартизированных для сети Интернет. Таким образом, все идентификаторы в онтологических моделях получают вид:
http://имя-хоста/онтология#идентификатор
Вместо символа # для отделения названия онтологии от идентификатора конкретной сущности может использоваться слэш /. SemanticIntro.pdf c48

Protege

1 закладки редактора
3.3. Простые онтологические модели: индивидуальные объекты и свойства SemanticIntro.pdf c58
В Protégé сущности всех типов создаются похожим образом, только для этого используются разные закладки редактора:

  • Classes классы,
  • Individuals индивидуальные объекты,
  • Data properties свойства-литералы,
  • Object properties свойства-указатели на объекты.
    Закладка Entities позволяет увидеть все эти элементы одновременно.

2 Редакторы онтологий и их возможности EnterpriseModeling.pdf c190+1

Триплет - граф

Пример набора триплетов и графа Альфа - Бета
SemanticIntro.pdf c69

blank nodes

_:b0 SemanticIntro.pdf c113

Event Онтология

Класс Событие SemanticIntro.pdf c135
Время в семантических моделях: John Sowa в книге «Knowledge representation. Logical, philosophical and computational foundations» ; ISO 15926

OWL

OWL API

SemanticIntro.pdf c87

«корневые» типы сущностей модели OWL

В стандарте представления онтологических моделей OWL определены несколько «корневых» типов сущностей, среди которых для нас важны класс (owl:Class) и индивидуальный объект (owl:NamedIndividual) EnterpriseModeling.pdf c130+1

RDF

Группировка в RDF SemanticIntro.pdf c98

SPARQL

Пример SPARQL для Альфа - Бета SemanticIntro.pdf c73

SWRL

SemanticIntro.pdf c83

Reasoner

Машина логического вывода SemanticIntro.pdf c79

MetaOntology

Группировка сущностей

Типы, Категории (Классификация vs Типизация) SemanticIntro.pdf c138

Concept-individ-role

Итак, в дескрипционных логиках у нас есть индивиды, концепты и роли. Сущности эти близко соответствуют первопорядковым константам и одно- и двуместным предикатам. Кроме того, у нас есть аксиомы, примерно соответствующие первопорядковым формулам, позволяющие выражать связи между индивидами, концептами и ролями. EnterpriseModeling.pdf c20+1

Termin

Linked Data

Бернерс-Ли EnterpriseModeling.pdf c23+1

triple

Триплет это элементарное высказывание, состоящее из трех элементов: субъекта, предиката и объекта (или, в терминах грамматики русского языка, подлежащего, сказуемого и дополнения), например: «змея является животным» EnterpriseModeling.pdf c131+1