Common Logic grafikus editor

Tanszéki konzulens: 
A doktorandusz fényképe
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.
 

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató