한국어
LIBRARY
RIMS LOGIN
Communities & Collections
Researchers
Titles
Issue Date
Journals
검색
Search
All of ScholarWorks
Baird College of General Education
College of Business Administration
College of Economics and International Commerce
College of Engineering
College of Humanities
College of Information Technology
College of Law
College of Natural Sciences
College of Social Sciences
ETC
Graduate School
Graduate School of Business Administration
Graduate School of Christian Studies
Graduate School of Education
Graduate School of Information Sciences
Graduate School of Small Business
Graduate School of Social Welfare
Graduate School of Software
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-2 of 2 (Search time: 0.004 seconds).
온톨로지의 비논리적 개념을 유발하는 공리 탐지 기법
Go to Link
김제민;
박영택
Article
Issue Date
2012
Citation
정보과학회논문지 : 소프트웨어 및 응용, v.39, no.6, pp.464 - 472
Publisher
한국정보과학회
태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템
Go to Link
김제민;
박영택
Article
Issue Date
2012
Citation
정보과학회논문지 : 소프트웨어 및 응용, v.39, no.2, pp.99 - 108
Publisher
한국정보과학회
1
Discover
Author
Kim, Je Min
2
Subject
태블로 알고리즘
2
ATMS
1
axiom pinpointing
1
Description Logic
1
ontology debug
1
Ontology Debugging
1
Ontology Reasoning
1
Tableau Algorithm
1
Tableau algorithm
1
가정 기반 사실 관리 시스템
1
.
next >
Language
Korean
2
BROWSE
한국어
Communities & Collections
Researchers
Titles
Journals
LIBRARY
RIMS LOGIN