Chapter

Streamlining Conceptual Modeling

Authors:
  • Independent Researcher
To read the full-text of this research, you can request a copy directly from the author.

Abstract

Research into knowledge and expert system engineering has seen numerous attempts to streamline conceptual modeling, especially in the field of so-called Multi-Level Modeling (MLM). In this paper, we will refine and augment the approaches made there, so that these can also be used for conceptual modeling in general. To this end, we introduce a formal methodology for the definition of attributes (data properties) and relational relationship types (object properties). Rules are then defined as instantiation regulations in this connection. As a new methodology, we introduce the so-called Value Assignment Propagation (VAP), and then show how this streamlines conceptual modeling, how layer-mistakes can be avoided and how previously unfulfilled requirements for MLM can be satisfied.

No full-text available

Request Full-text Paper PDF

To read the full-text of this research,
you can request a copy directly from the author.

ResearchGate has not been able to resolve any citations for this publication.
Conference Paper
Full-text available
In recent years, there has been a growth in the use of reference conceptual models to capture information about complex and critical domains. However, as the complexity of domain increases, so does the size and complexity of the models that represent them. Over the years, different techniques for complexity management in large conceptual models have been developed. In particular, several authors have proposed different techniques for model abstraction. In this paper, we leverage on the ontologically well-founded semantics of the modeling language OntoUML to propose a novel approach for model abstraction in conceptual models. We provide a precise definition for a set of Graph-Rewriting rules that can automatically produce much-reduced versions of OntoUML models that concentrate the models' information content around the ontologically essential types in that domain, i.e., the so-called Kinds. The approach has been implemented using a model-based editor and tested over a repository of OntoUML models.
Article
Full-text available
Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent advances in multi-level modeling techniques, we believe that the literature in multi-level conceptual modeling would benefit from a theory that: (1) formally characterizes the nature of classification levels and (2) precisely defines the structural relations that may occur between elements of different classification levels. This work aims to fill this gap by proposing an axiomatic theory that can be considered a reference top-level ontology for types in multi-level conceptual modeling. The theory provides the modeler with basic concepts and patterns to articulate domains that require multiple levels of classification as well as to inform the development of well-founded languages for multi-level conceptual modeling. The whole theory is founded on a basic instantiation relation and characterizes the concepts of individuals and types, with types organized in levels related by instantiation. Further, it includes intra-level structural relations that are used to define expressive multi-level models and cross-level relations that allow us to account for and incorporate the different notions of power type in the literature.
Conference Paper
Full-text available
Wikidata captures structured data on a number of subject domains, managing, among others, the information underlying Wikipedia and other Wikimedia projects. Wikidata serves as a repository of structured data, whose purpose is to support the consistent sharing and linking of data on the Web. To support these purposes, it is key that Wikidata is built on consistent data models and representation schemas, which are constructed and managed in a collaborative platform. In this paper, we address the quality of taxonomic hierarchies in Wikidata. We focus on taxonomic hierarchies with entities at different classification levels (particular individuals, types of individuals, types of types of individuals, etc.). We use an axiomatic theory for multi-level modeling to analyze current Wikidata content, and identify a significant number of problematic classification and taxonomic statements. The problems seem to arise from an inadequate use of instantiation and subclassing in certain Wikidata hierarchies.
Article
Full-text available
The Singleton Property (SP) approach has been proposed for representing and querying metadata about RDF triples such as provenance, time, location, and evidence. In this approach, one singleton property is created to uniquely represent a relationship in a particular context, and in general, generates a large property hierarchy in the schema. It has become the subject of important questions from Semantic Web practitioners. Can an existing reasoner recognize the singleton property triples? And how? If the singleton property triples describe a data triple, then how can a reasoner infer this data triple from the singleton property triples? Or would the large property hierarchy affect the reasoners in some way? We address these questions in this paper and present our study about the reasoning aspects of the singleton properties. We propose a simple mechanism to enable existing reasoners to recognize the singleton property triples, as well as to infer the data triples described by the singleton property triples. We evaluate the effect of the singleton property triples in the reasoning processes by comparing the performance on RDF datasets with and without singleton properties. Our evaluation uses as benchmark the LUBM datasets and the LUBM-SP datasets derived from LUBM with temporal information added through singleton properties.
Conference Paper
Full-text available
In several subject domains, the categorization scheme itself is part of the subject matter. In these subject domains, experts make use of categories of categories in their accounts. This has led to a number of approaches in conceptual mod-eling and knowledge representation that are called multi-level modeling approaches. An early approach for multi-level modeling is the powertype pattern which introduces " power types " and " base types ". More recently, other proposals for multi-level modeling include " clabjects " , " m-objects " , which admit the existence of entities, which are somehow, simultaneously, types (classes) and instances (usually associated to objects). Regardless of the choice of approach to perform multi-level modelling, a question remains concerning the ontological status of " base types " , " power types " and " clabjects ". This paper aims to address this gap through an ontological analysis. We use here the general term powertype to generally refer to types whose instances exhibit somehow both type-like and instance-like characteristics. We examine alternative accounts for powertype instances: (i) powertype instances as universals (abstract repeatable entities), (ii) powertype instances as mereological sums of instances of an associated type and (iii) powertype instances as variable embodiments. We conclude that the latter is the most promising account for an ontological interpretation of this phenomenon that meets the modelling desiderata for powertypes present in the literature .
Article
Full-text available
Domain-specific modeling languages (DSMLs) promise clear advantages over general-purpose modeling languages. However, their design poses a fundamental challenge. While economies of scale advocate the development of DSMLs that can be used in a wide range of cases, modeling productivity demands more specific language concepts tuned to individual requirements. Inspired by the actual use of technical languages (German: “Fachsprachen”), this paper presents a novel multilevel modeling approach to conceptual modeling and to the design of information systems. Unlike traditional language architectures such as Meta Object Facility (MOF), it features a recursive architecture that allows for an arbitrary number of classification levels and, hence, for the design of hierarchies of DSMLs ranging from reference DSMLs to “local” DSMLs. It can not only diminish the conflict inherent in designing DSMLs, but enables the reuse and integration of software artifacts in general. It also helps reduce modeling complexity by relaxing the rigid dichotomy between specialization and instantiation. Furthermore, it integrates a meta-modeling language with a metamodel of a reflective meta-programming language, thereby allowing for executable models. The specification of the language architecture is supplemented by the description of use scenarios that illustrate the potential of multilevel modeling and a critical discussion of its peculiarities.
Conference Paper
Full-text available
Employing multi-level abstraction in modeling refers to representing objects at multiple levels of one or more abstraction hierarchies, mainly classification, aggregation and generalization. Multiple representation, however, leads to accidental complexity, complicating modeling and extension. Several modeling techniques, like powertypes, deep instantiation, materialization, m-objects, HERM, and the component model may be used to reduce unnecessary complexity with multi-level abstraction. This chapter compares these modeling techniques using four comparison criteria: (1) compactness (modular and redundancy-free models), (2) query flexibility (number and kind of pre-defined entry points for querying), (3) heterogeneous level-hierarchies, and (4) multiple relationship-abstractions (such as between relationship occurrence and relationship type).
Conference Paper
Full-text available
As the UMLattempts to make the transition from a single, albeit extensible, language to a framework for a family of languages, the nature and form of the underlying meta-modeling architecture will assume growing importance. It is generally recognized that without a simple, clean and intuitive theory of how metamodel levels are created and related to one another, the UML2.0 vision of a coherent family of languages with a common core set of concepts will remain elusive. However, no entirely satisfactory metamodeling approach has yet been found. Current (meta-)modeling theories used or proposed for the UML all have at least one fundamental problem that makes them unsuitable in their present form. In this paper we bring these problems into focus, and present some fundamental principles for overcoming them. We believe that these principles need to be embodied within the metamodeling framework ultimately adopted for the UML2.0 standard.
Conference Paper
In knowledge representation nowadays there exists no common notation which is used to attach designations and meanings to knowledge elements. E.g. the name painting can stand either for the class painting or for the object property (relation) painting which assigns paintings to their painters. For a clear distinction typically syntactical overhead is needed. In OWL/XML-Syntax this would be . Therefore a set of special characters is introduced, which in combination with a name allows to uniquely designate different types of knowledge elements with the same name like ^Painting (class) or <>Painting (relation). The character combination >> is used to designate n-ary relationships like >>Nikolaus_Kopernikus-Belief. Using this designation conventions, we propose the notation of an Ontological Graph (OG), which is powerful enough to visualize data models, semantic networks, conceptual roles, formulas, process models, situations, taxonomies etc. Based on the type of knowledge elements, nodes have specific colors and shapes and can be enriched by graphical elements, images and hypertext links. OGs allow for a kind of visual thinking and support to develop, debug, document and visualize knowledge faster, easier and more consistently. Finally we present an approach for a predication system (LPS), which allows to attach unique predicators to knowledge elements based on Leibniz characteristic numbers (LCN). This allows to construct, designate and retrieve knowledge elements from primitive ones by means of factorization e.g. creature = living#body, which means, that we can support search by meaning.
The Essence of multilevel metamodeling
  • C Atkinson
  • T Kühne
Materialization: a Powerful and Ubiquitous Abstraction Pattern
  • A Pirotte
  • E Zimanyi
  • D Assart
  • T Yakusheva
New Directions for Applied Knowledge-based AI and Machine Learning
  • B Humm
  • P Archer
  • H Bense
  • C Bernier
  • C Goetz
  • T Hoppe
  • F Schumann
  • M Siegel
  • R Wenning
  • A Zender
Humm B, Archer P, Bense H, Bernier C, Goetz C, Hoppe T, Schumann F, Siegel M, Wenning R, and Zender A. New Directions for Applied Knowledge-based AI and Machine Learning. Informatik Spektrum, Springer 2022. DOi: 10.1007/s00287-022-01513-9
Towards an Ontological Analysis of Powertypes. International Workshop on Formal Ontologies for Artificial Intelligence (FOFAI)
  • G Guizzardi
  • Jpa Almeida
  • N Guarino
  • Carvalho Va
Guizzardi G, Almeida JPA, Guarino N, and Carvalho VA. Towards an Ontological Analysis of Powertypes. International Workshop on Formal Ontologies for Artificial Intelligence (FOFAI) 2015. Available from: https : / / www. researchgate. net / publication/279178175_Towards_an_Ontological_Analysis_of_Powertypes
Applying a Multi-Level Modeling Theory to Assess Taxonomic Hierarchies in Wikidata. Wiki Workshop at 25th Int
  • F Brasileiro
  • Jpa Almeida
  • V A Carvalho
  • G Guizzardi
Brasileiro F, Almeida JPA, Carvalho VA, and Guizzardi G. Applying a Multi-Level Modeling Theory to Assess Taxonomic Hierarchies in Wikidata. Wiki Workshop at 25th Int. Conference Companion World Wide Web 2016 :975-80
  • J J Odell
  • Power Types
Odell JJ. Power Types. Journal of Object-Oriented Programming, Volume 7(2) 1994 :8-12