메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류
인문학
인문학 일반 역사학 철학 종교학 어문학 기타 인문학
사회과학
사회과학 일반 경영학 관광학 교육학 군사학 문헌정보학 법학 사회학 신문방송학 심리과학 정치외교학 지리학 행정학 경제학 무역학 인류학 기타 사회과학
자연과학
자연과학 일반 물리학 생물학 생활과학 수학·통계학 천문학 지구과학 화학 기타 자연과학
공학
공학 일반 건축공학 기계공학 산업공학 재료·에너지공학 전기전자공학 조선해양공학 화학공학 컴퓨터학 기타공학
의약학
의학 일반 간호학 수의학 약학 한의학 기초의학 임상의학 기타 의약학
농수해양학
농수해양학 일반 농학 수산학 식품과학 임학 축산학 해상운송학 기타 농수해양학
예술체육학
예술 일반 디자인 미술 미용 사진 음악학 의상 체육 공연매체예술 기타 예술체육학
복합학
학제간연구 과학기술학 뇌인지과학 기술정책 기타 복합학

ENG

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
김제민 (숭실대학교) 박영택 (숭실대학교)
저널정보
Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제39권 제6호
발행연도
2012.6
수록면
464 - 472 (9page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
논리적으로 결함이 있는 온톨로지를 효과적으로 디버깅하기 위해서는 비논리적인 개념을 유도하는 공리를 정확하게 모두 식별해야한다. 이와 관련하여 가장 최근에 알려진 기법은 특정 비논리적 개념의 원인이 되는 공리 중 먼저 발견된 공리 집합에서 임의의 공리 하나를 삭제하고 다른 집합을 찾는 방식을 사용한다. 이러한 방식은 태블로 알고리즘 기반의 추론 엔진이 온톨로지 디버깅에 사용되는 경우 비논리적 개념을 유발하는 공리간의 종속 관계가 존재한다면 비논리적인 개념을 유도하는 모든 공리를 찾아내지 못한다. 본 논문에서는 가정 기반 사실 관리 시스템(Assumption-based Truth Maintenance System - ATMS)을 적용한 새로운 방법을 제안한다. 본 논문에서 제안하는 방법은 추론 엔진의 모든 추론 과정을 효율적으로 기록함으로서 추론 결과의 논리적 오류에 대한 다중 원인을 관리한다. 본 논문에서는 SHI 수준의 OWL 온톨로지에 비논리적 개념이 존재할 경우, 원인이 되는 모든 공리를 효과적으로 관리하는 ATMS 프로토콜과 알고리즘에 대해 기술하였다.
#비논리적 개념 #온톨로지 디버깅 #가정 기반 사실 관리 시스템 #태블로 알고리즘 #axiom pinpointing #ontology debug #ATMS #Tableau algorithm

목차

요약
Abstract
1. 서론
2. 배경지식
3. ATMS 기반 비논리적 개념을 유발하는 공리 탐지 기법
4. 실험 및 평가
5. 적용 사례
6. 결론 및 향후 연구
참고문헌

참고문헌 (10)

참고문헌 신청
1. [단행본] - Franz Baader / 2003 / The Description Logic Handbook: Theory, Implementation, and Applications / Cambridge University Press google schola 2. [학술지(정기간행물)] - Ian Horrocks / 2003 / From SHIQ and RDF to OWL: The making of a web ontology language / Journal of Web Semantics 1 : 7 ~ 26 google schola 3. [학술지(정기간행물)] - Evren Sirin / 2007 / Pellet: A Practical OWL-DL Reasoner / Journal of Web Semantics 31 (2) : 51 ~ 53 google schola 4. [학술지(정기간행물)] - Dmitry Tsarkov / 2006 / FaCT++ Description Logic Reasoner: System Description / Lecture Notes in Artificial Intelligence 4130 : 292 ~ 297 google schola 5. [학술대회논문] - Volker Haarslev / 2003 / Racer: A Core Inference Engine for the Semantic Web / Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools located at the 2nd International Semantic Web Conference ISWC 2003 : 27 ~ 36 google schola

이 논문의 저자 정보

이 논문과 함께 이용한 논문

Video identification based on common features in a scene segmented by CNN
Kim Jongweon ,  Han Sungjun ,  Kim Yongbae 외 1명 한국과학예술융합학회 2017 .12
온톨로지 기반의 실내 LBS를 위한 위치 추적 시스템
황치곤 ,  윤창표 한국정보통신학회논문지 2016 .06
인터넷 온톨로지 데이터 변화에 따른 질의 처리 모델 개발
오성균 ,  김병곤 디지털콘텐츠학회논문지 2016 .02
Confidence Value based Large Scale OWL Horst Ontology Reasoning
이완곤 ,  박현규 ,  바트셀렘 외 1명 Journal of KIISE 2016 .05
Ontology Modeling and Rule-based Reasoning for Automatic Classification of Personal Media
박현규 ,  소치승 ,  박영택 Journal of KIISE 2016 .03

최근 본 자료

전체보기

댓글(0)

0