Dernière version d'ERic v0.3
https://damien-guichard.developpez.c...n/fam/date.png 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 https://damien-guichard.developpez.c...on/fam/bug.png connu).
[BUG] Bug des homomorphismes miroirs
Le seul https://damien-guichard.developpez.c...on/fam/bug.png connu.
Lorsque vous entrer ce code :
Code:
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:
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).