ACM SIGMOD Anthology TODS dblp.uni-trier.de

On Taxonomic Reasoning in Conceptual Design.

Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992)
@article{DBLP:journals/tods/BergamaschiS92,
  author    = {Sonia Bergamaschi and
               Claudio Sartori},
  title     = {On Taxonomic Reasoning in Conceptual Design},
  journal   = {ACM Trans. Database Syst.},
  volume    = {17},
  number    = {3},
  year      = {1992},
  pages     = {385-422},
  ee        = {http://doi.acm.org/10.1145/132271.132272, db/journals/tods/BergamaschiS92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Taxonomic reasoning is a typical task performed by many AI knowledge representation systems. In this paper, the effectiveness of taxonomic reasoning techniques as an active support to knowledge acquisition and conceptual schema design is shown. The idea developed is that by extending conceptual models with defined concepts and giving them rigorous logic semantics, it is possible to infer isa relationships between concepts on the basis of their descriptions. From a theoretical point of view, this approach makes it possible to give a formal definition for consistency and minimality of a conceptual schema. From a pragmatic point of view it is possible to develop an active environment that allows automatic classification of a new concept in the right position of a given taxonomy, ensuring the consistency and minimality of a conceptual schema. A formalism that includes the data semantics of models giving prominence to type constructors (E/R, TAXIS, GALILEO) and algorithms for taxonomic inferences are presented: their soundness, completeness, and tractability properties are proved. Finally, an extended formalism and taxonomic inference algorithms for models giving prominence to attributes (FDM, IFO) are given.

Copyright © 1992 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition: ACM Digital Library

[Abstract, Index Terms and Review]
[Full Text in PDF Format, 2196 KB]

References

[1]
Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 BibTeX
[2]
Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX
[3]
Hassan Aït-Kaci: Type Subsumption as a Model of Computation. Expert Database Workshop 1984: 115-139 BibTeX
[4]
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
[5]
Paolo Atzeni, Douglas Stott Parker Jr.: Formal Properties of Net-Based Knowledge Representation Schemes. Data Knowl. Eng. 3: 137-147(1988) BibTeX
[6]
Paolo Atzeni, Douglas Stott Parker Jr.: Set Containment Inference and Syllogisms. Theor. Comput. Sci. 62(1-2): 39-65(1988) BibTeX
[7]
Carlo Batini, Stefano Ceri, Shamkant B. Navathe: Conceptual Database Design: An Entity-Relationship Approach. Benjamin/Cummings 1992, ISBN 0-8053-0244-1
BibTeX
[8]
Howard W. Beck, Sunit K. Gala, Shamkant B. Navathe: Classification as a Query Processing Technique in the CANDIDE Semantic Data Model. ICDE 1989: 572-581 BibTeX
[9]
Sonia Bergamaschi, Flavio Bonfatti, Lorenza Cavazza, Claudio Sartori, Paolo Tiberio: Relational data base design for the intensional aspects of a knowledge base. Inf. Syst. 13(3): 245-256(1988) BibTeX
[10]
Sonia Bergamaschi, Lorenzo Cavedoni, Claudio Sartori, Paolo Tiberio: On Taxonomic Reasoning in E/R Environment. ER 1988: 443-454 BibTeX
[11]
...
[12]
...
[13]
Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX
[14]
Mokrane Bouzeghoub, Georges Gardarin, Elisabeth Métais: Database Design Tools: An Expert System Approach. VLDB 1985: 82-95 BibTeX
[15]
Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. IJCAI 1985: 532-539 BibTeX
[16]
Ronald J. Brachman, Hector J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37 BibTeX
[17]
...
[18]
...
[19]
Peter Buneman, Robert E. Frankel: FQL - A Functional Query Language. SIGMOD Conference 1979: 52-58 BibTeX
[20]
...
[21]
...
[22]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
[23]
...
[24]
Joobin Choobineh, Michael V. Mannino, Jay F. Nunamaker, Benn R. Konsynski: An Expert Database Design System Based on Analysis of Forms. IEEE Trans. Software Eng. 14(2): 242-253(1988) BibTeX
[25]
...
[26]
Olga De Troyer: RIDL*: A Tool for the Computer-Assisted Engineering of Large Databases in the Presence of Integrity Constraints. SIGMOD Conference 1989: 418-429 BibTeX
[27]
Lois M. L. Delcambre, Karen C. Davis: Automatic Validation of Object-Oriented Database Structures. ICDE 1989: 2-9 BibTeX
[28]
Giuseppe Di Battista, Maurizio Lenzerini: A Deductive Method for Entity-Relationship Modeling. VLDB 1989: 13-21 BibTeX
[29]
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162 BibTeX
[30]
...
[31]
Fabrizio Massimo Ferrara: Easy ER - An Integrated System for the Design and Documentation of Data Base Applications. ER 1985: 104-113 BibTeX
[32]
Timothy W. Finin, David Silverman: Interactive Classification as a Knowledge Aquisition Tool. Expert Database Workshop 1984: 79-90 BibTeX
[33]
Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX
[34]
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
[35]
Richard Hull, Chee-Keng Yap: The Format Model: A Theory of database Organization. J. ACM 31(3): 518-544(1984) BibTeX
[36]
Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX
[37]
Christophe Lécluse, Philippe Richard: The O2 Database Programming Language. VLDB 1989: 411-422 BibTeX
[38]
Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433 BibTeX
[39]
...
[40]
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX
[41]
Bernhard Nebel: Computational Complexity of Terminological Reasoning in BACK. Artif. Intell. 34(3): 371-383(1988) BibTeX
[42]
...
[43]
Bernhard Nebel: Terminological Reasoning is Inherently Intractable. Artif. Intell. 43(2): 235-249(1990) BibTeX
[44]
...
[45]
Peter F. Patel-Schneider: A Four-Valued Semantics for Frame-Based Description Languages. AAAI 1986: 344-348 BibTeX
[46]
...
[47]
Manfred Schmidt-Schauß: Subsumption in KL-ONE is Undecidable. KR 1989: 421-431 BibTeX
[48]
Manfred Schmidt-Schauß, Gert Smolka: Attributive Concept Descriptions with Complements. Artif. Intell. 48(1): 1-26(1991) BibTeX
[49]
...
[50]
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX
[51]
...
[52]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977) BibTeX
[53]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
[54]
Marc B. Vilain: The Restricted Language Architecture of a Hybrid Representation System. IJCAI 1985: 547-551 BibTeX

Referenced by

  1. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. IEEE Trans. Knowl. Data Eng. 10(4): 576-598(1998)
  2. Veda C. Storey, Roger H. L. Chiang, Debabrata Dey, Robert C. Goldstein, Shankar Sundaresan: Database Design with Common Sense Business Reasoning and Learning. ACM Trans. Database Syst. 22(4): 471-512(1997)
  3. Veda C. Storey, Harald Ullrich, Shankar Sundaresan: An Ontology for Database Design Automation. ER 1997: 2-15
  4. Alessandro Artale, Francesca Cesarini, Giovanni Soda: Describing Database Objects in a Concept Language Environment. IEEE Trans. Knowl. Data Eng. 8(2): 345-351(1996)
  5. Giuseppe De Giacomo, Paolo Naggar: Conceptual Data Model with Structured Objects for Statistical Database. SSDBM 1996: 168-175
  6. A. Yahia, Lotfi Lakhal, Rosine Cicchetti, Jean-Pierre Bordat: iO2 - An Algorithmic Method for Building Inheritance Graphs in Object Database Design. ER 1996: 422-437
  7. Alexander Borgida: Description Logics in Data Management. IEEE Trans. Knowl. Data Eng. 7(5): 671-682(1995)
  8. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. DBPL 1995: 4
  9. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  10. Jean-Marc Petit, Jacques Kouloumdjian, Jean-François Boulicaut, Farouk Toumani: Using Queries to Improve Database Reverse Engineering. ER 1994: 369-386
  11. Rakesh Agrawal, Linda G. DeMichiel: Type Derivation Using the Projection Operation. EDBT 1994: 7-14
  12. Alexander Borgida, Ronald J. Brachman: Loading Data into Description Reasoners. SIGMOD Conference 1993: 217-226
  13. Domenico Beneventano, Sonia Bergamaschi: Subsumption for Complex Object Data Models. ICDT 1992: 357-375
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
TODS, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Tue Jun 24 18:39:13 2008