東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Representing and reasoning with modu...

Bao, Jie.

FindBook

Google Book

Amazon

博客來

Representing and reasoning with modular ontologies.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Representing and reasoning with modular ontologies./
作者:	Bao, Jie.
面頁冊數:	289 p.
附註:	Adviser: Vasant Honavar.
Contained By:	Dissertation Abstracts International68-11B.
標題:	Artificial Intelligence. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3289441
ISBN:	9780549337140

Representing and reasoning with modular ontologies.
Bao, Jie.

Representing and reasoning with modular ontologies. - 289 p.

Adviser: Vasant Honavar.

Thesis (Ph.D.)--Iowa State University, 2007.

Realizing the full potential of the semantic web requires the large-scale adoption and use of ontology based approaches to sharing of information and resources. In such a setting, instead of a single, centralized ontology, it is much more natural to have multiple distributed ontologies that cover different, perhaps partially overlapping, domains. Such ontologies represent the local knowledge of the ontology designers, that is, knowledge that is applicable within a specific context. Hence, many application scenarios, such as collaborative construction and management of complex ontologies, distributed databases, and large knowledge base applications, present an urgent need for ontology languages that support localized and contextualized semantics, partial and selective reuse of ontology modules, flexible ways to limit the scope and visibility of knowledge (as needed for selective knowledge sharing), federated approaches to reasoning with distributed ontologies, and structured approaches to collaborative construction of large ontologies. Against this background, this dissertation develops a family of description logics based modular ontology languages, namely Package-based Description Logics (P-DL), to address the needs of such applications. The main contributions of this dissertation include: (1) The identification and theoretical characterization of the desiderata of modular ontology languages that can support selective sharing and reuse of knowledge across independently developed knowledge bases; (2) The development of a family of ontology languages called P-DL, which extend the classical description logics (DL) to support selective knowledge sharing through a novel semantic importing mechanism and the establishment of a minimal set of restrictions on the use of imported concepts and roles to support localized semantics, transitive propagation of imported knowledge, and different interpretations from the point of view of different ontology modules; (3) The development of a family of sound and complete tableau-based federated reasoning algorithms for distributed, autonomous, P-DL ontologies including ALCP and SHIQP , i.e., P-DL onologies where the individual modules are expressed in the P-DL counterpart of DL ALC and SHIQ respectively, that can be used to efficiently reason over a set of distributed, autonomous, ontology modules from the point of view of any specific module, that avoid the need to integrate ontologies using message exchanges between modules as needed; (4) The formulation of criteria for answering queries against a knowledge base using hidden or private knowledge, whenever it is feasible to do so without compromising hidden knowledge, and the development of privacy-preserving reasoning strategies for the case of the commonly used hierarchical ontologies and SHIQ ontologies, along with a theoretical characterization of the conditions under which they are guaranteed to be privacy-preserving; (5) The development of some prototype tools for collaborative development of large ontologies, including support for concurrent editing and partial loading of ontologies into memory.

ISBN: 9780549337140Subjects--Topical Terms:

769149
Artificial Intelligence.

Representing and reasoning with modular ontologies.
LDR:04007nam 2200277 a 45 001 958974
005 20110704
008 110704s2007 ||||||||||||||||| ||eng d
020 $a 9780549337140
035 $a (UMI)AAI3289441
035 $a AAI3289441
040 $a UMI $c UMI
100 1 $a Bao, Jie. $3 1282441
245 1 0 $a Representing and reasoning with modular ontologies.
300 $a 289 p.
500 $a Adviser: Vasant Honavar.
500 $a Source: Dissertation Abstracts International, Volume: 68-11, Section: B, page: 7421.
502 $a Thesis (Ph.D.)--Iowa State University, 2007.
520 $a Realizing the full potential of the semantic web requires the large-scale adoption and use of ontology based approaches to sharing of information and resources. In such a setting, instead of a single, centralized ontology, it is much more natural to have multiple distributed ontologies that cover different, perhaps partially overlapping, domains. Such ontologies represent the local knowledge of the ontology designers, that is, knowledge that is applicable within a specific context. Hence, many application scenarios, such as collaborative construction and management of complex ontologies, distributed databases, and large knowledge base applications, present an urgent need for ontology languages that support localized and contextualized semantics, partial and selective reuse of ontology modules, flexible ways to limit the scope and visibility of knowledge (as needed for selective knowledge sharing), federated approaches to reasoning with distributed ontologies, and structured approaches to collaborative construction of large ontologies. Against this background, this dissertation develops a family of description logics based modular ontology languages, namely Package-based Description Logics (P-DL), to address the needs of such applications. The main contributions of this dissertation include: (1) The identification and theoretical characterization of the desiderata of modular ontology languages that can support selective sharing and reuse of knowledge across independently developed knowledge bases; (2) The development of a family of ontology languages called P-DL, which extend the classical description logics (DL) to support selective knowledge sharing through a novel semantic importing mechanism and the establishment of a minimal set of restrictions on the use of imported concepts and roles to support localized semantics, transitive propagation of imported knowledge, and different interpretations from the point of view of different ontology modules; (3) The development of a family of sound and complete tableau-based federated reasoning algorithms for distributed, autonomous, P-DL ontologies including ALCP and SHIQP , i.e., P-DL onologies where the individual modules are expressed in the P-DL counterpart of DL ALC and SHIQ respectively, that can be used to efficiently reason over a set of distributed, autonomous, ontology modules from the point of view of any specific module, that avoid the need to integrate ontologies using message exchanges between modules as needed; (4) The formulation of criteria for answering queries against a knowledge base using hidden or private knowledge, whenever it is feasible to do so without compromising hidden knowledge, and the development of privacy-preserving reasoning strategies for the case of the commonly used hierarchical ontologies and SHIQ ontologies, along with a theoretical characterization of the conditions under which they are guaranteed to be privacy-preserving; (5) The development of some prototype tools for collaborative development of large ontologies, including support for concurrent editing and partial loading of ontologies into memory.
590 $a School code: 0097.
650 4 $a Artificial Intelligence. $3 769149
650 4 $a Computer Science. $3 626642
690 $a 0800
690 $a 0984
710 2 $a Iowa State University. $b Computer Science. $3 1022280
773 0 $t Dissertation Abstracts International $g 68-11B.
790 $a 0097
790 1 0 $a Honavar, Vasant, $e advisor
791 $a Ph.D.
792 $a 2007
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3289441