Graph-based Knowledge Representation and Reasoning

In a Nutshell

CoGui in a few words.

Getting started

In this page we will give a brief introdution into using the CoGui tool. Throughout the document we will use the example "childhood" detailed in the examples section. Please note that this document is intended as a quick overview of the CoGui tool. For further, more in depth explanations, please see the CoGui user guide.

Tutorial

In this tutorial, we present the basic conceptual graph model as well as conceptual graph rules. For each topic, we briefly present theoretical foundations then show how there are implemented in Cogui.

Continue

ScreenShots

To give you an overview of the user interface, just a few screenshots.

The companion book

This book is the scientific foundation of the software, attempting to answer the following question: "How far is it possible to go in knowledge representation and reasoning by representing knowledge with graphs and reasoning with graph operations ?"

Basics

Install CoGui application and get familiar with basic functionnalities.

• Introduction
• Installation
• Keyboard shortcuts

Knowledge representation

For each topic, we briefly present theoretical foundations then show how there are implemented in Cogui.

• Vocabulary
• Individuals
• Rules
• Constraints
• Facts

Reasoning

How to inspect, transform and query the knowledge base.

• Inspecting facts
• Applying rules
• Sum and normalization
• Querying

Import, Export & Convert

How to import/export the knowledge base and build various documents.

• Converting to/from RDF(S) and OWL
• Converting to/from Datalog +/-

Building documents

Build automatically a documentation website (html) and various vocabulary views (dot) for Graphviz.

• Build vocabulary documentation
• Build vocabulary views

Extending CoGui

Two different ways to extend CoGui functionnalities

• Extending with scripts
• Extending with plugins