DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Lee, Young-Hee | - |
dc.contributor.advisor | 이영희 | - |
dc.contributor.author | Kim, Do-Hyun | - |
dc.contributor.author | 김도현 | - |
dc.date.accessioned | 2013-09-12T02:08:13Z | - |
dc.date.available | 2013-09-12T02:08:13Z | - |
dc.date.issued | 2013 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=513973&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/181184 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 정보통신공학과, 2013.2, [ vii, 66 p. ] | - |
dc.description.abstract | With the advent of pervasive computing, particularly in a resource-limited environment where electrical devices such as alarm clocks, coffee makers, vehicles, and refrigerators search and reason over data generated by their operation, it is important that data is described in a form suitable for the machines to interpret and understand in a consistent manner. Semantic Web technologies could play a key role in bringing about the vision of a semantic-oriented pervasive computing environment. Nowadays various computer systems and applications use Semantic Web languages such as Web Ontology Language (OWL) as a foundation for representing and sharing information data of interest. Automatic reasoning is the major benefit of using the data, i.e., Semantic Web ontologies, expressed by Semantic Web languages. The reasoning is a process of drawing an inference from the asserted information (i.e., axioms) in an ontology based on the well-known logical procedures, and this facilitates the machine-driven interpretation, integration, and validation of data. However, the resources necessary for reasoning increase exponentially with the size of ontologies under consideration. For an environment, where only limited computational resources are available, this exponential growth of processing requirements causes a scalability problem. Real-time reasoning of semantic information with limited resources is a very important challenge in the pursuit of pervasive computing, particularly in resource-limited environments. For reasoning within some time bounds, it makes sense for the reasoner to trade correctness for computational efficiency by reducing the number of axioms initially considered. Given an ontology, the key problem we have investigated in this context is the choice of the fragment of given an ontology in order to maximize the reasoning correctness and, at the same time, the reasoning computation will finish within a given period of time. In this dissertation, we study o... | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Description Logic Ontology | - |
dc.subject | Entailment Reasoning | - |
dc.subject | Scalable Reasoning | - |
dc.subject | 서술논리 온톨로지 | - |
dc.subject | 함의관계 추론 | - |
dc.subject | 확장성있는 추론 | - |
dc.subject | 온톨로지 부분 선택 | - |
dc.subject | Partial Ontology Selection | - |
dc.title | Fragment selection for real-time ontology reasoning in resource-limited environment | - |
dc.title.alternative | 제한된 자원 환경에서 실시간 온톨로지 추론을 위한 부분 선택 연구 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 513973/325007 | - |
dc.description.department | 한국과학기술원 : 정보통신공학과, | - |
dc.identifier.uid | 020075357 | - |
dc.contributor.localauthor | Lee, Young-Hee | - |
dc.contributor.localauthor | 이영희 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.