CoGui is able to import Datalog± documents. 
Datalog imports can be placed inside a new project or can populate an existing project.The most common way is to import rules to define a vocabulary and then add one or more data files based on this vocabulary . But it is also possible to import several vocabularies and combine them in a same project.
CoGui must have an initial maximal concept type to work correctly. It must be selected before running import task.


2 steps to import DLGP file:



Vocabulary conversion


If the "support completion allowed" check-box button is checked (for new project or, optionally for an existing project) then CoGui will convert a part of the Datalog imports into the vocabulary definition.

  • Unary predicates are converted into concept types.
  • Predicates with an arity > 1 are converted into relation types.
  • Some rules are interpreted to order the concept types hierarchy and the relations hierarchies.
  • Optionally, some rules are interpreted to define the relation types signatures.
  • Optionally, some negative constraints are interpreted to define banned types.


Note that unary predicates are converted into concept types on the CoGui model.


Some examples below: 

Datalog± expressions

Cogui conversion on the Vocabulary

<Human>(X):-<Man>(X).


From this rule, CoGui deduces a specialization relation between the concept types

!:-<Man>(X),<Woman>(X).


This negative constraint is transformed into a disjoint type.

parentOf(X,Y):-fatherOf(X,Y).


From this rule, CoGui deduces a specialization relation between the relation types.

<Man>(X):-fatherOf(X,Y).


The signature of fatherOf is modified by this rule.

Created with the Personal Edition of HelpNDoc: Free EPub producer