CleanTax: A Framework for Reasoning about Taxonomies

No abstract is available for this paper.

• Publication year

  2009

• Venue

  AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems

• Publication date

  2009-11-04

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The New Taxonomy

  2010cited by this paper
• Reasoning about taxonomies and articulations

  2008cited by this paper
• Merging taxonomies under RCC-5 algebraic articulations

  2008cited by this paper
• Reasoning about taxonomies in first-order logic

  2007cited by this paper
• 5 On the Use of Taxonomic Concepts in Support of Biodiversity Research and Taxonomy

  2006cited by this paper
• MoReTax : handling factual information linked to taxonomic concepts in biology

  2003cited by this paper
• On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus

  1999cited by this paper
• A Spatial Logic based on Regions and Connection

  1992influential reference

• Reasoning over Taxonomic Change: Exploring Alignments for the Perelleschus Use Case

  2014cites this paper
• Reasoning about taxonomies

  2010cites this paper