A Unified Framework for Class-Based Representation Formalisms

  title={A Unified Framework for Class-Based Representation Formalisms},
  author={Diego Calvanese and Maurizio Lenzerini and Daniele Nardi},
The notion of class is ubiquitous in Computer Science and is central in many knowledge representation languages. In this paper we propose a representation formalism in the style of concept languages, with the aim of providing a unified framework for classbased formalisms. The language we consider is quite expressive and features a novel combination of constructs including number restrictions, inverse roles and inclusion assertions with no restrictions on cycles. We are able to show that such… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 57 extracted citations

Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) • 2007
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 27 references

Introduction to Object-Oriented Databases

Computer systems • 1990
View 2 Excerpts
Highly Influenced

Classes and instances

R. Motschnig-Pitrik, J. Mylopoulous
Journal of Intelligent and Cooperative Inf. Syst., • 1992

Semantic Networks in Artificial Intelligence

Fritz Lehmann, editor

Term Subsumption with Type ConstructorsBarbara

Piza, Klaus, Dieter Schewe, W. Joachim, SchmidtUniversity

The KL-ONE family

William A. Woods, James G. Schmolze

Similar Papers

Loading similar papers…