
## References

Abiteboul, S., Kanellakis, P., Ramaswamy, S., & Waller, E. (1992). Method schemas. Tech.

rep. CS-92-33, Brown University. An earlier version appeared in Proc. of the 9th Symp. on Principles of Database Systems PODS-90.

Abiteboul, S., & Kanellakis, P. (1989). Object identity as a query language primitive. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 159-173.

Abrial, J. R. (1974). Data semantics. In Klimbie, J. W., & Koffeman, K. L. (Eds.), Data Base Management, pp. 1–59. North-Holland Publ. Co., Amsterdam.

Albano, A., Ghelli, G., & Orsini, R. (1991). A relationship mechanism for strongly typed Object-Oriented database programming languages. In Proceedings of the Seventeenth International Conference on Very Large Data Bases (VLDB'91), pp. 565–575 Barcelona.

Artale, A., Cesarini, F., & Soda, G. (1996).  Describing database objects in a concept language environment. IEEE Transactions on Knowledge and Data Engineering, 8 (2),
3555555 Atzeni, P., & Parker Jr., D. S. (1986). Formal properties of net-based knowledge representation schemes. In Proceedings of the Second IEEE International Conference on Data Engineering (ICDE'86), pp. 700-706 Los Angeles.

Baader, F. (1991). Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI'91) Sydney, Australia.

Baader, F. (1996). Using automata theory for characterizing the semantics of terminological cycles. Annals of Mathematics and Artificial Intelligence, 18, 175-219.

Batini, C., Ceri, S., & Navathe, S. B. (1992). Conceptual Database Design, an Entity-
Relationship Approach. Benjamin and Cummings Publ. Co., Menlo Park, California.

Bergamaschi, S., & Nebel, B. (1994). Acquisition and validation of complex object database schemata supporting multiple inheritance. Applied Intelligence, 4 (2), 185–203.

Bergamaschi, S., & Sartori, C. (1992). On taxonomic reasoning in conceptual design. ACM
Transactions on Database Systems, 17 (3), 385–422.

Bläsius, K. H., Hedstück, U., & Rollinger, C.-R. (Eds.). (1990). Sorts and Types in Artificial Intelligence, Vol. 418 of Lecture Notes in Artificial Intelligence. Springer-Verlag.

Borgida, A. (1992). From type systems to knowledge representation: Natural semantics specifications for description logics. Journal of Intelligent and Cooperative Information Systems, 1 (1), 93–126.

Borgida, A. (1995). Description logics in data management. IEEE Transactions on Knowledge and Data Engineering, 7 (5), 671–682.