В случае, когда необходимо сделать утверждение об утверждении RDF, прибегают к так называемой реификации, или материализации утверждений. В этом случае само утверждение (или высказывание) выступает в роли объекта.
Для этого используется специальный класс rdf:Statement и его свойства rdf:subject, rdf:predicate и rdf:object. Каждое RDF-утверждение является экземпляром класса rdf:Statement. По свойствам (и их значениям) можно однозначно идентифицировать само утверждение. Обладая этой информацией, возможно фиксировать утверждения об утверждениях.
Пример. В базе данных электронного магазина хранится информация о том, что некий товар (Т) имеет цену х. Данное утверждение (1) (товар Т имеет цену х) может быть выражено Ивановым Иваном Ивановичем на языке RDF. Если далее потребуется высказать утверждение (2) о том, кто именно сделал утверждение (1), можно использовать механизм реификации
OWL (Web Ontology Language, в аббревиатуре буквы намеренно переставлены местами, чтобы получилось английское слово "сова") — язык представления онтологий в Web. Фактически это словарь, расширяющий набор терминов, определенных RDFS. OWL-онтологии могут содержать описания классов, свойств и их экземпляров. Создание OWL — это ответ на необходимость представления знаний в Сети в едином формате.
18. Редакторы онтологий. Формализм для Protégé, структурные единицы WordNet.
С момента его создания Protege многие годы использовался экспертами в основном для концептуального моделирования в области медицины. В последнее время его стали применять в других предметных областях - в частности, при создании онтологий для Semantic Web.
Изначально единственной моделью знаний, поддерживаемой Protege, была фреймовая модель. Этот формализм сейчас является "родным" для редактора, но не единственным.
Protege имеет открытую, легко расширяемую архитектуру и помимо фреймов поддерживает все наиболее распространенные языки представления знаний (SHOE, XOL, DAML+OIL, RDF/RDFS, OWL). Protege поддерживает модули расширения функциональности (plug-in). Расширять Protege для использования нового языка проще, чем создавать редактор этого языка "с нуля".
Protege основан на модели представления знаний OKBC (Open Knowledge Base Connectivity). Основными элементами являются классы, экземпляры, слоты (представляющие свойства классов и экземпляров) и фасеты (задающие дополнительную информацию о слотах).
Дата добавления: 2015-11-30; просмотров: 53 | Нарушение авторских прав