Taxonomically organized data pervade science, business and everyday life. Unfortunately, taxonomies are often underspecified, limiting their utility in contexts such as data integration, information navigation and autonomous agent communication. This work formalizes taxonomies and relationships between them as formulas in logic. This formalization concretizes notions such as consistency and inconsistency of taxonomies and articulations (inter-taxonomic relations) 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 underspecified taxonomies.
%0 Conference Paper
%1 1387153
%A Thau, David
%B Ph.D. '08: Proceedings of the 2008 EDBT Ph.D. workshop
%C New York, NY, USA
%D 2008
%I ACM
%K dakspub imported reasoning taxonomy
%P 11--19
%R http://doi.acm.org/10.1145/1387150.1387153
%T Reasoning about taxonomies and articulations
%U http://portal.acm.org/citation.cfm?id=1387153#
%X Taxonomically organized data pervade science, business and everyday life. Unfortunately, taxonomies are often underspecified, limiting their utility in contexts such as data integration, information navigation and autonomous agent communication. This work formalizes taxonomies and relationships between them as formulas in logic. This formalization concretizes notions such as consistency and inconsistency of taxonomies and articulations (inter-taxonomic relations) 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 underspecified taxonomies.
%@ 978-1-59593-968-5
@inproceedings{1387153,
abstract = {Taxonomically organized data pervade science, business and everyday life. Unfortunately, taxonomies are often underspecified, limiting their utility in contexts such as data integration, information navigation and autonomous agent communication. This work formalizes taxonomies and relationships between them as formulas in logic. This formalization concretizes notions such as consistency and inconsistency of taxonomies and articulations (inter-taxonomic relations) 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 underspecified taxonomies.},
added-at = {2009-08-04T22:01:24.000+0200},
address = {New York, NY, USA},
author = {Thau, David},
biburl = {https://www.bibsonomy.org/bibtex/26de754bd7483b922f86774ab8fec9d1a/daks},
booktitle = {Ph.D. '08: Proceedings of the 2008 EDBT Ph.D. workshop},
description = {Reasoning about taxonomies and articulations},
doi = {http://doi.acm.org/10.1145/1387150.1387153},
interhash = {5710da9e5ca0539ff98ce4aee9d503a5},
intrahash = {6de754bd7483b922f86774ab8fec9d1a},
isbn = {978-1-59593-968-5},
keywords = {dakspub imported reasoning taxonomy},
location = {Nantes, France},
pages = {11--19},
publisher = {ACM},
timestamp = {2009-08-04T22:01:24.000+0200},
title = {Reasoning about taxonomies and articulations},
url = {http://portal.acm.org/citation.cfm?id=1387153#},
year = 2008
}