Tantárgy » BMEVISZM308
Szemantikus és deklaratív technológiák labor
Semantic and Declarative Technologies Laboratory
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Tantárgy neve (magyarul, angolul) |
Szemantikus és deklaratív technológiák labor
Semantic and Declarative Technologies Laboratory
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tantárgykód | BMEVISZM308 | ||||||||||||
| Tantárgyjelleg | — | ||||||||||||
| Képzési szint | — | ||||||||||||
| Kurzustípusok és óraszámok (heti/féléves) |
|
||||||||||||
| Tanulmányi teljesítmény/értékelés típusa | félévközi érdemjegy | ||||||||||||
| Tantárgy kreditértéke | 4 | ||||||||||||
| Tantárgyfelelős |
Lukácsy Gergely
elérhetőség:
lukacsy@cs.bme.hu
|
||||||||||||
| Tantárgyat gondozó oktatási szervezeti egység |
Számítástudományi és Információelméleti Tanszék
|
||||||||||||
| Kar | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Tantárgy weboldala | — | ||||||||||||
| Tantárgy elsődleges mintatantervi jellege | — | ||||||||||||
| Közvetlen előkövetelmények – Erős előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Gyenge előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Párhuzamos előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Mérföldkő előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Kizáró feltétel | nincs |
Célkitűzés
Tantárgyprogram
- 1-7. labor: Különféle logikai programozási feladatok megoldása Prolog nyelven; összetett feltételrendszerek kielégítését igénylő feladatok megoldási készségének elsajátítása, a Prolog CLP kiterjesztéseinek, illetve más deklaratív programozási eszközöknek a felhasználásával
- a "Nagyhatékonyságú deklaratív programozás" c. tárgy esettanulmányainak továbbfejlesztése
- logikai feladványok megoldása
- ütemezési és más kombinatorikai feladatok megoldása
- 8-10. labor: ismerkedés a különféle RDF programozási interfészekkel
- Jena, illetve más, nem Java alapú API-k
- SWI Prolog szemantikus web könyvtár
- a Protégé fejlesztő-környezet alkalmazása
- 11-14. labor: ismerkedés a különféle leíró logikai következtetőrendszerekkel
- tabló alapú következtetők: Racer, FaCT
- rezolúció alapú következtetők: KAON2, DLog
A tárgy célja, hogy a "Bevezetés a szemantikus technológiákba", illetve a "Nagyhatékonyságú deklaratív programozás" című tárgyak keretében elsajátított ismeretek gyakorlati alkalmazását segítse elő az alkalmazott módszerek gyakoroltatásával, valamint az ezekhez kapcsolódó programozási nyelvek, fejlesztői környezetek ill. számítógépes eszközök készségszintű megismertetésével.
Tanulmányi eredmények
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Tudás
Nincsenek rögzített tanulási eredmények.
Képességek
Nincsenek rögzített tanulási eredmények.
Attitűd
Nincsenek rögzített tanulási eredmények.
Autonómia és felelősség
Nincsenek rögzített tanulási eredmények.
Oktatási módszertan
Számítógépes laboratórium
Tanulástámogató anyagok
Online források
Szeredi Péter, Lukácsy Gergely, Benkő Tamás: A szemantikus világháló elmélete és gyakorlata. Typotex, 2005 Budapest. ISBN: 963 9548 48 0; Szeredi Péter, Benkő Tamás: Nagyhatékonyságú logikai programozás, Kézirat.; http://cs.bme.hu/~szeredi/oktatas/docs/nlp02_jegyzet.pdf
A tantárgy teljesítéséhez ajánlott előzetes ismeretek
Tudás típusú kompetenciák
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
Szemantikus világháló, ontológiák, korlátlogikai programozás
Képesség típusú kompetenciák
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
Szemantikus világháló, ontológiák, korlátlogikai programozás
Általános szabályok
Követelmények:
A szorgalmi időszakban 4 kisházifeladat és 2 nagyházifeladat beadása. A nagyházi feladatokkal maximálisan 30-30 pontot, a kisházi feladatokkal összesen 4*10 pontot lehet elérni. Így alakul ki a maximálisan szerezhető 100 pont. Az érdemjegy a szokásos módon számolható: 85- jeles, 70-84 jó stb.
Pótlási lehetőségek:
A házi feladatok a pótlásokra szolgáló időszak végéig pótlólag beadhatók.
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Szorgalmi időszakban végzett teljesítményértékelések részaránya
Nincs megadva részarány.
Vizsgaidőszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Vizsgarészek részaránya
Nincs megadva részarány.
Érdemjegy megállapítása
Nincs megadva érdemjegy határ.
Jelenléti és részvételi követelmények
Nincs megadva jelenléti követelmény.
Javítás, ismétlés és pótlás különös szabályai
Nincs megadva.
Rövid leírás
Nincs megadva.
Részletes leírás
Nincs megadva.
Ajánlott tantárgyak
Bevezetés a szemantikus technológiákba
Nagyhatékonyságú deklaratív programozás
A tantárgy elvégzéséhez szükséges tanulmányi munka
Nincs megadva munkaidő bontás.
Tantárgykövetelmények hatályossága
Tantárgykövetelmények hatályosságának kezdete:
—
Tantárgykövetelmények hatályosságának vége:
—
Tantervi elhelyezés
Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.