Relations

Our first application, the IEML editor, will be used to build data models (or taxonomies, semantic networks, ontologies, knowledge graphs…). There are two main steps to writing an IEML data model. 

  • The generation of nodes (semantic addresses of data)
  • The programming of links (semantic relations) between nodes

Both nodes and links are IEML sentences translated in natural languages, and both can be created automatically. 

Nodes generation

The generation of nodes is divided into two main steps:

  • Generating node components
    The components as such are not the anchor points of the relationships.
    • We list the IEML words (with their aliases in natural languages) that will be used in the model.
    • We generate IEML sentences, with their aliases in LN, by means of sentence paradigms.
  • Generating actual nodes 
    • It is done in the same way as for components, except that we specify that they are nodes. 
Links programming

Links are woven on a set of nodes using a program.
A program is a set of linking functions.
Each linking function is divided into three main parts

  1. Variables
  2. Conditions
  3. Relation
Variables definition

A variable A, B, C… is defined by a domain of variation, which is a subset of the Model’s nodes. A domain is written as a sentence with some variable syntactic places.

There are four possibilities for each syntactic place in a domain: 

  • Whatever (not noted)
  • A substitution group {x; y; z} 
  • A constant x
  • Always empty, denoted E:
Defining the conditions of actualization of relations

A path is a variation domain (thus an IEML sentence) with a designated syntactic place. 

A condition is written by means of a comparison operator between paths.

There are three comparison operators 
= « is equal to »
<- « is a part of » (part of a phrase)
<÷ « is a subset of  » (submatrix of a paradigm)

  • The conditions of a function can be connected (and, or, not) and quantified. 
Defining the relation

A relation is written as an IEML sentence containing the variables in reference position at certain roles. Relations are therefore n-ary (not only binary). For each binary relation between two variables in the set of connected variables, we specify its mathematical nature as well as the equivalent and reciprocal relations.

%d blogueurs aiment cette page :