Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
ELTE ÁJK 2012. szeptember 13.
Jogszabályok és szabályozások növekvő száma és bonyolultsága Globalizáció új bonyolultságot és igényeket hozott a szabályozás területén Dereguláció és a bürokratikus szabályok csökkentésére tett erőfeszítések önmagukban elégtelenek Növekvő társadalmi és szakmai igény adekvát támogatásra
2
Minden állampolgártól elvárt a jog ismerete és követése Azon állampolgárok, kik nem képesek megérteni jogaikat és kötelességeiket elvesztik bizalmukat a közintézményekben, a demokrácia hitelessége sérül. Jogi környezet bonyolultsága jelentős költséget jelent a közigazgatás és a vállalkozások számára (Németország GDP 2-5%, KKV profit 50% /2002-es felmérés/) 3
Jogi tanácsadás Jogszabály-megfelelőség ellenőrzés Jogalkotás támogatása Jogi dokumentumok előállítása Hagyományos adminisztációs rendszerek támogatása (pl. űrlap javaslatok) Oktató rendszerek
4
• Jogszabály, szabályzat modellezés ◦ Fogalmi rendszer (ontológia) építés ◦ Logikai és szabály-alapú leírás • Jogalkotási, szabályozási folyamatok támogatása:
◦ Jogszabály- vagy szabályzatváltozások követésének támogatása ◦ Modell teljességének és ellentmondás-mentességének vizsgálata ◦ Változások hatásvizsgálata
Szabályzat- és jogalkalmazási folyamatok támogatása: ◦ Tanácsadó rendszerek készítése ◦ Esetek interaktív és kötegelt kiértékelése ◦ Formális magyarázatadás
5
Jogi forrásanyagok szabványos XML formátumban (CEN Metalex)
◦ meta-adatok: pl. hatályosság, paragrafus számozás
Dokumentumkezelés XML alapon
◦ verziókövetés, keresés meta-adat alapján ◦ tudásmodell létrehozásának támogatása: dokumentum és tudásmodell összekapcsolása
fogalmak definíciók fogalmak összes előfordulása a szövegben szabályok vagy logikai állítások a szövegben lefedettség: jogszabály mely részei vannak feldolgozva?
6
Dokumentumok
Fogalmak
Szabályok
7
8
Formális modell
Szabályzatok
Fogalmak + Normatív szabályok
Kapcsolatok
9
Szabályzat
Szabályzat
Fogalmak
Szabályok
Formális modell Workshop on Modelling Policymaking, JURIX 2011, Vienna
10 14/12/2011
10
Jogi forrásszöveg (3) A (2) bekezdésben meghatározott személy az adóévben akkor lehet adóalany, ha az adóévet megelőző naptári évben és az azt megelőző adóévben
a) a magánszemély egyéni vállalkozóként tevékenységét folyamatosan végezte, a jogi személy, a jogi személyiség nélküli
gazdasági társaság nem alakult át (ideértve különösen a kiválást és a beolvadást is), valamint a jogi személyben, a jogi személyiség nélküli gazdasági társaságban (az öröklést kivéve) új tag nem szerzett (új tagok nem szereztek összesen) 50 százalékot meghaladó szavazati jogot biztosító részesedést;
b) az adóhatóság nem rendelte el jogerősen számla- vagy nyugtaadási kötelezettség ismételt elmulasztása miatt mulasztási bírság kiszabását;
c) az általános forgalmi adóról szóló törvény szerint nem volt kötelezett a használt ingóságokra, műalkotásokra,
gyűjteménydarabokra és régiségekre vonatkozó vagy az utazásszervezési szolgáltatásra vonatkozó különös adózási szabályok alkalmazására;
d) nem állt végelszámolás, bíróság által jogerősen elrendelt felszámolás hatálya alatt;
e) a magánszemély az általa végzett termékértékesítés vagy szolgáltatásnyújtás alapján vállalkozói bevételt, a jogi személy, a jogi
személyiség nélküli gazdasági társaság a számvitelről szóló törvény előírásainak megfelelően árbevételt (az adóalany annak Strukturált szabály Formális szabály megfelelő bevételt) számolt el. Az adóalanynak az adóalanyiságra vonatkozó speciális feltételek teljesülnek, ha 1) az adóalany cégformája egyéni vállalkozó és 2) az adóalany az előző 2 évben folyamatosan végezte a tevékenységét és 3) az adóalany az előző 2 évben az általa végzett termékértékesítés vagy szolgáltatásnyújtás alapján bevételt számolt el.
adóalany.cégformája = egyéni_vállalkozás and adóalany.előző_2_évben_folyamatosan_végezte_a_tevékenységét and adóalany.előző_2_évben_termékért_v_szolgnyújt_alapján_számolt_el => adóalany.adóalanyiságra_vonatkozó_speciális_feltételek_teljesülnek
Multilogic Tanácsadó és Informatikai Kft.
11
Szabálykövetkeztető Leíró logikai következtető
Web interfész
Dialógus vezérlő
Tudástár Dokumentumtár
13
Multilogic Tanácsadó és Informatikai Kft.
14
15
XSL stylesheet-ek alkalmazása
16
17
Miskolc Város Önkormányzata
◦ GVOP-2004-4.3.1 (2005 – 2006) ◦ Web alkalmazás a rendszeres szociális segélyre és időkorúak járadékára vonatkozó helyi rendeletek szakértői alapú modellezésével
Estrella
◦ IST-2004-027655 (2005 – 2008) ◦ Nyílt szabványokra épülő, gyártó- és termék-független jogi tudásmenedzsment platform
Emerald
◦ KMOP-2009-1.1.1 (2010 – 2012) Integrált jogi modellező keretrendszer ◦ EVA törvény ◦ OTP KVSZ mintamodell ◦ BME Tanulmányi- és Vizsgaszabályzat (részlet) 18
Illetéktörvény – Ajándékozási illeték
EVA törvény – A bejelentkezés feltételei/EVA kiszámítása
ÁFA törvény – ÁFA fizetési kötelezettség
Miskolc Város Önkormányzata – testre szabott tájékoztatás az igénybe vehető szociális juttatásokról (időskorúak járadéka, rendszeres szociális segély)
Banki kockázatkezelési fogalomtár és szakértői alkalmazás (ügyféllimit kiszámítása) 19
