Инструменты пользователя

Инструменты сайта


protege

Protege - это свободный, открытый редактор онтологий и фреймворк для построения баз знаний.

Интерфейс системы

Object Properties

Domains

Область применения, т.е. при назначении свойства мы указываем откуда оно работает. Если есть класс люди и яблоки, то свойство «кушает» будет иметь Domains «Люди» и Range (куда действует) «Яблоки».

Range

Область назначения свойства, т.е. при назначении свойства мы указываем на какой объект оказывает влияние. Если есть класс люди и яблоки, то свойство «кушает» будет иметь Domains «Люди» и Range (куда действует) «Яблоки».

Свойство Functional

Свойство указывающее, что объект может иметь только одну подобную связь с субъектом, например, в триплете Вася - имеет_сына - Петю свойство иметь_сына будет функциональным, т.к. Петя не может иметь двух отцов.

Свойство Inverse Functional

Обратное свойство, указывающее, что субъект может иметь только одну подобную связь с объектом. Например, «Солнечная система» - «имеет звезду» - «Солнце» в данном случае мы можем задать и свойство Functional и свойство Inverse functional, т.к. нет в солнечной системе других звезд и солнце звезда только в одной системе.

Свойство Symmetric

В случае выбора этого параметра мы говорим, что если объект связан с субъектом каким либо типом связи, то это действует и в обратном направлении. Например, «линейка» - «лежит рядом с» - «карандаш», при выборе симметричности свойства, мы сразу задаем такую же связь и в обратном направлении, т.е. «карандаш» - «лежит рядом с» - «линейка».

Свойство Asymmetric

В обратную сторону от свойства Symmetric - если субъект связан с объектом каким либо свойством и у него есть Асимметричность, то ситуация что объект связан с этим субъектом тем же свойством невозможна. Например, «Человек» - «ест» - «Яблоко», если у предиката «ест» задано свойство Asymmetric, то система не даст создать триплет «Яблоко» - «ест» - «Человек»

Свойство Reflexive

Выбирается, когда свойство применимо к самом себе, т.е. есть класс «человек» и экземпляр класса «Вася», если мы заводим свойство «знаком с», то можно сказать, что «Вася» знаком сам с собой и тогда ему можно поставить свойство Reflexive

Свойство Irreflexive

Означает, что экземпляр или класс не может быть связан сам с собой. Например свойство «иметь_мать» не может быть рефлексивным.

Свойство Transitive

Транзитивность свойства - если а = б, и б = с, то а = с

В онтологии свойства можно также назначить транзитивными, т.е. если а связанно с б предикатом Р и б связан с «С» предикатом Р, и предикат назначен свойствами транзитивности, то и а будет связано с «с» предикатом Р. Такое хорошо применять в иерархии, когда свойства наследуются, например в генеалогическом дереве - наследник.

Individuals

Свойство экземпляра Different individuals

Не пересекающиеся экземпляры. Указав это свойства мы задаем, что экземпляр точно не является другим экземпляром. Это необходимо при использовании логики в системе owl

Classes

Свойство класса Disjoint with

Это свойство класса указывает нам, что подклассы не могут быть причислены одновременно к двум классам, например имея класс картошка и класс бананы мы говорим, что они disjoint with, таким образом конкретный сорт картошки не попадет в класс бананы, при использовании логики (Reasoner)

protege.txt · Последнее изменение: 02.07.2021 09:14 — Евгений Кирьянов