A Study on Tax Ontology Construction

조세 온톨로지 구축에 관한 연구

  • 장인호 (대진대학교 인문과학대학 문헌정보학과)
  • Received : 2013.02.20
  • Accepted : 2013.03.26
  • Published : 2013.03.30

Abstract

The purpose of this study is to build the tax ontology which can be used to manage imposables by the state or local governments. In this, the tax and related concepts were analyzed and then concept hierarchy i.e., taxonomies were formed. Especially, in the concept hierarchy, after multiple inherits were decomposed as 'primitive concepts' and then Rector's 'methodology of ontology implementation normalization', in which defined concepts were recombined, was used. The methodology employed was that the tax system, which was entangled with the direct taxes, local taxes, and property taxes that has multiple-inherits, was expressed explicitly and logically. After that, automatic classification was carried out through the inference engine, consistency was verified. Finally, some practical cases of ontology created were enumerated.

본 연구의 목적은 국가나 지방자치단체가 과세 대상을 관리하는데 사용될 수 있는 조세 온톨로지를 구축하는 것이다. 이에 조세와 관련 개념을 분석한 후 개념 계층(taxonomies)을 형성하였다. 특히 개념 계층에서는 다중 계승을 '프리미티브 개념'으로 분해한 후 '정의된 개념'으로 재결합하는 Rector의 '온톨로지 구현 정규화 방법론'이 사용되었다. 그 방법론으로 직접세, 지방세, 그리고 보통세로 다중 계승되는 재산세와 같이 복잡하게 얽힌 조세의 체계를 명시적이고 논리적으로 표현하였다. 그 다음 추론 기구를 통하여 자동 분류를 실시하고, 일관성(consistency)을 검증하였다. 마지막으로, 구축된 온톨로지의 구체적 활용사례를 소개하였다.

Keywords

References

  1. 강경태. 세법개론. 서울 : 지혜의 샘, 2012.(Kang Kyung-Tae. An introduction to tax law. Seoul : Sambook, 2012.)
  2. 김수경, 안기홍. "기술논리와 SWRL 기반의 웹 온톨로지 모델링." 정보관리학회지, 제25권, 제1호 (2008. 3), pp.149-171.(Kim Je-Min, Park Young-Tack. "MEXS Extracting and Storing for Ontology Debugging." Journal of KISE : Software and Applications, Vol.35, No.6(2008. 6), pp.366-373.)
  3. 김제민, 박영택. "온톨로지 디버깅을 위한 MEXS 추출 및 저장 기법." 정보과학회논문지: 소프트웨어 및 응용, 제35권, 제6호(2008. 6), pp.366-373.(Kim Je-Min, Park Young-Tack. "MEXS Extracting and Storing for Ontology Debugging." Journal of KISE : Software and Applications, Vol.35, No.6(2008. 6), pp.366-373.)
  4. 노상규, 박진수. 온톨로지(인터넷 진화의 열쇠). 서울 : 가즈토이, 2007.(Rho Sang-kyu, Park Jin-Su. Ontology: Key of Internet Evolution. Seoul : gods'Toy, 2007.)
  5. 박재환, 박준석, 황명철. 세법개론. 서울 : 비즈프레스, 2012.(Park Jae-Hwan, Park Joon-Seok, Hwang Myung-cheol. An introduction to tax law. Seoul : Biz Press, 2012.)
  6. 서은석, 최용준, 박영택. "대용량 ABox에서 서술논리 SHIQ(D) 추론 지원 방법." 정보과학회논문지: 소프트웨어 및 응용, 제34권, 제6호(2007.6), pp.530-538.(Seo Eun-Seok, Choi Yong-Joon, Park Young-Tack. "A Method for Supporting Description Logic SHIQ(D) Reasoning over Large ABoxes." Journal of KISE : Software and Applications, Vol.34, No.6(2007. 6), pp.530-538.)
  7. 양승국, 서은석, 박영택. "지능적 에이전트 구성을 위한 서술논리 기반 온톨로지 모델링." 2011 한국컴퓨터종합학술대회 논문집 Vol.38, No.1(A)(2011), pp.282-285.(Yang Seoung-Kuk, Seo Eun-Seok, Park Young-Tack. "Description Logic base Ontology Modeling for Building Intelligent Agent." Proc. of the KIISE Korea Computer Congress 2011, Vol.38, No.1(A)(2011), pp.282-285.)
  8. 이만우 등. 세법개론. 서울 : 세학사, 2012.(Lee Man-Woo et al., An introduction to tax law. Seoul : Saehaksa, 2012.)
  9. 兼岩憲. 記述論理とWebオントロジ一言語. 東京 : オ一ム社, 2009.(Kaneiwa, Ken. Description Logics and Web Ontology Languages, Tokyo : Ohmsha, 2009.)
  10. 溝口理一郞. オントロジ一工學. 東京 : Ohmsha, 2005.(Lee Man-Woo et al., An introduction to tax law. Seoul : Saehaksa, 2012.)
  11. 上田俊夫, 池田滿. オントロジ一エディタProtege-OWLを使ったOWLオントロジ一構築. 人工知能學會誌, Vol.21, No.4(2006), pp.446-454.(Seo Eun-Seok, Choi Yong-Joon, Park Young-Tack. "A Method for Supporting Description Logic SHIQ(D) Reasoning over Large ABoxes." Journal of KISE : Software and Applications, Vol.34, No.6(2007. 6), pp.530-538.)
  12. Guarino, N. and Welty, C. An Overview of OntoClean, Handbook of Ontologies. Berlin Heidelberg : Springer-Verlag, 2004.
  13. McGuinness D. L. and van Harmelen, F. (editors). OWL Web Ontology Language Overview. W3C, 2004.
  14. Rector, A. Modularisation of Domain Ontologies Implemented In Description Logics and related formalisms including OWL, Knowledge Capture 2003. ACM. 2003. [cited 2013. 1. 10].
  15. Rector, A. Normalisation of ontology implementations: Towards modularity, reuse, maintainability. In EKAW Workshop on Ontologies for Multiagent Systems, 2002. [cited 2013. 1. 10].