Representing Complexity in Part-Whole Relationships within the Foundational Model of Anatomy

The Foundational Model of Anatomy (FMA) is a frame-based ontology that represents declarative knowledge about the structural organization of the human body. Part-whole relationships play a particularly important role in this representation. In order to assure that knowledge-based applications relying on the FMA as a resource can reason about anatomy, we have modified and enhanced currently available schemes of meronymic relationships. We have introduced and defined distinct partitions for decomposing anatomical structures and attributed the part relationships in order to eliminate ambiguity and enhance specificity in the richness of meronymic relationships within the FMA

Characterising aggregations with existence dependency.

Abstract: The concept of aggregation is considered as one of the basic principles in object-oriented analysis. There is however no standard definition of this concept and each object-oriented analysis method has its own definition of aggregation. The aim of this paper is not to discuss the different types of aggregation that exist. However, having assessed the complexity of the concept, we will illustrate how a basic set of formal concepts is sufficient to define of the structural and behavioral aspects of different existing flavours of aggregation. If a development method wants to offer a rich concept such as aggregation, it can define the semantics of the desired flavour of the aggregation using these core formal concepts. Analysts then have the choice to use the aggregation defined by the method or to fall back on the core concepts if a different flavour of aggregation is needed to model the situation at hand.Principles; Model;

Conceptual Modelling and The Quality of Ontologies: Endurantism Vs. Perdurantism

Ontologies are key enablers for sharing precise and machine-understandable semantics among different applications and parties. Yet, for ontologies to meet these expectations, their quality must be of a good standard. The quality of an ontology is strongly based on the design method employed. This paper addresses the design problems related to the modelling of ontologies, with specific concentration on the issues related to the quality of the conceptualisations produced. The paper aims to demonstrate the impact of the modelling paradigm adopted on the quality of ontological models and, consequently, the potential impact that such a decision can have in relation to the development of software applications. To this aim, an ontology that is conceptualised based on the Object-Role Modelling (ORM) approach (a representative of endurantism) is re-engineered into a one modelled on the basis of the Object Paradigm (OP) (a representative of perdurantism). Next, the two ontologies are analytically compared using the specified criteria. The conducted comparison highlights that using the OP for ontology conceptualisation can provide more expressive, reusable, objective and temporal ontologies than those conceptualised on the basis of the ORM approach

QAA subject benchmark statement architecture : version for consultation December 2019

The Statement is intended to guide lecturers and course leaders in the design of academic courses leading to qualifications in architecture, it will also be useful to those developing other related courses. Higher education providers may need to consider other reference points in addition to this Statement in designing, delivering and reviewing courses. These may include requirements set out by the Architects Registration Board (ARB), the Royal Institute of British Architects (RIBA) and the Institute for Apprenticeships and Technical Education (IfATE). Providers may also need to consider industry or employer expectations. Individual higher education providers will decide how they use this information. The broad subject of architecture is both academic and vocational. The bachelor's award for architecture is the first stage of the typical education of an architect. This is typically either a BSc or a BA degree. The second stage of academic qualification is a master's level degree, typically in the form of a two-year MArch, which is defined as an undergraduate master's award. Architecture qualifications typically require a total of 360 (Credit Accumulation and Transfer Scheme, or CATS) credits at bachelor's level and 240 (CATS) credits within a master's level degree. While this may equate to five years of 120 (CATS) credits each, higher education providers may construct alternatives to enable flexibility in student learning. This Statement seeks to encapsulate the nature of a rich and diverse academic discipline. It is not intended to prescribe a curriculum, but rather describes the broad intellectual territory within which individual higher education providers will locate their courses of study in architecture

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Developing Ontological Theories for Conceptual Models using Qualitative Research

Conceptual modelling is believed to be at the core of the IS discipline. There have been attempts to develop theoretical foundations for conceptual models, in particular ontological models as axiomatic reference systems. Although the notion of ontology has become popular in modelling theories, criticism has risen as to its philosophical presuppositions. Taking on this criticism, we discuss the task of developing socially constructed ontologies for modelling domains and outline how to enhance the expressiveness of ontological modelling theories by developing them via qualitative research methods such as Grounded Theory

Quantifying the impact of technical barriers to trade : a framework for analysis

There has been increasing use of technical regulations as instruments of commercial policy in the context of multilateral, regional, and global trade. These nontariff barriers are of special concern to developing countries, which may bear additional costs in meeting mandatory standards. Many industrial and developing countries express frustration with regulations that vary across their export markets, require duplicative conformity procedures, and are continually revised to exclude imports. The authors provide a comprehensive overview of the policy debate and methodological issues surrounding product standards and technical barriers to trade. They begin with a review of the policy context driving demand for empirical analysis of standards in trade, then provide an analytical overview of the role of standards and their relationship to trade. They then review methodological approaches that have been used to analyze standards and theirimpact on trade. Their main interest lies in advancing techniques that are practical and may be fruitfully extended to the empirical analysis of regulations and trade. They discuss concrete steps that could be taken to move forward a practical, policy-relevant program of empirical research. Such steps would include: a) administering firm-level surveys in developing countries; b) devising methods for assessing how much standards restrict trade; and c) establishing econometric approaches that could be applied to survey and microeconomic data, to improve understanding of the role of standards in exports.Environmental Economics&Policies,Economic Theory&Research,TF054105-DONOR FUNDED OPERATION ADMINISTRATION FEE INCOME AND EXPENSE ACCOUNT,Trade and Services,Trade and Regional Integration