В последние годы в среде WWW для работы с формально описанными знаниями все больше используется система Ontolingua, разработанная в Knowledge System Laboratory (KSL) (www.ksl.stanford.edu) в рамках отделения Информатики Стэнфордского университета.

Структурной единицей знания в этой системе является онтология. Онтология - это набор определений (на формальном языке) фрагмента декларативных знаний, ориентированый на совместное многократное использование различными пользователями в своих приложениях. В онтологии вводятся термины, типы и соотношения (аксиомы), описывающие фрагмент знания. Язык Ontolingua использует принципы объектно-ориентированного подхода и является расширением компьютерно ориентированного языка Knowledge Interchange Format (KIF) для обмена знаниями и взаимодействия между программами.

KSL Ontolongy Server предоставляет среду для совместного просмотра, создания, редактирования, модификации и использования онтологий в среде Internet. Сервер в настоящее время поддерживает более 150 крупных проектов и содержит множество библиотек по различным областям знаний, включая элементарную геометрию и разделы физики, химии, биологии. После того, как в феврале 1995 года было объявлено о работе сервера, он стал использоваться большим числом рабочих групп со всего мира для создания онтологий и доступа к ним. Имеется множество проектов, ориентированных на использование системы Ontolingua. В частности, создаются онтологии, обеспечивающие взаимодействие различных баз данных в среде Internet.

В настоящее время в KSL ведется проект по созданию широкомасштабных библиотек широко выразительных многократно используемых знаний (Large Scale Repository of Highly Expressive Reusable Knowledge). Разрабатывается технология, поддерживающая совместное создание и эффективное использование распределенных широкомасштабных библиотек многократно используемых онтологий. Система поддерживает работу групп разработчиков, тестирование и выявление ошибок в онтологиях, объединение онтологий, автоматическое получение из данных возможной модели. Развиваются также средства поиска, выделения, композиции онтологий и взаимного перевода с языков представления знаний систем ориентированных на знания и Ontolingua.

Слайды к докладу в формате Power Point: ontobeni.ppt