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

ENG

추천
검색
질문

논문 기본 정보

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

이용수

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

초록· 키워드

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

목차

요약
Abstract
1. 서론
2. 관련연구
3. 태블로 알고리즘과 T-Box 추론
4. HAL의 구조
5. T-Box 추론을 위한 최적화 기법
6. 시스템 평가
7. 결론 및 향후 연구
참고문헌

참고문헌 (16)

참고문헌 신청
1. [학술지(정기간행물)] - Evren Sirin / 2007 / Pellet: A Practical OWL-DL Reasoner / Journal of Web Semantics 31 (2) : 51 ~ 53 google schola 2. [학술지(정기간행물)] - Dmitry Tsarkov / 2006 / FaCT++ Description Logic Reasoner: System Description / Lecture Notes in Artificial Intelligence 4130 : 292 ~ 297 google schola 3. [학술대회논문] - 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 4. [학술지(정기간행물)] - Boris Motik / 2009 / Hypertableau Reasoning for Description Logics / Journal of Artificial Intelligence Research 36 (1) : 165 ~ 228 google schola 5. [학술대회논문] - Hanmin Jung / 2007 / Finding Topic-centric Identified Experts based on Full Text Analysis / Proceedings of the Workshop on Finding Experts on the Web with Semantics : 56 ~ 63 google schola

이 논문의 저자 정보

이 논문과 함께 이용한 논문

지능적 에이전트 구성을 위한 서술논리 기반 온톨로지 모델링
양승국 ,  서은석 ,  박영택 한국정보과학회 학술발표논문집 2011 .06
Medusa: 시맨틱 웹 규칙 언어 처리를 위한 확장형 서술 논리 추론기
김제민 ,  박영택 정보과학회논문지 : 소프트웨어 및 응용 2009 .05
공공공사 BIM 발주지침 문제점 분석을 통한 입찰안내서 개선방안 도출
박규현 ,  진상윤 대한건축학회 논문집 - 계획계 2015 .03
온톨로지 스키마 추론을 위한 향상된 개념 검색방법
권순현 ,  박영택 정보과학회논문지 : 소프트웨어 및 응용 2009 .11
서술논리와 규칙언어를 이용한 웹 온톨로지 모델링
김수경 한국지능정보시스템학회 학술대회논문집 2007 .05

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2013-569-001481097