PhD student "Knowledge Representation and Databases" Superviser: Prof. Enrico Franconi Information Management Group Computer Science Department University of Manchester, UK Address: Kilburn Building, Room 2.112, Oxford Rd., Manchester M13 9PL, UK Email: alopatenko@cs.man.ac.uk Schema based logic approach for integration relational, datalog, description logic data sources. Query containment, query rewriting. Incomplete information in databases. Completeness of query answers Conceptual modeling. Mapping of conceptual models into logical like DLR Description Logic. Automated reasoning for conceptual modeling Председатель CERIF Task Group при консорциуме euroCRIS CERIF - Common European Research Information Format формат метаданных и руководство по описанию научной информации и создание систем для доступа к научной информации. CERIF рекомендован в качестве формата Еврокомиссией http://www.cordis.lu/cerif/ В данный момент функции по поддержке CERIF официально делегированы CERIF Task Group by CORDIS В данный момент CERIF Task Group активно ведет работы 1 CERIF - распределенные базы данных для прозрачного доступа к данным в распределенное гетерогенной среде 2 CERIF - Semantic Web для создания систем доступа к распределенной научной информации в гетерогенных средах 3 CERIF - Web Services для совместимости научных информационных систем с новыми промышленными стандартами и корпоративными приложениями 4 CERIF - корпоративный портал, для создания систем управления проектами и корпоративных порталов для исследовательсих организаций, ведущих исследования в больших объемах и связанных с индустрией Работы Октябрь 2001. Тестирование онтологии для научных данных на корректность. Создание DAML + OIL версий, OIL, описание в дескриптивных логиках (SHIQ). Расширение онтологии для включения образовательного контента. Создание посредника для запроса данных из различных RDF Query Facilities. Использование и тестирование SESAME (Aidministrator.nl)(RQL - RDF Query Language), Squish, RDQL (Jena RDF toolkit от HPL) для запроса RDF данных с использованием семантических знаний. Июль-Август 2001 Работы по обмену данными между научными информационными система и созданию распределенных баз знаний по науке на основе Resource Description Framework и техноологий. Создана RDF схема (RDFS, RDF Schema), соответствуюшая Common European Research Information Format (CERIF) и OIL и DAML онтологии для описания значений элементов данных. Опробовано создание RDF данных на основе 1 экспорта из баз данных 2 сбора RDF ресурсов из интернет RDF Crawler Ontobroker и запроса данных используя знания из RDF Schema Для парсинга RDF, RDF Schema, запросов и inference использовался SWI-Prolog, модули rdf, rdf_db, rdfs. Созданы онтологии в виде отношений классов, слотов, и аксиом, показываюшие отношения между терминами CERIF, Math-Net metadata, Dublin Core, KA2 2000-Июль 2001 Создана технология обмена даными между информационными системами. Данная технология позволяет - экспортировать данные - создавать RDF/XML описания объектов на основе информации, хранимой в реляционной СУБД с возможными структурными изменениями (в информационной модели). Также данная технология поволяет осуществлять преобразования словарных описаний атрибутов ресурсов. Если в RDF/XML описании, или в системе приемнике данных используются другие словари, чем в системе источнике данных, то описание объектов источника данных могут быть данны в терминах словаря приемника данных. - импортировать данные - загружать в базу данных описания объектов на основе их RDF/XML описаний c возможными структурными и словарными преобразованиями. Поддерживаются контролируемые словари и отображения соварей друг на друга, заданные в виде простых табличных реляционных описаний, опиcаний в фломате Business Nomenclature стандарта хранилищ данных CWM OMG, VocML (Vocabulary Markup Language), также ведутся исследования в Oil (Ontology Infetence Language) Технологии проходят пробную эксплуатацию в Австрии в рамках проекта создания национальной информационной системы для науки. На основе данных технологий -создается сеть сбора данных и институтов и университетов в центральный узел Австрии -каналы обмена данными между Австрией и системами Европейского союза, а также национальных европейских систем -создания метаописаний страниц исследователей в Австрии, а также информации о проектах, публикациях, ученых и институтах на этих страницах Создана и испытана в работе RDF схема для описаний научной информации на основе формата CERIF, предложенного Европейской Комиссией. Создано программное обеспечение для создание схем под нужды приложения на основе технологии Прикладных Профилей Работы докладывались на конференции EuroCRIS Platform Meeting, группы EuroCRIS при Еврокомиссии. Программное обеспечение реализовано на языке Java и работает как на Microsoft, так и на Sun платформе. Доступ к базам данным осуществляется на основе технологии JDBC. Работа с XML файлами - любой анализатор (парсер, parser), поддерживающий W3 DOM. Тестировано на Apache Xerces. Для работы с RDF создана собственная библиотека классов. Онтологии - Oil (Ontology Inference Layer) RDF представления. Средство для редактирования онтологий - OilED Манчестерского университета, а также собственные средства представления онтологий с веб интерфейсом. Reasoning engine - FaCT Также ведутся работа по использованию ISO стандарта Topic Maps. 2001 Январь - Май Создана простая система документооборота ученых секретарей. Система позволяет регистрировать документы, выполнять простые функции пересылки и рассылки по спискам рассылки. Также реализованы функции поиска, простейшие архивные службы, функции навигации 2000 май - 2000 декабрь Создана система управления инновационной деятельностью РФФИ. Система позволяет организовать сбор информации от исследователей о их разработках, имеющих потенциал коммерциализации. Сотрудники РФФИ и инвесторы имеют доступ к этой информации посредстом атрибутного поиска или просмотра каталогов разработок по научным направлениям или областям экономического применения. Реализованы функции контролируемой безопасности данных В данный момент система перестраивается на соотвествие Европейским стандартам в этой обалсти 1996-1997 В 1997 году была проделана дипломная работа МФТИ в ВЦ РАН "Поддержка целостности данных в распределенных вычислительных средах". В процессе работы был сделан обзор большинства существующих на тот момент стандартов, технологий и программных продуктов, связанных с целостностью данных в распределенных средах. Некоторые из программных средств были тестированы при различных нагрузках и сделано их сравнение с точки зрения эффективности и надежности. Кроме того предложены методы увеличения эффективности работы, имеющихся программных средств и разработана архитектура систем, поддерживающих актуальност данных на основе потока сообщений Сейчас участвует в разработке ИСИР РАН. Главное направления деятельности - разработка и внедрение систем управления документами и итеграция их с цифровыми библиотеками исследование и разработка систем обмена, совместного использования и интеграции данных объектных репозиториев. Ключевые слова дескриптивные логики глобальные информационные системы федеральные базы данных управление знаниями интеграция данных метаданные репозиторий RDF, XML, OIL, DAML, Ontology Warehouse словари тезаурусы электронные библиотеки