5.2 KiB
Некоторые заметки
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
Event Онтология
Класс Событие SemanticIntro.pdf c135
Время в семантических моделях: John Sowa в книге «Knowledge representation. Logical, philosophical and computational foundations» ; ISO 15926
OWL
OWL API
«корневые» типы сущностей модели OWL
В стандарте представления онтологических моделей OWL определены несколько «корневых» типов сущностей, среди которых для нас важны класс (owl:Class) и индивидуальный объект (owl:NamedIndividual) EnterpriseModeling.pdf c130+1
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
triple
Триплет – это элементарное высказывание, состоящее из трех элементов: субъекта, предиката и объекта (или, в терминах грамматики русского языка, подлежащего, сказуемого и дополнения), например: «змея является животным» EnterpriseModeling.pdf c131+1