Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Tartalom
 Előzmények
 Az Emerald főbb jellemzői
 Az élő rendszer bemutatása
2
3
Előzmények
Referencia projektek
 Miskolc Város Önkormányzata (Allex Gold)
• GVOP-2004-4.3.1 (2005 – 2006)
• Web alkalmazás a rendsze...
Partnerek
 Leibniz Center for Law (Universiteit van Amsterdam)
 University of Liverpool
 Università di Bologna
 Fraunh...
6
Az Emerald főbb jellemzői
Emerald rendszer célja
 Probléma
• Jogszabályi / szabályozási környezetünk rendkívül összetett
• Elvárt a jogszabályok / ...
Dokumentumkezelés Emerald
megközelítésben
Forrás-
dokumentum
Szabályok
Fogalmak
9
A modellezés folyamata
Forrás-
dokumentumok
összegyűjtése
Dokumentum
szabványosítása
Fogalmi
modellezés
Normatív szabály...
A modellezés lépései
 Forrásdokumentumok szabványosítása (XML szabvány)
• szabványos CEN MetaLex formátum
 Dokumentumok ...
Feldolgozás folyamata
11
Törvények
Határozatok
Egyéb
dokumentumok
…
Dokumentumok,
Fogalmak,
Szabályok
Automatikus
és manuá...
Alkalmazási területek (2/1)
 Szabályzat / követelmény specifikáció modellezése:
• Fogalmi rendszer (ontológia) építése
 ...
Alkalmazási területek (2/2)
 Szabályzat / specifikáció alkalmazási folyamatok
támogatása:
• Dokumentumtárak készítése (an...
Tapasztalatunk
 Első szintű feldolgozottság (automatikus: fogalmak kiemelése)
• NJT dokumentumok (256 leggyakrabban haszn...
15
Mintapélda bemutatása
EVA bejelentkezés
EVA mértéke
Mintapélda
 Jogszabály:
• 2002. évi XLIII. törvény az egyszerűsített vállalkozói
adóról (2011.01.01-től hatályos változat...
EVA 2011 tudásbázis
17
Fogalmak Szabályok
 Mértéke
• 21 szabály
 Bejelentkezés
• 17 szabály
Cél: EVA mértékének kiszámítása
Eva mértéke := az adóalap 30 százaléka, ha
az adóalap > 0.
18
Eva alapja := az adóalany ál...
7. számú módosító tétel
“8. §
(1) A számvitelről szóló törvény hatálya alá nem
tartozó jogi személyiség nélküli gazdasági ...
7. számú módosító tétel (Rule_9)
7. sz. módosítás (csökkentő) := az adóévben megszerzett olyan bevétel,
amelyet az adóévet...
7. számú módosító tétel (Rule_9_v_1)
21
7. sz. módosítás (csökkentő) := az adóévben megszerzett olyan bevétel,
amelyet az ...
22
Képernyőképek az
Emerald Webvisualizer
rendszerről
Katalógus
23
Dokumentum - fogalmak
24
Dokumentum - szabályok
25
Fogalomtár
26
Dialógus - kérdésmagyarázat
27
Dialógus - eredménymagyarázat
28
Emerald hu v3_4
Upcoming SlideShare
Loading in …5
×

Emerald hu v3_4

47 views

Published on

Emerald áttekintés

Published in: Technology
  • Be the first to comment

  • Be the first to like this

Emerald hu v3_4

  1. 1. Tartalom  Előzmények  Az Emerald főbb jellemzői  Az élő rendszer bemutatása 2
  2. 2. 3 Előzmények
  3. 3. Referencia projektek  Miskolc Város Önkormányzata (Allex Gold) • 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 jogszabály / szabályzat modellező keretrendszer 4
  4. 4. Partnerek  Leibniz Center for Law (Universiteit van Amsterdam)  University of Liverpool  Università di Bologna  Fraunhofer FOKUS  Budapesti Műszaki és Gazdaságtudományi Egyetem  Budapesti Corvinus Egyetem  Nemzeti Adó és Vámhivatal  OTP Bank 5
  5. 5. 6 Az Emerald főbb jellemzői
  6. 6. Emerald rendszer célja  Probléma • Jogszabályi / szabályozási környezetünk rendkívül összetett • Elvárt a jogszabályok / szabályozások betartása • Nagy terhet jelent a megalkotásuk és a bennük való eligazodás  Emerald rendszer célja • szabályzatok alkotóit és alkalmazóit innovatív web-es informatikai eszközökkel támogassa a bonyolult jogszabályi / szabályozási környezetben való eligazodásban 7
  7. 7. Dokumentumkezelés Emerald megközelítésben Forrás- dokumentum Szabályok Fogalmak
  8. 8. 9 A modellezés folyamata Forrás- dokumentumok összegyűjtése Dokumentum szabványosítása Fogalmi modellezés Normatív szabály modellezés Tartalom • egységes szerkezet • hozzáfűzött információk Tartalom • fogalom leírások • fogalmi hierarchia • szinonimák Tartalom • normatív szabályok, összefüggések • dialógus alkalmazások Szolgáltatások • dokumentumtár • szemantikus keresés • verziókezelés Szolgáltatások • fogalomtár (ontológia) • újrafelhasználhatóság • rejtett összefüggések és ellentmondások felderítése Szolgáltatások • dialógus alapú tanácsadó alkalmazások • forrásszöveggel való kapcsolatok • fogalmakkal való kapcsolatok xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxxxx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxx xxxx xxxx xx x xxx xxx xxxx xxxx xx x xxx HA xxx xxxx xxx xxxx xxx xxxx AKKOR xxx xxxx HA xxx xxxx xxx xxxx xxx xxxx AKKOR xxx xxxx HA xxx xxxx xxx xxxx xxx xxxx AKKOR xxx xxxx jármű kerékpár gépjármű motorkerékpár gépkocsi XML§ Szabályzattár Fogalomtár Tanácsadás Szolgáltatási szintek
  9. 9. A modellezés lépései  Forrásdokumentumok szabványosítása (XML szabvány) • szabványos CEN MetaLex formátum  Dokumentumok értelmezése (W3C rdf szabvány) • kiegészítés leíró adatokkal, hivatkozások, kommentárok készítése  Fogalomtár építése (W3C OWL + SWRL szabványok) • fogalom kigyűjtés, fogalom-osztályozás, definíciók / fordítás készítése • Meglévő fogalomtár pl. EUROVOC (az EU 23 nyelvű tezaurusza) alkalmazása  Szakértői döntéstámogatás • normatív szabályok, strukturált szabályok, formális szabályok, kommentárok és egyéb kapcsolatok 10
  10. 10. Feldolgozás folyamata 11 Törvények Határozatok Egyéb dokumentumok … Dokumentumok, Fogalmak, Szabályok Automatikus és manuális feldolgozás Struktúra leírások, fogalmak, minták Emerald
  11. 11. Alkalmazási területek (2/1)  Szabályzat / követelmény specifikáció modellezése: • Fogalmi rendszer (ontológia) építése  fogalmi rendszeren belüli következtetési mechanizmus • Normatív szabályok logikai szabály-alapú leírása  fogalmi rendszer feletti következtetési mechanizmus  Szabályzat / specifikáció alkotási folyamatok támogatása: • Dokumentum-változások követésének támogatása • Tudásmodell teljességének és ellentmondás-mentességének vizsgálata  szinonimák, homonimák, magába foglalás, ellentmondások felderítése • Változások hatásvizsgálata  fogalmak megváltoztatásának továbbgyűrűzése  szabályok változtatásának szimulációja 12
  12. 12. Alkalmazási területek (2/2)  Szabályzat / specifikáció alkalmazási folyamatok támogatása: • Dokumentumtárak készítése (annotációkkal, leíró adatokkal) • Fogalomtárak készítése (felhasználóknak és rendszereknek) • Szakértő rendszerek készítése Szakértői tudás kiváltása jól körülhatárolt területen Formális magyarázatadás – WHY (“Miért ez a kérdés?” /Kérdés magyarázat/) – WHAT-IF (“Mi lenne, ha ezt választanám?”) – HOW (“Hogyan jutottunk az eredményre?” /Eredmény magyarázat/) • Esetek interaktív és kötegelt kiértékelése 13
  13. 13. Tapasztalatunk  Első szintű feldolgozottság (automatikus: fogalmak kiemelése) • NJT dokumentumok (256 leggyakrabban használt dokumentum)  3502 db • OTP szabályzatok  37 db  Második szintű feldolgozottság (fél-automatikus: normatív szabályok leírása) • 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 • Miskolci Önkormányzat – tájékoztatás az igénybe vehető szociális juttatásokról • OTP banki kockázatkezelési szabályzat – ügyféllimit kiszámítása • Nemzeti Adó és Vámhivatal – Energiaadó és kapcsolódó rendeletei 14
  14. 14. 15 Mintapélda bemutatása EVA bejelentkezés EVA mértéke
  15. 15. Mintapélda  Jogszabály: • 2002. évi XLIII. törvény az egyszerűsített vállalkozói adóról (2011.01.01-től hatályos változat)  Modellezett kérdések (célok): • Egy még nem EVÁ-s adózó jogosult-e bejelentkezni az EVA hatálya alá? • Mekkora az aktuális adóévben az EVA adóalany által fizetendő EVA mértéke? 16
  16. 16. EVA 2011 tudásbázis 17 Fogalmak Szabályok  Mértéke • 21 szabály  Bejelentkezés • 17 szabály
  17. 17. Cél: EVA mértékének kiszámítása Eva mértéke := az adóalap 30 százaléka, ha az adóalap > 0. 18 Eva alapja := az adóalany által az adóévben megszerzett összes bevétel + e törvényben meghatározott jogcímek szerinti módosítások. Strukturált szabály # 1 Strukturált szabály # 2 15 módosító tétel
  18. 18. 7. számú módosító tétel “8. § (1) A számvitelről szóló törvény hatálya alá nem tartozó jogi személyiség nélküli gazdasági társaság és korlátlan mögöttes felelősséggel működő egyéni cég adóalanyesetében az eva alapjának megállapításakor az összes bevételt csökkenti az adóévben megszerzett olyan bevétel, amelyet a) az adóévet megelőző bármely üzleti évre vonatkozóan a számvitelről szóló törvény rendelkezései szerint a mérlegben az aktív időbeli elhatárolások között mutatott ki;” 19 Jogszabályi szöveg Ilyen adóalany esetén (R9_v_1) Ilyen adóalany esetén (R9_v_2) Csökkentő tétel Módosító tétel
  19. 19. 7. számú módosító tétel (Rule_9) 7. sz. módosítás (csökkentő) := az adóévben megszerzett olyan bevétel, amelyet az adóévet megelőző bármely üzleti évre vonatkozóan a számvitelről szóló törvény rendelkezései szerint a mérlegben az aktív időbeli elhatárolások között mutatott ki, ha  az adóalany jogi személyiség nélküli gazdasági társaság és  az adóalany nem tartozik a számvitelről szóló törvény hatálya alá vagy  az adóalany egyéni cég és  az adóalany korlátlan mögöttes felelősséggel működik. 20 Strukturált szabály Ilyen adóalany esetén (R9_v_1) Ilyen adóalany esetén (R9_v_2)
  20. 20. 7. számú módosító tétel (Rule_9_v_1) 21 7. sz. módosítás (csökkentő) := az adóévben megszerzett olyan bevétel, amelyet az adóévet megelőző bármely üzleti évre vonatkozóan a számvitelről szóló törvény rendelkezései szerint a mérlegben az aktív időbeli elhatárolások között mutatott ki, ha  az adóalany jogi személyiség nélküli gazdasági társaság és  az adóalany nem tartozik a számvitelről szóló törvény hatálya alá vagy … Strukturált szabály evája(?adóalany, ?eva) and JogiSzemélyiségNélküliGazdaságiTársaság(?adóalany) and ?adóalany.számviteliTvHatályaAláTartozik = false and ?adóalany.bevételAktívIdőbeliElhatárolásokKözött = _összeg => ?eva.módosítóTétele07 = - _összeg Formális szabály egyedválasztás osztályba tartozás tulajdonság bekérendő adat értékadás
  21. 21. 22 Képernyőképek az Emerald Webvisualizer rendszerről
  22. 22. Katalógus 23
  23. 23. Dokumentum - fogalmak 24
  24. 24. Dokumentum - szabályok 25
  25. 25. Fogalomtár 26
  26. 26. Dialógus - kérdésmagyarázat 27
  27. 27. Dialógus - eredménymagyarázat 28

×