Subject » BMEVISZM308
Semantic and Declarative Technologies Laboratory
Szemantikus és deklaratív technológiák labor
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Szemantikus és deklaratív technológiák labor
Semantic and Declarative Technologies Laboratory
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVISZM308 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | félévközi érdemjegy | ||||||||||||
| Credits | 4 | ||||||||||||
| Subject coordinator |
Lukácsy Gergely
contact:
lukacsy@cs.bme.hu
|
||||||||||||
| Responsible department |
Számítástudományi és Információelméleti Tanszék
|
||||||||||||
| Faculty | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Subject website | — | ||||||||||||
| Primary curriculum type | — | ||||||||||||
| Direct prerequisites – Strong prerequisite | none | ||||||||||||
| Direct prerequisites – Weak prerequisite | none | ||||||||||||
| Direct prerequisites – Parallel prerequisite | none | ||||||||||||
| Direct prerequisites – Milestone prerequisite | none | ||||||||||||
| Direct prerequisites – Exclusion | none |
Objectives
Programme
- 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.
Learning outcomes
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Knowledge
No learning outcomes recorded.
Skills
No learning outcomes recorded.
Attitudes
No learning outcomes recorded.
Autonomy and responsibility
No learning outcomes recorded.
Oktatási módszertan
Számítógépes laboratórium
Tanulástámogató anyagok
Not provided.
Recommended preliminary knowledge for completing the subject
Knowledge type competencies
(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
Skill type competencies
(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
Recommended (non-compulsory) preliminary competencies
(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
General rules
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.
Assessment methods
In-term assessments
No detailed assessments provided.
Weight of in-term assessments
No weights provided.
Exam-period assessments
No detailed assessments provided.
Weight of exam elements
No weights provided.
Grade calculation
No grade thresholds provided.
Attendance requirements
No attendance requirements provided.
Rules for retake and resubmission
Not provided.
Short description
Not provided.
Detailed description
Not provided.
Recommended courses
Bevezetés a szemantikus technológiákba
Nagyhatékonyságú deklaratív programozás
Workload to complete the subject
No workload breakdown provided.
Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement
No curriculum placements recorded for this subject version.