Санкт-Петербургский Государственный Университет презентация

Антон Владимирович Сигалин Максим Владимирович Смоляков Алексей Леонидович
Черепанов Дмитрий Геннадьевич

Санкт-Петербургский Государственный Университет

Докладчик Новиков Антон Владимирович

Научный руководитель Сафонов Владимир Олегович, проф., д.т.н.

базового языка
Комплексное решение в области инженерии знаний для Microsoft.NET 2.0

в формат KIF
Система Knowledge Prospector

{ [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”

100 and HasMaxSpeed <= 250)

обратного вывода

Ontolingua http://www-ksl.stanford.edu
Язык Ontolingua является надстройкой над KIF и имеет конструкции для представления фреймов/онтологий

Knowledge.NET

Visual Studio
The Compiler Generator Coco/R
Ontolingua language

о текущем состоянии проекта на сайте http://www.knowledge-net.ru