도움말
기관 인증 | 로그인 | 회원가입 | 고객센터 | 오류신고 | English

DBpia 메인으로 가기

  • 검색
  • 상세검색
    다국어입력
지식공유캠페인
홈 > 한국정보과학회 > 정보과학회논문지 : 소프트웨어 및 응용 > 정보과학회논문지 : 소프트웨어 및 응용 제35권 제12호
알림서비스 통합 신청 보관함 페이스북 공유 트위터 공유 이메일 공유

온톨로지 디버깅을 위한 종속 부호 기반 비논리적 공리 탐지

Dependency Label based Causing Inconsistency Axiom Detection for Ontology Debugging
김제민식별저자, 박영택식별저자
정보과학회논문지 : 소프트웨어 및 응용 제35권 제12호, 2008.12, 764-773 (10 pages)
인용정보 복사
Quick View Quick View
구매하기 6,000원
인용하기
이용수 : 58건
피인용수 : 0건
분야내 활용도 : 80%
자세히 보기 >

· 이용수 : 2010년부터 집계한 원문다운로드수

· 피인용수 : DBpia 논문 가운데 해당 논문을 인용한 논문수

· 분야내 활용도 : 최근 24개월간 DBpia 이용수를 기준으로 산출 / 0%에 가까울 수록 활용도가 높고, 100%에 가까울 수록 활용도가 낮음

초록
W3C는 시맨틱 웹 환경에서 온톨로지를 저작하고 공유하기 위해 온톨로지 구축 언어인 OWL을 발표하였다. 현재 OWL 온톨로지의 논리적 정당성을 검사하기 위해서, OWL 추론 엔진들이 소개되고 있다. 그러나 대부분의 추론 엔진들은 정당하지 못한 개념의 탐지 과정 없이 결과만을 보여준다. 본 논문에서는 온톨로지내의 정당하지 못한 개념을 디버깅하기 위해 종속 부호 기반 비논리적 공리(CIA-Causing Inconsistency Axiom) 탐색 기법을 제안한다. 비논리적 공리는 정당하지 못한 개념들을 유발하는 공리들의 집합이다. 비논리적 공리를 탐지하기 위해서는 온톨로지 내에서 비일관성을 유발하는 공리를 찾아내야한다. 온톨로지 저작 도구에 정확한 비논리적 공리가 제공된다면, 온톨로지 저작 도구는 온톨로지 내에서의 정당하지 못한 내용을 수정할 수 있도록 수정될 일부 내용만을 보여줄 것이다. 따라서 본 논문은 두 부분에 초점을 맞추었다. 첫 번째, 정당하지 못한 내용을 가진 온톨로지가 주어졌을 때 비정당성을 유발하는 공리들을 도출하고, 이들의 근원을 식별한다. 두 번째 비정당성을 유발하는 공리가 탐지되었을 때 이들만을 추출하여, 온톨로지 설계자에게 보여주는 것 이다. 따라서 먼저 기존에 발표되었던 테이블로 알고리즘 기반의 결정 모듈을 소개하고, 이보다 향상된 기법인 종속 부호 기반 비논리적 공리 탐지 기법을 제안한다. 본 논문의 결과물은 현재 온톨로지 언어의 기본이 되는 SHOIN 서술 논리 응용시스템에 적용가능하다.

The web ontology language(OWL) has become a W3C recommendation to publish and share ontologies on the semantic web. In order to check the satisfiablity of concepts in OWL ontology, OWL reasoners have been introduced. But most reasoners simply report check results without providing a justification for any arbitrary entailment of unsatisfiable concept in OWL ontologies. In this paper, we propose dependency label based causing inconsistency axiom (CIA) detection for debugging unsatisfiable concepts in ontology. CIA is a set of axioms to occur unsatisfiable concepts. In order to detect CIA, we need to find axiom to cause inconsistency in ontology. If precise CIA is gave to ontology building tools, these ontology tools display CIA to debug unsatisfiable concepts as suitable presentation format. Our work focuses on two key aspects. First, when a inconsistency ontology is given, it detect axioms to occur unsatisfiable and identify the root of them. Second, when particular unsatisfiable concepts in an ontology are detected, it extracts them and presents to ontology designers. Therefore we introduce a tableau-based decision procedure and propose an improved method which is dependency label based causing inconsistency axiom detection. Our results are applicable to the very expressive logic SHOIN that is the basis of the Web Ontology Language.

목차
요약
Abstract
1. 서론
2. 관련 연구
3. 기본 개념
4. 테이블로 알고리즘 기반 결정 모듈
5. 종속 부호 기반 비논리적 공리 탐지
6. 실험 및 평가
7. 결론
참고문헌
키워드

논문의 주요 키워드를 제공합니다. 키워드를 클릭하여 관련 논문을 확인해 보세요!

참고문헌 (9)

현재 논문의 참고문헌을 찾아 신청해주세요!

  1. McGuinness, D , , Explaining Subsumption in Description Logics , Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence.

  2. Schlobach, S. , 2003 , Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , Proceedings of IJCAI

  3. Aditya Kalyanpur , , Justifications for Entailments in Expressive Description Logics. Technical report

  4. F. Baader , 2003 , Basic description logics. In Franz Baader, Diego Calvanese, Deborah McGuinness In: The Description Logic Handbook: Theory, Implementation, and Applications , Cambridge University Press : 43 ~ 95

  5. M. Dean and G. Schreiber , , OWL Web Ontology Language Reference W3C Recommendation

  6. Ian Horrocks , 2005 , A tableaux decision procedure for SHOIQ , Proc. of IJCAI 2005

  7. S. Tobies , 2001 , Complexity Results and Practical Algorithms for Logics in Knowledge Representation , 박사

  8. , , Nick Drummond, Matthew Horridge, Robert Stevens, Chris Wroe, Sandra Sampaio

  9. , , Debugging OWL Ontologies using Swoop

인용된 논문 (0)

알림서비스 신청하고 '인용된 논문' 정보를 메일로 확인 하세요!

해당 논문은 인용된 논문 정보가 없습니다.

제 1 저자의 다른 논문 (50)

김제민 식별저자 저자의 상세정보를 확인해 보세요.

  1. 생활 패턴 인지를 위한 이벤트 연산 기반 예측 모델 학습 기법

    배석현, 방성혁, 박현규, 전명중, 김제민, 박영택, 한국정보과학회, 정보과학회논문지 45(5), 2018, 466-477

  2. 순환신경망 기반의 사용자 의도 예측 모델

    방성혁, 배석현, 박현규, 전명중, 김제민, 박영택, 한국정보과학회, 정보과학회논문지 45(4), 2018, 360-369

  3. 딥러닝 기반의 사람 추적 선풍기 구현

    김재민, 유영환, 한국정보과학회, 한국정보과학회 학술발표논문집 , 2017, 1821-1823

  4. 외국인 학습자를 위한 문맥 기반 실시간 국어 문장 교정

    박영근, 김재민, 이성동, 이현아, 한국정보과학회, 정보과학회논문지 44(10), 2017, 1087-1093

  5. 트위터를 이용한 실시간 이슈 분석과 뉴스 기사 기반 이슈 문장 생성

    이성동, 이현아, 김재민, 한국정보과학회, 한국정보과학회 학술발표논문집 , 2017, 1825-1827

  6. Spark 프레임워크를 적용한 대용량 SHIF 온톨로지 추론 기법

    김제민, 박영택, 한국정보과학회, 정보과학회논문지 42(10), 2015, 1195-1206

  7. MOnCa2: 지능형 스마트폰 어플리케이션을 위한 사용자 이동 행위 인지와 경로 예측기반의 고수준 콘텍스트 추론 프레임워크

    김제민, 박영택, 한국정보과학회, 정보과학회논문지 42(3), 2015, 295-306

  8. 분산 클러스터 메모리 기반 대용량 OWL Horst Lite 온톨로지 추론 기법

    김제민, 박영택, 한국정보과학회, 정보과학회논문지 42(3), 2015, 307-319

  9. 스마트폰 사용자 이동 경로에 대한 확률 그래프 모델 학습 기법

    김제민, 백혜정, 박영택, 한국정보과학회, 정보과학회논문지 : 소프트웨어 및 응용 41(2), 2014, 153-163

  10. Scalable RDFS Reasoning using Logic Programming Approach in a Single Machine

    Batselem Jagvaral, Jemin Kim, Wan Gon Lee, Young Tack Park, 한국정보과학회, 정보과학회논문지 41(10), 2014, 762-773

  • 처음
    •  
  • 이전
    •  
  • 1
    •  
  • 2
    •  
  • 3
    •  
  • 4
    •  
  • 5
    •  
  • 다음
    •  
  • 마지막
권호 내 다른 논문 (10)

정보과학회논문지 : 소프트웨어 및 응용 제35권 제12호 의 상세정보를 확인해 보세요.

  1. UML 프로파일 메커니즘을 이용한 이종 소형 무인지상차량 설계 자동화

    김우열, 손현승, 김영철, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 705-715

  2. 자율 컴퓨팅을 적용한 SOA 서비스 결함 관리 기법

    천두완, 이재유, 라현정, 김수동, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 716-730

  3. 안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성

    이진호, 황대연, 김진현, 박준길, 최진영, 황종규, 윤용기, 조현정, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 731-740

  4. 횡단관심사 추적을 위한 관점지향 슬라이싱 기법

    박종각, 박옥자, 유철중, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 741-752

  5. 비디오에서 불투명 및 반투명 TV 로고 인식을 위한 로고 전이 검출 방법

    노명철, 강승연, 이성환, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 753-763

  6. 온톨로지 디버깅을 위한 종속 부호 기반 비논리적 공리 탐지

    김제민, 박영택, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 764-773

  7. Topic Signature를 이용한 댓글 분류 시스템

    배민영, 차정원, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 774-779

  8. 3차원 손 모델링 기반의 실시간 손 포즈 추적 및 손가락 동작 인식

    석흥일, 이지홍, 이성환, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 780-788

  9. 3차원 물체 재구성 과정이 통합된 실시간 3차원 특징값 추출 방법

    홍광진, 이철한, 정기철, 오경수, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 789-799

  10. 프로그래밍 언어 메타이론의 정형화 및 변수 묶기

    이계식, 정보과학회논문지 : 소프트웨어 및 응용, 35(12), 2008, 800-807

추천 논문 (5)

DBpia 추천논문과 함께 다운받은 논문을 제공합니다. 논문 초록의 텍스트마이닝과 이용 및 인용 관계 분석을 통해 추천해 드리는 연관논문을 확인해보세요.

DBpia 추천논문

더 많은 추천논문을 확인해 보세요!

  1. 온톨로지 디버깅을 위한 MEXS 추출 및 저장 기법

    김제민, 박영택, 한국정보과학회, 정보과학회논문지 : 소프트웨어 및 응용 35(6), 2008, 366-373

  2. 온톨로지의 비논리적 개념을 유발하는 공리 탐지 기법

    김제민, 박영택, 한국정보과학회, 정보과학회논문지 : 소프트웨어 및 응용 39(6), 2012, 464-472

  3. 태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템

    김제민, 박영택, 한국정보과학회, 정보과학회논문지 : 소프트웨어 및 응용 39(2), 2012, 99-108

  4. 온톨로지 저작 도구 개발에 관한 연구

    김원필, 김정호, 대한전자공학회, 전자공학회논문지-CI 45(6), 2008, 187-193

  5. NATMS를 이용한 온톨로지 추론의 non-deterministic 문제 해결 및 일관성 오류 탐지 기법

    김제민, 박영택, 한국정보과학회, 정보과학회논문지 : 소프트웨어 및 응용 36(5), 2009, 401-410

함께 다운받은 논문

해당 논문은 함께 다운받은 논문 정보가 없습니다.

지표

이용현황

· 이용수

0 58

· 이용순위 상위 Top3

자세히 보기 >
No 상위 이용이관 이용수
1 숭실대학교 9
2 연세대학교 5
3 특허정보진흥센터 3

활용도

· 활용지수

80% 93%

· 논문의 활용도 추이 (주제분야 기준)

자세히 보기 >

: %

2016-09
2016-10
2016-11
2016-12
0
20
40
60
80
100
  • 0%
  • 20%
  • 40%
  • 60%
  • 80%
  • 100%

피인용수

0
상세정보
저작권 정책

누리미디어에서 제공되는 모든 저작물의 저작권은 원저작자에게 있으며, 누리미디어는 각 저작물의 내용을 보증하거나 책임을 지지 않습니다. 단, 누리미디어에서 제공되는 서지정보는 저작권법에 의해 보호를 받는 저작물로, 사전 허락 없이 임의로 대량 수집하거나 프로그램에 의한 주기적 수집 이용, 무단 전재, 배포하는 것을 금하며, 이를 위반할 경우, 저작권법 및 관련법령에 따라 민, 형사상의 책임을 질 수 있습니다.

맨 위로 이동

누리미디어 로고

회사소개 DBpia소개 이용약관 개인정보처리방침 제휴문의 저자회원안내 Q&A 사이트맵

㈜누리미디어 대표이사: 최순일  사업자등록번호: 816-81-00840  통신판매업신고번호: 제2017-서울영등포-0801호

대표전화: 02-707-0496  팩스: 02-717-4305  전자우편: dbpia@nurimedia.co.kr

주소: (07281) 서울특별시 영등포구 선유로 63, 4층 (문래동 6가)

Copyright(C)1997-2018 NURIMEDIA. ALL RIGHTS RESERVED.

DBpia 로고 KRpia 로고

맞춤추천, 나만의 인용양식·파일명 설정,
관심있는 신규 논문 알림 등 다양하고
편리한 DBpia 회원 서비스를 만나보세요.

회원가입 | 아이디·비밀번호 찾기 | 기관 인증

님의 소속이 인증되었습니다.

님은 앞으로 90일간 DBpia 로그인만으로 구독 자료를 어디서든 무료로 이용하실 수 있습니다.

90일이 지난 후에는 기관 인증된 상태에서 다시 로그인해 주시기 바랍니다.

오늘 하루 열지 않기 닫기

잠깐, 재학 혹은 재직중이신가요?

팝업 닫기

에서 현재 구독하지 않은 자료로, 미리보기(QuckView)를 이용하실 수 있습니다.

소속기관에서 이 논문이 수록된 간행물을 구독하길 희망하시면 ‘자료 구독 신청’을 해주세요.

자료구독신청

논문을 구매하시면 지금 바로 이용하실 수 있습니다.

구매하기

잠깐, 재학 혹은 재직중이신가요?

팝업 닫기

DBpia와 구독계약을 맺은 학교, 기관, 기업의 구성원이라면 계약된 범위 내에서 논문을 무료로 이용하실 수 있습니다. 귀하가 재학/재직중인 곳의 이름을 입력하시고, 이용권한을 확인해보세요.

검색

* 소속기관명을 입력하시면 이용권한을 확인하실 수 있습니다.

논문을 직접 구매하시면 지금 바로 이용하실 수 있습니다. 논문을 구매하시겠습니까?

구매하기

잠깐, 재학 혹은 재직중이신가요?

팝업 닫기

에서 현재 구독하지 않은 자료로, 미리보기(QuckView)를 이용하실 수 있습니다.

도서관의 '원문복사 서비스'를 이용하시면, 도서관을 통해 원문을 이용하실 수 있습니다.

원문복사신청

논문을 구매하시면 지금 바로 이용하실 수 있습니다.

구매하기

잠깐, 재학 혹은 재직중이신가요?

팝업 닫기

에서 현재 구독하지 않은 자료로, 미리보기(QuckView)를 이용하실 수 있습니다.

논문을 구매하시면 지금 바로 이용하실 수 있습니다.

구매하기

DBpia

팝업 닫기
  • 시작
  • 대표 저자명 선택
  • 논문 선택
  • 수정요청

대상 저자 확인

요청하신 대상 저자가 맞는 지 확인 후 시작해주세요.

저자명 소속기관 주요 연구분야 논문 발행기간 논문수 피인용수
잠시만기다려주세요..
취소 시작하기
  • 시작
  • 대표 저자명 선택
  • 논문 선택
  • 수정요청

대표 저자명 선택

수정요청 대상 저자의 대표 저자명을 선택해주세요.

이전 다음
  • 시작
  • 대표 저자명 선택
  • 논문 선택
  • 수정요청

저자의 논문 선택

수정요청하신 저자의 논문을 선택해주세요.

  • 서울시 조선족 밀집지 간 특성 분석과 정책적 함의

    이석준, 김경민, 서울연구원, 서울도시연구 15(4), 2014, 1-16

이전 다음
  • 시작
  • 대표 저자명 선택
  • 논문 선택
  • 수정요청

수정 요청하기

해당 저자의 정보수정(주요 연구분야, 논문목록 등)이 필요하신 경우, 요청자의 이름과 이메일을 입력 후 요청사항을 자세히 기재해주세요.

수정요청
요청자 이름*
요청자 이메일*
기타 요청사항
이전 요청하기