본문 바로가기 주메뉴 바로가기
국회도서관 홈으로 정보검색 소장정보 검색

결과 내 검색

동의어 포함

목차보기

목차

온톨로지의 비논리적 개념을 유발하는 공리 탐지 기법 / 김제민 ; 박영택 1

요약 1

Abstract 1

1. 서론 1

2. 배경지식 2

2.1. 태블로 알고리즘 2

2.2. 가정 기반 사실 관리 시스템(ATMS) 3

3. ATMS 기반 비논리적 개념을 유발하는 공리탐지 기법 3

3.1. ATMS 구축 프로토콜 3

3.2. ATMS 구축 알고리즘 4

3.3. ATMS를 통해 비논리적 개념을 탐지하는 과정 4

4. 실험 및 평가 6

5. 적용 사례 7

6. 결론 및 향후 연구 8

참고문헌 9

권호기사

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 목차
확률 그래프 모델을 이용한 스마트폰 사용자의 이동경로 학습 및 실시간 예측 기법 허민오, 강명구, 임병권, 황규백, 박영택, 장병탁 pp.425-235

보기
위상관계를 유지하는 완화법을 통한 전기영동 영상의 반점 정합 황영섭, 이종하 pp.436-443

보기
차량 내 인포테인먼트를 위한 표준 오픈 플랫폼 동향 및 GENIVI 기반의 휴먼 머신 인터페이스 김진우, 한태만 pp.444-452

보기
복수 무인기를 위한 POMDP 기반 동적 임무 할당 및 정찰 임무 최적화 기법 김동호, 이재송, 최재득, 김기응 pp.453-463

보기
온톨로지의 비논리적 개념을 유발하는 공리 탐지 기법 김제민, 박영택 pp.464-472

보기
소셜 네트워크 상에서 확장 객체 기반 시소러스(XOT)를 이용한 전문가 추천 시스템 배종국, 양재동, 조호상 pp.473-487

보기
온톨로지 스키마 트리플의 의미를 포함하는 문장수집 방법 정진욱, 한용진, 노태길, 박성배, 이상조, 박세영 pp.488-496

보기
베이지안 네트워크를 적용한 컴퓨터 기반 적응적 평가 나선웅, 김경수, 최용석 pp.497-506

보기
혼동그래프를 이용한 유사문자쌍 구분기와 인식기의 통합 조혜근, 김인중 pp.507-514

보기

참고문헌 (10건) : 자료제공( 네이버학술정보 )

참고문헌 목록에 대한 테이블로 번호, 참고문헌, 국회도서관 소장유무로 구성되어 있습니다.
번호 참고문헌 국회도서관 소장유무
1 Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, "The Description Logic Handbook: Theory, Implementation, and Applications," Cambridge University Press, 2003. 미소장
2 From SHIQ and RDF to OWL: the making of a Web Ontology Language 네이버 미소장
3 Evren Sirin, Bijan Parsia, Bernardo 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. 미소장
4 FaCT++ Description Logic Reasoner: System Description 네이버 미소장
5 Volker Haarslev, and Ralf Möller, "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 Conference ISWC 2003, pp.27-36, 2003. 미소장
6 Rob Shearer, Boris Motik, and Ian Horrocks, "HermiT: A Highly-Efficient OWL Reasoner," OWLED, 2008. 미소장
7 Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau and Evren Sirin, "Justifications for Entailments in Expressive Description Logics," Technical report, 2006. 미소장
8 Aditya Kalyanpur, "Debugging and Repair of OWL Ontologies," PhD thesis, 2006. 미소장
9 Problem solving with the ATMS 네이버 미소장
10 Kenneth D. Forbus and Johan de Kleer, "Building Problem Solvers," The MIT Press, 1993. 미소장