Dissertation/Thesis Abstract

Reasoning about taxonomies
by Thau, David Michael, Ph.D., University of California, Davis, 2010, 204; 3422778
Abstract (Summary)

Taxonomically organized data pervade science, business, and everyday life. Unfortunately, taxonomies are often under-specified, or even inconsistent, limiting their utility in contexts such as data integration, information navigation, and autonomous agent communication. This work formalizes taxonomies and articulations (relationships between taxa in taxonomies) as first-order formulas. This formalization concretizes notions such as consistency and inconsistency of taxonomies and articulations between them, enables the derivation of new articulations based on a given set of taxonomies and articulations, and provides a framework for testing assumptions about under-specified taxonomies.

Given the typical intractability of reasoning with taxonomies and articulations, this research also investigates many optimizations: from those that reduce the search space, to those that leverage parallel processing, to those investigating logics more tractable than first-order logic (e.g., monadic first-order logic, propositional logic, description logics, and subsets of the RCC-5 spatial algebra). Finally, in addition to reasoning with taxonomies and articulations, this research investigates how to merge taxonomies given articulations and how to merge data sets that have been annotated to aligned taxonomies. Critical to this research is the development of a framework for testing logics and supporting the development of taxonomies and articulations. This framework, CLEANTAX, has been implemented and has been used to study articulations between several large-scale biological taxonomies.

Indexing (document details)
Advisor: Ludaescher, Bertram
Commitee: Devanbu, Premkumar, Ludaescher, Bertram, Quinn, James F.
School: University of California, Davis
Department: Computer Science
School Location: United States -- California
Source: DAI-B 71/11, Dissertation Abstracts International
Source Type: DISSERTATION
Subjects: Computer science
Keywords: Data integration, Logic, Ontology, Reasoning, Taxonomies
Publication Number: 3422778
ISBN: 978-1-124-22390-2
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest