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

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

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

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

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

Пример программы 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

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

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

Knowledge Editor

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

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

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

Ontolingua

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

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

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

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

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

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