Acquisition and validation of complex object database schemata supporting multiple inheritance

Abstract

We present an intelligent tool for the acquisition of object-oriented schemata supporting multiple inheritance, which preserves taxonomy coherence and performs taxonomic inferences. Its theoretical framework is based onterminological logics, which have been developed in the area of artificial intelligence. The framework includes a rigorous formalization of complex objects, which is able to express cyclic references on the schema and instance level; asubsumption algorithm, which computes all impliedspecialization relationships between types; and an algorithm to detectincoherent types, i.e., necessarily empty types. Using results from formal analyses of knowledge representation languages, we show that subsumption and incoherence detection are computationally intractable from a theoretical point of view. However, the problems appear to be feasible in almost all practical cases.

DOI: 10.1007/BF00872108

Extracted Key Phrases

Statistics

051015'95'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Bergamaschi1994AcquisitionAV, title={Acquisition and validation of complex object database schemata supporting multiple inheritance}, author={Sonia Bergamaschi and Bernhard Nebel}, journal={Applied Intelligence}, year={1994}, volume={4}, pages={185-203} }