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.
강경태. 세법개론. 서울 : 지혜의 샘, 2012.
김수경, 안기홍. “기술논리와 SWRL 기반의 웹 온톨로지 모델링.” 정보관리학회지, 제25권, 제1호(2008. 3), pp.149-171.
김제민, 박영택. “온톨로지 디버깅을 위한 MEXS 추출 및 저장 기법.” 정보과학회논문지: 소프트웨어 및 응용, 제35권, 제6호(2008. 6), pp.366-373.
노상규, 박진수. 온톨로지(인터넷 진화의 열쇠). 서울 : 가즈토이, 2007.
박재환, 박준석, 황명철. 세법개론. 서울 : 비즈프레스, 2012.
서은석, 최용준, 박영택. “대용량 ABox에서 서술논리 SHIQ(D) 추론 지원 방법.” 정보과학회논문지: 소프트웨어 및 응용, 제34권, 제6호(2007.6), pp.530-538.
양승국, 서은석, 박영택. “지능적 에이전트 구성을 위한 서술논리 기반 온톨로지 모델링.” 2011 한국컴퓨터종합학술대회 논문집 Vol.38, No.1(A)(2011), pp.282-285.
이만우 등. 세법개론. 서울 : 세학사, 2012.
兼岩憲. 記述論理とWebオントロジー言語. 東京 : オーム社, 2009.
溝口理一郎. オントロジー工学. 東京 : Ohmsha, 2005.
上田俊夫, 池田満. オントロジーエディタProtege-OWLを使ったOWLオントロジー構築. 人工知能学会誌, Vol.21, No.4(2006), pp.446-454.
Guarino, N. and Welty, C. An Overview of OntoClean, Handbook of Ontologies. Berlin Heidelberg : Springer-Verlag, 2004.
McGuinness D. L. and van Harmelen, F. (editors). OWL Web Ontology Language Overview. W3C, 2004.
Rector, A. Modularisation of Domain Ontologies Implemented In Description Logics and related formalisms including OWL, Knowledge Capture 2003. ACM. 2003. <http://www.cs.man.ac.uk/~rector/papers/rector-modularisation-kcap-2003-distrib.pdf>[cited 2013. 1. 10].
Rector, A. Normalisation of ontology implementations: Towards modularity, reuse, maintainability. In EKAW Workshop on Ontologies for Multiagent Systems, 2002. <http://www.cs.man.ac.uk/~rector/papers/rector-Presented-at-Ontologies-for-Multi-Agent-Systems-Siguenza-Spain-2002.pdf> [cited 2013. 1. 10].