English
Magyar
Common Logic grafikus editor
Tanszéki konzulens:
 doktorandusz
Szoba: IB414
Tel.:
+36 1 463-35-79 Email: demian (*) mit * bme * hu |
A kiírás adatai
A téma státusza:
Korábbi (jelenleg nem aktív, de látszik)
Kiírás éve:
2010
A kiírás jellege:
önálló labor, szakdolgozat/diplomaterv
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.
Kapcsolódó weblapok:
A kiírás a Hibatűrő Csoport honlapján
Demián Tamás, 2010. október 25. 18:48 | Legutóbb frissítve: 2015. február 4. 15:25