ИНТЕГРАЦИЯ МЕТОДОВ ИНЖЕНЕРИИ ЗНАНИЙ И ИНЖЕНЕРИИ ПРОГРАММ СИСТЕМА УПРАВЛЕНИЯ ЗНАНИЯМИ KNOWLEDGE.NET Участники проекта Новиков Антон Владимирович Сигалин. - презентация

1 ИНТЕГРАЦИЯ МЕТОДОВ ИНЖЕНЕРИИ ЗНАНИЙ И ИНЖЕНЕРИИ ПРОГРАММ СИСТЕМА УПРАВЛЕНИЯ ЗНАНИЯМИ KNOWLEDGE.NET Участники проекта Новиков Антон Владимирович Сигалин Максим Владимирович Смоляков Алексей Леонидович Черепанов Дмитрий Геннадьевич Санкт-Петербургский Государственный Университет Докладчик Новиков Антон Владимирович Научный руководитель Сафонов Владимир Олегович, проф., д.т.н.

2 Области применения проекта Процедурные знания Концептуальные знания Фактуальные знания Эвристические знания

3 Преимущества Knowledge.NET Гибридные знания Интеграция с MS Visual Studio.NET 2005 Использование C# в качестве базового языка Комплексное решение в области инженерии знаний для Microsoft.NET 2.0

4 Компоненты Knowledge.NET Knowledge.NET – расширение языка С# Редактор и визуализатор знаний Knowledge Editor Конвертор в формат KIF Система Knowledge Prospector

5 Язык Knowledge.NET Онтологии Наборы правил Интеграция с C# кодом Машина прямого и обратного вывода Язык запросов

6 Пример программы using System; // C# native code namespace HelloWorld { class Hello { [STAThread] static void Main(string[] args) { Console.out.WriteLine (Vehicle: + Lada.HasName); } } } // Knowledge.NET specific code #ontology Vehicles #concepts Color is_subconcept_of Thing; Vehicle { is_subconcept_of Thing; some_values_from HasName string; cardinality HasName 1; } Plane is_subconcept_of Vehicle; Submarine is_subconcept_of Vehicle; disjoint Plane, Submarine; disjoint Color, Vehicle; #properties object property HasColor { domain Vehicle; range Color; } functional datatype property HasName { domain Vehicle; range string; } #individuals individual Lada { is_a Vehicle; HasName = Lada; } #end_of_ontology Vehicles

7 Пример запроса individuals of Automobile where (Color contains Red) or (HasMaxSpeed > 100 and HasMaxSpeed

8 Особенности Конвертор написан с использованием инструмента CoCo/R linz.ac.at/Research/Projects/Coco/ linz.ac.at/Research/Projects/Coco/ KnowledgeLibrary Включает в себя машины прямого и обратного вывода

9 Knowledge Editor

10 Тип проекта: Knowledge

11 Особенности Поддерживается специальный тип проекта Графическое представление базы знаний Навигация по базе знаний

12 KIF Converter Разбирает программу на Knowledge.NET и создает внутреннее представление в формате Ontolingua Язык Ontolingua является надстройкой над KIF и имеет конструкции для представления фреймов/онтологий

13 Ontolingua

14 Knowledge Prospector Извлечения знаний из текста на естественном языке Извлечение знаний из Интернета

15 Алгоритм работы Морфологический анализ текста Семантический анализ наборов сущностей Анализ графа Сохранение результата в формате Knowledge.NET

16 Используемые технологии Microsoft.NET Framework 2.0 Microsoft Visual Studio 2005 Технология создания add-in для Visual Studio The Compiler Generator Coco/R Ontolingua language

17 Текущее состояние проекта, планы Ведется разработка прототипа В будущем планируется интеграция с Aspect.NET Информация о текущем состоянии проекта на сайте

18 ДЕМОНСТРАЦИЯ ПРОТОТИПА

19 ? Контактная информация: