7.2.3. Основні терміни та поняття у Protégé-owl

У центрі більшості онтологій перебувають класи. Останні версії Protégé та інші фреймові системи описують онтології декларативним чином, явно визначаючи класову ієрархію та належність індивідних концептів до відповідних класів. Онтології, побудовані в OWL, мають подібні компоненти до онтологій на основі фреймів. Проте, на відміну від інших, термінологія OWL базується на поняттях індивідних концептів або об’єктів (найчастіше використовується саме це поняття) та властивостей, які загалом відповідають в Protégé, відповідно, екземплярам класів і слотам.

Для уникнення неузгодженості, в табл. 7.1 наведені основні терміни (перший рядок) та їх синоніми (другий рядок), які найчастіше зустрічаються в літературі для опису онтологій.

Табл. 7.1. Терміни та їх синоніми.

Клас	Властивість	Об’єкт
Концепт, категорія, тип, терм, сутність.	Зв’язок, слот, атрибут, роль, обмеження, асоціація.	Індивідний концепт, екземпляр класу, ресурс.

Об’єкти — це окремі екземпляри предметної області. Важлива різниця між Protégé і OWL полягає в тому, що OWL не використовує однозначне присвоєння імен — Unique Name Assumption (UNA). Це означає, що дві різні назви можуть, фактично, посилатися на той самий об’єкт. Наприклад, назви „Королева Елізабет”, „Королева” та „Елізабет Віндзор” можуть означати той самий об’єкт. В OWL має бути чітко визначено, що об’єкти є однаковими чи відмінними один від одного, в іншому випадку назви можуть відноситися до тих самих або різних об’єктів.

Властивості являють собою бінарні зв’язки між об’єктами (властивості зв’язують разом два окремі об’єкти). Наприклад, властивість „мати колір” зв’язує об’єкт „Золото” з об’єктом „Жовтий”, або властивість „використовується в” зв’язує об’єкт „Золото” з об’єктом „електротехніка” (рис. 7.7).

Рис. 7.7. Подання властивостей об’єкту.

У Protégé властивості подаються слотами, в описовій логіці — ролями, в UML та інших об’єктно-орієнтованих поданнях — зв’язками. Властивості можуть бути оберненими, тобто мати інверсію. Наприклад, інверсія до властивості об’єкту „має колір” — „бути кольором”. Властивості можуть бути функціональними (обмежені єдиним значенням), транзи­тивними або симетричними. Ці характеристики детально розгля­немо нижче.

Класи в OWL можна розглядати як множини, що містять об’єкти, котрі описуються формально (математично) для точного подання їх членства в певному класі. Класи можна організовувати в ієрархію клас-підклас — таксономія. OWL-підклас означає необхідність включення. Наприклад, об’єкти „Чавун” і „Сталь” (рис. 7.8) відносяться до класу „Залізовуглецеві сплави”, котрий, у свою чергу, разом з „Металокерамічними сплавами” та „Сплавами на основі кольорових металів” є підкласом „Сплавів”. У випадку побудови глибшої ієрархії, об’єкти „Чавун” і „Сталь” можна розглядати як окремі класи зі своїми підкласами та об’єктами.

Рис. 7.8. Подання структури класів.

В OWL-класах створюються описи, які конкретизують умови, котрим повинен відповідати об’єкт, щоб увійти до складу екземплярів класу. Детальніше про створення описів належності об’єктів до певних класів засобами Protégé-OWL описано в наступних параграфах.