Онтология – явная спецификация знаний о предметной области (Грубер). Знания в онтологии могут быть выражены с помощью логик 1-го (или n-го) порядка или в терминах свойство-центричной модели представления знаний.
Логики в онтологиях реализованы с помощью языка LBASE.
LBASE определяет формальные семантики для языков Semantic Web.
Наиболее популярным языком представления онтологий, основанном на LBASE, является OWL (Язык веб-онтологий).
Логики дают возможность выражать в онтологиях практически все, что связано с материальным миром. Ценой таких широких выразительных возможностей является низкая скорость автоматической обработки инструкций онтологий, а иногда и невозможность проведения логического вывода за конечное время. Т.е. Возможна ситуация, когда послав запрос к web-сервису, использующего онтологию, Вы не получите на него ответ за приемлемое для Вас время.
Ускорение работы и логический вывод за конечное время можно получить используя свойство-центричность онтологий.
Свойство-центричность онтологии выражается в том, что объекты предметной области и свойства описываются отдельно, при этом свойства описываются в терминах объектов, к которым они применимы, путем указания области применения свойства (domain) и области значений свойства (range).
В рамках свойство-центричной модели представления знаний объединяются выразительные возможности объектно-ориентированного подхода с возможностями хранения распределенных по Web знаний, что позволяет разрабатывать высокоэффективные web-сервисы, скорость обработки которых сравнима с объектными CУБД.
Редактор онтологий Protege позволяет выбирать на основе какого подхода Вы будете создавать онтологии, т.е. Вы выбираете «Logic View», если используете логики, и «Property Centric View» при использовании свойство-центричной модели представления знаний.
