Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
ACM Transactions on Information Systems (TOIS)
COMIC: a system and methodology for conceptual modelling and information construction
Data & Knowledge Engineering
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Modelling of set membership: the notion and the issues
Data & Knowledge Engineering
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Parts, wholes, and part-whole relations: the prospects of mereotopology
Data & Knowledge Engineering - Special issue on modeling parts and wholes
A conceptual theory of part-whole relations and its applications
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Choosing classes in conceptual modeling
Communications of the ACM
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Information modeling in the time of the revolution
Information Systems - Special issue: selected papers from the 9th International Conference on advanced information systems engineering (CA ISE '97)
Data abstractions: why and how?
Data & Knowledge Engineering
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
An ontological analysis of the relationship construct in conceptual modeling
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation
Communications of the ACM
The Rational Unified Process: An Introduction, Second Edition
The Rational Unified Process: An Introduction, Second Edition
Ontologies for conceptual modeling: their creation, use, and management
Data & Knowledge Engineering
Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis
IEEE Transactions on Knowledge and Data Engineering
What Are Ontologies, and Why Do We Need Them?
IEEE Intelligent Systems
Comparison-Criteria for Semantic Data Models
Proceedings of the First International Conference on Data Engineering
Representation of Generic Relationship Types in Conceptual Modeling
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Evolving Partitions in Conceptual Schemas in the UML
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Applying a Semantic Data Model
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Association: A Database Abstraction for Semantic Modelling
ER '81 Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis
Abstraction Concepts: The Basis for Data and Knowledge Modeling
Proceedings of the Seventh International Conference on Enity-Relationship Approach: A Bridge to the User
Implementing Abstraction Hierarchies
Proceedings of the Seventh International Conference on Enity-Relationship Approach: A Bridge to the User
Aspects of data semantics: names, species and complex physical objects
Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology
The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling
CAiSE '93 Proceedings of Advanced Information Systems Engineering
What is This Thing Called Aggregation?
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Methodologies, tools and languages for building ontologies: where is their meeting point?
Data & Knowledge Engineering
A semiotic metrics suite for assessing the quality of ontologies
Data & Knowledge Engineering - Special issue: Natural language and database and information systems: NLDB 03
Towards a generic model for situational method engineering
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
A Perspective Ontology and IS Perspectives
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Hi-index | 0.00 |
Abstraction is commonly recognized as ubiquitous mechanism in human action. Conceptions about principles, concepts and constructs of abstraction are, however, quite vague and divergent in the literature. This paper proposes an ontology for abstraction, composed of two inter-related parts. The first-order abstraction defines concept things, called primary things, and their abstraction-based relationships. The second-order abstraction, also known as predicate abstraction, involves predicates that characterize primary things. The ontology covers four basic abstraction principles: classification, generalization, composition, and grouping. For each of them, key concepts and structural rules are defined and predicate derivation is discussed. The ontology is also described in meta models in a UML-based ontology representation language. We believe that the abstraction ontology can promote the achievement of a shared understanding of abstraction principles and constructs. Predicate abstraction can also be used as a foundation on which more sound systems of perspectives and viewpoints for database design and information systems development can be built.