Common Logic grafikus editor

A Common Logic (CL) egy olyan formális nyelv, melyben tetszoleges elsorendű logikai állítás kifejezhető.
Fejlesztői a kifejezőerő megtartása mellett többek között az absztrakt szintaxis egyszerűségére helyezték a hangsúlyt.
Mindhárom W3C által ajánlott SemanticWeb nyelv (RDF, RDFS, OWL) könnyen átírható CL formátumba, mely 2007 óta ISO szabvány.

(

http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip

)

A hallgató feladata a szabványon belül definiált szöveges CGIF (Conceptual Graph Interchange Format) formátumhoz egy grafikus editor készítése,
vagyis a megfelelő CG-k (Conceptual Graphs) kirajzolása, grafikus szerkeszthetőségének megvalósítása Eclipse környezetben.