4 KiB
Некоторые заметки
IRI
символ #
В Semantic Web принято, чтобы эти идентификаторы имели вид URI – универсальных идентификаторов ресурсов, стандартизированных для сети Интернет. Таким образом, все идентификаторы в онтологических моделях получают вид:
http://имя-хоста/онтология#идентификатор
Вместо символа # для отделения названия онтологии от идентификатора конкретной сущности может использоваться слэш – /.
SemanticIntro.pdf c48
Protege
закладки редактора
3.3. Простые онтологические модели: индивидуальные объекты и свойства SemanticIntro.pdf c58
В Protégé сущности всех типов создаются похожим образом, только для этого используются разные закладки редактора:
- Classes – классы,
- Individuals – индивидуальные объекты,
- Data properties – свойства-литералы,
- Object properties – свойства-указатели на объекты.
Закладка Entities позволяет увидеть все эти элементы одновременно.
Триплет - граф
Пример набора триплетов и графа Альфа - Бета
SemanticIntro.pdf c69
blank nodes
Event Онтология
Класс Событие SemanticIntro.pdf c135
Время в семантических моделях: John Sowa в книге «Knowledge representation. Logical, philosophical and computational foundations» ; ISO 15926
OWL API
RDF
Группировка в RDF SemanticIntro.pdf c98
SPARQL
Пример SPARQL для Альфа - Бета SemanticIntro.pdf c73
SWRL
Reasoner
Машина логического вывода SemanticIntro.pdf c79
MetaOntology
Группировка сущностей
Типы, Категории (Классификация vs Типизация) SemanticIntro.pdf c138
Concept-individ-role
Итак, в дескрипционных логиках у нас есть индивиды, концепты и роли. Сущности эти близко соответствуют первопорядковым константам и одно- и двуместным предикатам. Кроме того, у нас есть аксиомы, примерно соответствующие первопорядковым формулам, позволяющие выражать связи между индивидами, концептами и ролями. EnterpriseModeling.pdf c20+1
Termin
Linked Data
Бернерс-Ли EnterpriseModeling.pdf c23+1