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.
- 1 ABITEBOUL, S., AND GRUMBACH, S. Col: A logic-based language for complex objects. In EDBT 88 Lecture Notes in Computer Science N. 303, S. Ceri, J. W. Schmidt, and M. Missikoff, Eds., Springer-Verlag, New York, 1988, pp. 271 293. Google Scholar
- 2 ABITEBOUL, S., AND HULL, R. IFO: A formal semantic database model. ACM Trans. Database Syst. 12, 4 (1987), 525-565. Google Scholar
- 3 AIT-KAcI, H. Type subsumption as a model of computation. In Procee&ngs of the 1st International Workshop on Expert Database Systems, Benjamin/Cummings, Menlo Park, Calif., 1986, pp. 115 140. Google Scholar
- 4 ALBANO, A., CARDELLI, L., AND ORSINI, R. Galileo: A strongly typed, interactive conceptual language. ACM Trans. Database Syst 10, 2 (1985), 230 260. Google Scholar
- 5 ATZENI, P., AND PARKER, D. S. Formal properties of net-based knowledge representation schemes. Data Knowl. Eng. 3 (1988), 137-147. Google Scholar
- 6 ATZENI, P., AND PARKER, D.S. Set containment inference and syllogisms. Theor. Comput. Sci. 62 (1988), 39-65. Google Scholar
- 7 BATINI, C., CERI, S., AND NAVATHE, S. B. Conceptual and LogLcal Database Deszgn: The Entity-Relationshzp Approach. Benjamin/Cummings, Menlo Park, Calif., 1992. Google Scholar
- 8 BECK, H. W., GALA, S. K., AND NAVATHE, S.B. Classification as a query processing technique in the CANDIDE data model. In Proceedings of the 5th International Conference on Data Engineering (Los Angeles, Feb., 1989), pp. 572 581. Google Scholar
- 9 BERGAMASCHI, S., BONFATTI, F., CAVAZZA, L., SARTORI, C., AND TIBERIO, P. Relational database design for the intensional aspects of a knowledge base. Inf. Syst. 13, 3 (1988), 245-256. Google Scholar
- 10 BERGAMASCHI, S., CAVEDONI, L., SARTOR{, C., AND TIBERIO, P. On taxonomical reasoning in E/R enwronment. In Proceedings of the 7th International Conference on the Entzty Relationship Approach (Roma, Italy, Oct., 1988), Elsevier Science, North-Holland, Amsterdam, 1989, pp. 443 454. Google Scholar
- 11 BERGAMASCHI, S., AND NEBEL, B. The complexity of multiple inheritance in complex object data models. In Workshop on AI and Objects--IJCAI '91 (Sidney~ Australia, Aug. 1991).Google Scholar
- 12 BERGAMASCHI, S., AND SARTORI, C. On taxonomic reasoning in conceptual design. Tech. Rep. 78, CIOC-CNR, Bologna, Italy, 1991.Google Scholar
- 13 BORGIDA, A., BRACHMAN, R. J., McGUINNESS, D. L., AND RESNICK, L. A. CLASSIC: A structural data model for objects. In SIGMOD (Portland, Or., 1989), ACM, New York, 1989, pp. 58 67. Google Scholar
- 14 BOUZEGHOUB, M., GARDARIN, G., AND METAIS, E. Database design tools: An expert system approach. In Proceedtngs of the International Conference on Ve~ Large Databases (Stockolm, Aug., 1985), pp. 82-95.Google Scholar
- 15 BRACHMAN, R. J., GILBERT, V. P., AND LEVESQUE, H. J. An essential hybrid reasoning system: Knowledge and symbol level accounts of KRYPTON. In IJCAI (Los Angeles, Aug, 1985), pp. 532-539.Google Scholar
- 16 BP~CHMAN, R. J., AND LEVESQUE, H.J. The tractability of subsumption in frame-based description languages. In AAA/(Austin, Tex, 1984), pp. 34 37.Google Scholar
- 17 BRACHMAN, R. J., AND SCHMOLZE, J.G. An overview of the KL-ONE knowledge representation system. Cognitive Sci. 9, 2 (1985), 171-216.Google Scholar
- 18 BRODIE, M. L., AND MYLOPOULOS, J., EDS. On Knowledge Base Management Systems. Springer, New York, 1986. Google Scholar
- 19 BUNEMAN, P., AND FRANKEL, R.E. FQL: A functional query language. In SIGMOD (Boston, 1979), ACM, New York, 1979, pp. 52-58. Google Scholar
- 20 CARDELLI, L. A semantics of multiple inheritance. In Semantics of Data Types Lecture Notes in Computer Science, 173. Springer, New York, 1984, 51-67. Google Scholar
- 21 CERI, S., ED. Methodology and Tools for Database Design. North-Holland, Amsterdam, 1983. Google Scholar
- 22 CHEN, P. The entity-relationship model--Towards a unified view of data. ACM Trans. Database Syst. 1, i (1976), 9-36. Google Scholar
- 23 CHEN, P. ER-Designer. Chen, Baton-Rouge, La., 1987.Google Scholar
- 24 CHOOBINEH, J., MANNINO, M. V., NUMAKER, J. F., AND KONSINSKY, B.R. An expert database design system based on forms. IEEE Trans. Softw. Eng. 14, 2 (1988), 242-253. Google Scholar
- 25 DAYAL, V. ET AL. PROBE: A research project in knowledge oriented database systems--Preliminary analysis. Tech. Rep. 85-03,, Computer Corporation of America, 1985.Google Scholar
- 26 DE TROYER, O. RIDL*: A tool for the computer-assisted engineering of large databases in the presence of integrity constraints. SIGMOD Rec. 18, 2 (June 1989), 418-429. Google Scholar
- 27 DELCAMBRE, L. M. L., AND DAVIS, K. C. Automatic validation of object-oriented database structures. In Proceedings of the 5th International Conference on Data Engineering (Los Angeles, 1989), pp. 2 9. Google Scholar
- 28 DI BA?T~STA, G., AND LENZERINI, M. A deductive method for Entity-Relationship modelling. In Proceedings of the 15th International Conference on Very Large Databases (Amsterdam, Aug. 1989), pp. 13 21. Google Scholar
- 29 DONINI, F. M., LENZERINI, M., NARDI, D., AND NUTT, W. The complexity of concept languages. In KR '91. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (Cambridge, Apr. 1991), J. Allen, R. Fikes, and E. Sandewall, Ed., Morgan Kauffmann, Palo Alto, Calif., 1991, pp. 151-162.Google Scholar
- 30 DONINI, F. M., LENZERINI, M., NARDI, D., AND NUTT, W. Tractable concept languages. In IJCAI 91 (Australia, Aug., 1991), pp. 458-463.Google Scholar
- 31 FERRARA, F. EASY-ER, an integrated system for the design and documentation of database applications. In Proceedings of the 4th International Conference on Entity-Relationship Approach (Chicago, 1985). Google Scholar
- 32 FININ, T., AND SILVERMAN, D. Interactive classification as a knowledge acquisition tool. In Expert Database Systems, L. Kershberg, Ed. Benjamin/Cummings, Menlo Park, Calif., 1986, pp. 79-90. Google Scholar
- 33 HAMMER, M. M., AND McLEOD, D. Database description with SDM: A semantic data model. ACM Trans. Database Syst. 6, 3 (1981), 351-386. Google Scholar
- 34 HULL, R., AND I~NG, R. Semantic database modelling: Survey, applications and research issues. ACM Comput. Surv. 19, 3 (1987), 201-252. Google Scholar
- 35 HULL, R. B., AND YAP, C.K. The format model: A theory of database organization. J. ACM 31, 3 (1984), 518-537. Google Scholar
- 36 LECLUSE, C., AND RICHARD, P. Modelling complex structures in object-oriented databases. In Symposium on Principles of Database Systems (Philadelphia, Pa., Mar., 1989), ACM SIGACT-SIGMOD-SIGART, pp. 362 369. Google Scholar
- 37 LECLUSE, C., ANO RICHARD, P. The 02 database programing language. In Proceedings of the 15th International Conference on Very Large Databases (Amsterdam, Feb. 1989), pp. 411-422. Google Scholar
- 38 LECLUSE, C., RICHARD, P., AND VELEZ, F. 02, an object-oriented data model. In SIGMOD (Chicago, June 1988), ACM, New York, pp. 424-433. Google Scholar
- 39 LucK, YON K., NEBEL, B. PELTASON, C., AND SCHMIEDEL, A. The BACK System. KIT 41, Tech. Univ. Berlin, 1987.Google Scholar
- 40 MYLOPOULOS, J., BERNSTEIN, P. A., AND WONG, H. K.T. A language facility for designing database-intensive applications. ACM Trans. Database Syst. 5, 2 (1980), 185-207. Google Scholar
- 41 NEBEL, B. Computational complexity of terminological reasoning in BACK. Artzf. Intell. 34, 3 (1988), 371-383. Google Scholar
- 42 NEBEL, B. Reasomng and Remston in ttybmd Representatmn Systems. Lecture Notes on Artificial Intelhgence, Vol. 422, Springer, New York, 1990. Google Scholar
- 43 NEBEL, B. Terminological reasoning is inherently intractable. Artif. Intell. 43, 2 (1990). Research Note, 235-249. Google Scholar
- 44 PATEL-SCHNEIDER, P F. Small can be beautiful in knowledge representation. In Proceedings of the Workshop on Principles of Knowledge-Based Systems (Denver, Colo., Dec. 1984), IEEE, New York, 1984, pp. 11-16.Google Scholar
- 45 PATEL-SCHNEIDER, P.F. A four-valued semantics for frame-based description languages. In Proceedmgs AAAI (Philadelphia, Pa., 1986), pp. 344-348.Google Scholar
- 46 REITER, R. Towards a logical reconstruction of relational database theory. In On Conceptual Modellmg, M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, Eds. Springer, New York, 1984, pp. 191 233.Google Scholar
- 47 SCHMIDT-SCHAUSS, M. Subsumption m KL-ONE is undecidable. In KR '89 1st International Conference on Prmclples of Knowledge Representatwn and Reasonmg, R. J. Brachmann, H. J. Levesque, and R. Reiter, Eds. Morgan Kauffmann, Menlo Park, Calif. (Toronto, May 1989), pp. 421 431. Google Scholar
- 48 SCHMIDT-SCHAUSS, M., AND SMOLKA, O. Attributive concept descriptions with unions and complements. Art~f. Intell. 48, 1 (1991), 1-26. Google Scholar
- 49 SC~MOLZE, J. G., AND ISRAEL, D.J. KL-ONE: Semantics and classification. In Research in Knowledge Representation and Natural Language. BBN Tech. Rep. N.5421. Bolt, Beranek and Newman, Cambridge, Mass., 1983.Google Scholar
- 50 SHIPMAN, D.W. The functional data model and the data language DAPLEX. ACM Trans. Database Syst. 6, 1 (1981), 140-173. Google Scholar
- 51 SIBLEY, g. H., AND KERSHBERG, L. Data architecture and data model considerations. In Proceed,ngs of the Natwnal Computer Conference (Dallas, Tex., 1977), AFIPS, pp. 85 96.Google Scholar
- 52 SMITH, J. M., AND SMITH, D. C.P. Database abstractions: Aggregation. Commun. ACM 20, 6 (1977), 405-413. Google Scholar
- 53 SMITH, J. M., AND SMITH, D. C.P. Database abstractions: Aggregation and generalization. ACM Trans. Database Syst. 2, 2 (1977), 105 133. Google Scholar
- 54 VILAIN, M. The restricted language architecture of a hybrid representation system. In Proceedings of the 9th IJCAI Conference (Los Angeles, Aug., 1985), pp. 547 551.Google Scholar
Index Terms
- On taxonomic reasoning in conceptual design
Recommendations
Extensional and Intensional Aspects of Conceptual Design
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIXA partition method is designed to achieve the flexibility of semantic models in reflecting changes occurring in real life and the efficiency on object systems. The method of partition has been applied only to the extensional aspects of concepts, i.e. ...
Semantic foundations for typed assembly languages
Typed Assembly Languages (TALs) are used to validate the safety of machine-language programs. The Foundational Proof-Carrying Code project seeks to verify the soundness of TALs using the smallest possible set of axioms: the axioms of a suitably ...
Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support
AbstractTypes are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a ...
Comments