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 on terminological 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; a subsumption algorithm, which computes all implied specialization relationships between types; and an algorithm to detect incoherent 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.

ACQUISITION AND VALIDATION OF COMPLEX OBJECT DATABASE SCHEMATA SUPPORTING MULTIPLE INHERITANCE / Bergamaschi, Sonia; Nebel, B.. - In: APPLIED INTELLIGENCE. - ISSN 0924-669X. - STAMPA. - 4:(1994), pp. 185-203.

ACQUISITION AND VALIDATION OF COMPLEX OBJECT DATABASE SCHEMATA SUPPORTING MULTIPLE INHERITANCE

BERGAMASCHI, Sonia;
1994

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 on terminological 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; a subsumption algorithm, which computes all implied specialization relationships between types; and an algorithm to detect incoherent 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.
1994
4
185
203
ACQUISITION AND VALIDATION OF COMPLEX OBJECT DATABASE SCHEMATA SUPPORTING MULTIPLE INHERITANCE / Bergamaschi, Sonia; Nebel, B.. - In: APPLIED INTELLIGENCE. - ISSN 0924-669X. - STAMPA. - 4:(1994), pp. 185-203.
Bergamaschi, Sonia; Nebel, B.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/10626
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 14
social impact