Knowledge.NET Ontology-based Knowledge Management Toolkit for Microsoft.NET

1. Saint Petersburg State University Knowledge.NET Ontology-based Knowledge Management Toolkit for Microsoft.NET PresenterAnton Novikov Project ParticipantsAnton NovikovMaxim SigalinAlexey Smolyakov Dmitry Cherepanov Sciencific AdvisorVladimir Safonov, professor of computer science

2. Overview • Procedural knowledge • Conceptual knowledge • Factual knowledge • Heuristic knowledge

3. Advantages of Knowledge.NET • Hybrid knowledge • Integration toMS Visual Studio.NET 2005 (add-in) • Usage of C# as a base language • Toolkit for knowledge engineering for Microsoft.NET 2.0 platform

4. Components ofKnowledge.NET • Knowledge.NET language (based on С#) • Knowledge Editor • Converter to KIF Format • Knowledge Prospector Subsystem

5. Knowledge.NET Language • Ontologies • Rulesets • Integration with nativeC# code • Forward-chaining and backward-chaining Subsystem • Query Language

6. Example of Program 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” using System;// C# native codenamespace 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; }

7. Example of Query individuals of Automobilewhere (Color contains Red) or (HasMaxSpeed > 100 and HasMaxSpeed <= 250)

8. Features • Converter is written on CoCo/Rhttp://www.ssw.uni-linz.ac.at/Research/Projects/Coco/ • KnowledgeLibrary • Including forward and backward chaining alorithms

9. Knowledge Editor

10. Project Type: Knowledge

11. Features • Special type of the project is supported • Graphical representation of knowledge base. • Navigation through knowledges

12. KIF Converter • Parses the program on Knowledge.NET and createsinternal representation in Ontolingua format http://www-ksl.stanford.edu • Ontolingua extends KIF format by additional capabilities forrepresentation offrames/ontologies

13. Ontolingua

14. Knowledge Prospector • Extracts knowledge from texts written on natural languages • Extracts knowledge from the Internet.

15. Basic Idea of Algorithm • Morphological text analyze • Semantical text analyze • Graph analyze • Save results in Knowledge.NET format

16. Technologies • Microsoft.NET Framework 2.0 • Microsoft Visual Studio 2005 • Add-ins forVisual Studio • The Compiler Generator Coco/R • Ontolingua language

17. Status of the Project, Plans • We are developing prototype. • Integration with Aspect.NET is planned • Information of the project is located on web-site: http://www.knowledge-net.ru

18. ? Contact Information: antonnovik@gmail.com