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
Szabályzatok Formális modell Fogalmak + Normatív szabályok Kapcsolatok 9
Szabályzat Szabályzat Szabályok Fogalmak Formális modell Workshop on Modelling Policymaking, JURIX 2011, Vienna 14/12/2011 10 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 Formális szabály megfelelő bevételt) számolt el. Strukturált szabály 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
Dialógus vezérlő Szabálykövetkeztető Leíró logikai következtető Web interfész 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