Эскизы концептов (продолжение)

Сообщение послал(а): Владимир (95-24-150-74.broadband.corbina.ru)
Дата: Четверг, 26 Января 2012, at 8:10 p.m.

== Эскиз стандарта OWL ==
OWL - Web Ontology Language - Веб-Онтологии словарь (обратите внимание на Язык Высокой Онтологии, а вэб-онтологии)
Словарь OWL пределяется сверху RDFS словаря.
owl:Class подкласс rdfs:Class.
RDFS свойства экземпляры rdfs:Property, OWL вводит owl:ObjectProperty и owl:DatatypeProperty - субклассы (повторы?) rdf:Property.
Объекты OWL соединяют (link - см. этимологию) два ресурса с онтологией. Например свойство "жить" может объединять Джона (экземпляр класса человек) и Лондон (экземпляр класса "город").
Типы данных OWL связывают ресурсы с XML Schema Datatype или RDF-литералами (строками), например свойство иметь_телефон может соединять Джона с литералом "111-111-11-11". (нужен пример мощного типа данных в XML.)
Функциональное описание в OWL (задание множества значений для свойства (проекция?)). Инверсия функционала свйоств.
Транзитивность свойства (если свойство partOf является owl:TransitiveProperty и x partOf y, x partOf z, тогда x siblingOf x). Симетричность (если siblingOf является owl:SymmetricProperty и x siblingOf y, тогда y siblingOf x).

В ТБК реализованы все конструкции OWL.

В дополнение к глобальным ограничениям OWL предоставляет словарь локальных ограничений.

OWL пределяет как производить логический вывод, на основе утверждений,но факту непосредственно не участвуют в онтологии, но задают семантику. ТБК обеспечивает поддержку OWL-вывода. Возможна настройка машины вывода.

== Эскиз стандарта SPARQL ==
SPARQL стандарт W3C запросов к RDF-графам. Нотация похожа на запросы к реляционным БД,но фокусируется на сравнении триплетов.

SPARQL имеет пять типов запросов:
SELECT - возвращает результат в виде таблицы.
CONSTRUCT - возвращает RDF-триплеты.
ASK - простой результат True/False.
DESCRIBE - выделение RDF-графа из конечной точки SPARQL, содержание (состав графа - подграф) слева от конечной точки ??? (не совсем ясно)
UPDATE - ввод/удаление триплетов графа.

Опция WHERE задает ограничение запроса.

См. спецификацию: http://www.w3.org/TR/rdf-sparql-query/

Итог: не удалось подключить сервер Аллегро Граф, и перетаскивать экземпляры между онтологиями.

== SPIN - Нотация Вывода SPARQL ==
Getting Started with SPIN. Version 1.0
link

SPIN - SPARQL Inferencing Notation, Нотация Вывода SPARQL.
SPIN - нобор RDF-словарей для определения новых функций хранимых в процедурах, проверках ограничений, правилах вывода.
Бизнес-правила на основе СПИН окружающие модель данных можно кликать, перетаскивать, редактировать в экранных диалогах.

Возможности СПИН:
- вычисление свойств, используя значения других свойств (например площадь фигуры из длины и ширины, возраст из дат, имя как соединение ФИО).
- проверка ограничений и валидация, проверка данных (например задание целостности данных)
- задание условий выполнения правил. Например инкриментный вывод (?) инициализац