Fragment selection for real-time ontology reasoning in resource-limited environment제한된 자원 환경에서 실시간 온톨로지 추론을 위한 부분 선택 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 660
  • Download : 0
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...
Advisors
Lee, Young-Heeresearcher이영희
Description
한국과학기술원 : 정보통신공학과,
Publisher
한국과학기술원
Issue Date
2013
Identifier
513973/325007  / 020075357
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 정보통신공학과, 2013.2, [ vii, 66 p. ]

Keywords

Description Logic Ontology; Entailment Reasoning; Scalable Reasoning; 서술논리 온톨로지; 함의관계 추론; 확장성있는 추론; 온톨로지 부분 선택; Partial Ontology Selection

URI
http://hdl.handle.net/10203/181184
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=513973&flag=dissertation
Appears in Collection
ICE-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0