Discussion :

[SpiceGuid]

13 février 2021

ERic (Entity-Relation interactive calculator) v0.3 est un jeune logiciel libre, en ligne de commande, sous licence EUPL-1.2.
ERic permet d'éditer et de sauvegarder des ontologies et des bases de connaissances sous forme de graphes entités/relations. Ensuite, grâce à son algorithme de subsomption, ERic est capable d'interroger sa base de connaissances de façon remarquablement flexible.

Ce fil de discussion contient la dernière version stable d'ERic (1 connu).

• Vous pouvez récupérer l'archive zip de la dernière version (miroir)
• Vous pouvez également récupérer la version SVN d'ERic

[SpiceGuid]

Le seul connu.

Lorsque vous entrer ce code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
   untyped hierarchy block connector.

   derive block cube horizontal-bar ground.
   derive2 connector2 column.
   derive3 connector3 arch.

insert
   (arch [horizontal-bar:*] [cube:*cl] [cube:*cr])
   (column ?cl [ground:*])
   (column ?cr [ground:*]).

select
   (arch [horizontal-bar:*] [cube:*cl] [cube:*cr])
   (column ?cl [ground:*])
   (column ?cr [ground:*]).

Vous obtenez 2 réponses valides, une ordinaire et une réponse miroir où les colonnes gauche et droite sont inversées.
La solution classique pour obtenir seulement une réponse consiste à étiqueter les colonnes gauche et droite.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
   untyped hierarchy block connector.

   derive block cube horizontal-bar ground.
   derive2 connector2 column.
   derive3 connector3 arch.
   derive1 connector1 left right.

insert
   (arch [horizontal-bar:*] [cube:*cl] [cube:*cr])
   (left ?cl)
   (right ?cr)
   (column ?cl [ground:*])
   (column ?cr [ground:*]).

select
   (arch [horizontal-bar:*] [cube:*cl] [cube:*cr])
   (left ?cl)
   (right ?cr)
   (column ?cl [ground:*])
   (column ?cr [ground:*]).

Malheureusement ERic 0.3 persiste à afficher 2 réponses (identiques).