Общий обзор Knowledge.NET

Санкт-Петербургский Государственный
Университет
ИНТЕГРАЦИЯ МЕТОДОВ
ИНЖЕНЕРИИ ЗНАНИЙ И ИНЖЕНЕРИИ ПРОГРАММ
СИСТЕМА УПРАВЛЕНИЯ ЗНАНИЯМИ
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 <= 250)
Особенности
Конвертор написан с использованием
инструмента CoCo/R
http://www.ssw.unilinz.ac.at/Research/Projects/Coco/
 KnowledgeLibrary

 Включает
в себя машины прямого и
обратного вывода
Knowledge Editor
Тип проекта: Knowledge
Особенности



Поддерживается специальный тип
проекта
Графическое представление базы
знаний
Навигация по базе знаний
KIF Converter
Разбирает программу на
Knowledge.NET и создает внутреннее
представление в формате Ontolingua
http://www-ksl.stanford.edu
 Язык 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
 Информация о текущем состоянии
проекта на сайте
http://www.knowledge-net.ru

ДЕМОНСТРАЦИЯ
ПРОТОТИПА
?
Контактная информация:
antonnovik@gmail.com