본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템
Tableau Algorithm based Ontology T-Box Reasoning and Culprit Axioms Detection System

김제민    (숭실대학교 컴퓨터학과   ); 박영택    (숭실대학교 컴퓨터학과  );
  • 초록

    실제 시스템에 적용되는 온톨로지가 점점 복잡해짐에 따라, 구축 과정에 많은 인력과 비용이 투입되고 있다. 따라서 온톨로지를 구축하는 과정에서 온톨로지 설계자들은 많은 논리적인 오류를 범할 수 있으며 이러한 논리적 오류를 찾아내어 수정하는 작업은 매우 중요한 과정이 되었다. 또한 온톨로지를 구성하는 개념간의 숨겨진 관계를 자동으로 추론하는 것 역시 매우 중요하다. 본 연구의 목표는 온톨로지를 구축하는 과정에서 발생되는 비논리적인 개념을 탐지하고, 논리적 오류에 대한 원인을 찾아주며, 개념 간의 포함 관계를 추론하는 엔진을 구축하는 것이다. 본 논문에서 제안하는 HAL은 OWL로 작성한 온톨로지 중 논리적 오류를 갖는 개념들을 탐지하고 오류를 일으키는 원인이 되는 공리를 찾아줌으로서 온톨로지 개발자들이 효과적으로 온톨로지를 구축하는 것을 돕고, 개념간의 포함 관계를 추론해 줌으로써 온톨로지 기반의 서비스 어플리케이션 구축에 도움을 준다.


    Ontologies has been more complicated, many person and cost are required into ontology construction process. Therefore, ontology builders have a possibility to make mistake when they are building ontologies. It is important that problems to occur in ontology construction process are detecting and debugging. Moreover, it is very important that implicity subsumption relations between concepts to compose ontology are inferred. The aim of this paper is implementing a reasoner which find inconsistency concepts, find all causes for unsatisfiable concepts and infer subsumption relations between concepts in ontology. In this paper, we propose HAL which detect unsatisfiable concepts in OWL-DL based ontologies, find all axioms responsible for these concepts and infer subsumption relations. Thus, HAL can be helped building ontology and implementing ontology based service application.


  • 주제어

    태블로 알고리즘 .   온톨로지 추론 .   서술 논리 .   온톨로지 디버깅 .   Tableau Algorithm .   Ontology Reasoning .   Description Logic .   Ontology Debugging.  

  • 참고문헌 (16)

    1. Volker Haarslev, and Ralf Moller, "Racer: A Core Inference Engine for the Semantic Web," In Proceedings of the 2nd International Workshop on Evaluation of Ontology- based Tools located at the 2nd International Semantic Web Coriference ISWC 2003, pp.27-36, 2003. 
    2. Boris Motik, Rob Shearer, and Ian HOITocks, "Hypertableau Reasoning for Description Logics," Journal of Artificial Intelligence Research, vol.36, no.1, pp.165-228, 2009. 
    3. Hanmin jung, Mikyoung Lee, In- Su Kang, Seung- Woo Lee, and Won- Kyung Sung, "Finding Topic- centric Identified Experts based on Full Text Analysis," Proceedings of the Workshop on Finding Experts on the Web with Semantics, pp.56-63, 2007. 
    4. Franz Baader and Ulrike Sattler, "An Overview of Tableau Algorithms for Description Logics," Studia Logica, vol.69, no.1, 2001. 
    5. Min-Su Jang, Joo- Chan Sohn, "Bossam: An Extended Rule Engine for OWL Inferencing," Proceedings if RuleML (LNCSJ, vol.3323, pp.l28- 138, 2004. 
    6. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel- Schneider, "The Description Logic Handbook: Theory, Implementation, and Applications," Cambridge University Press, 2003. 
    7. Ullrich Hustadt, Boris Motik, and Ulrike Sattler, "Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution," Proceedings of the 16th European Coriference on Artificial Intelligence, pp.353-357, 2004. 
    8. Aditya Kalyanpur, Bijan Parsia, Bemardo Cuenca Grau and Evren Sirin, "Justifications for Entailments in Expressive Description Logics," Technical report, 2006. 
    9. Aditya Kalyanpur, "Debugging and Repair of OWL Ontologies," PhD thesis, 2006. 
    10. Ian HOITocks, "Optimizing Tableaux Decision Procedures for Description Logics," PhD thesis, University of Manchester, 1997. 
    11. Johan de Kleer, "Problem Solving with the ATMS," Artificial Intelligence, vol.28, no.2, pp.163- 196, 1986. 
    12. Kenneth D. Forbus and Johan de Kleer, "Building Problem Solvers," The MIT Press, 1993. 
    13. Je-Min Kim, Young-Tack Park, "Methods to Reduce Execution Time of Ontology Reasoners based on Tableaux Algorithm," Journal of KIISE : Software and Applications, vol.36, no.2, pp.153-160, Feb. 2009. (in Korean) 
    14. Franz Baader, Bemhard Hollunder, Bemhard Nebel, and Hans- Jurgen Profitlich, "An Empirical Analysis of Optimization Techniques for Terminological Representation System," Proceedings of the 3th International Conference(Principles cf Knowledge Representation and Reasoning), vol.4, no.2, pp.109- 132, 1992. 
    15. Evren Sirin, Bijan Parsia, Bemardo Cuenca Grau, Aditya Kalyanpur and Yarden Katz, "Pellet: A Practical OWL-DL Reasoner," Journal of Web Semantics, vol.31, no.2, pp.51-53, 2007. 
    16. Dmitry Tsarkov and Ian HOITocks, "FaCT++ Description Logic Reasoner: System Description," Lecture Notes in Artificial Intelligence, vol.4130, pp.292-297, 2006. 

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기