21 research outputs found

    Improving model quality through foundational ontologies: Two contrasting approaches to the representation of roles

    Get PDF
    Several foundational ontologies have been developed recently. We examine two of these from the point of view of their quality in representing temporal changes, focusing on the example of roles. We discuss how these are modelled in two foundational ontologies: the Unified Foundational Ontology and the BORO foundational ontology. These exhibit two different approaches, endurantist and perdurantist respectively. We illustrate the differences using a running example in the university student domain, wherein one individual is not only a registered student but also, for part of this period, was elected the President of the Student Union. The metaphysical choices made by UFO and BORO lead to different representations of roles. Two key differences which affect the way roles are modelled are exemplified in this paper: (1) different criteria of identity and (2) differences in the way individual objects extend over time and possible worlds. These differences impact upon the quality of the models produced in terms of their respective explanatory power. The UFO model concentrates on the notion of validity in ā€œall possible worldsā€ and is unable to accurately represent the way particulars are extended in time. The perdurantist approach is best able to describe temporal changes wherein roles are spatio-temporal extents of individuals

    Software modelling languages: A wish list

    Full text link
    Ā© 2015 IEEE. Contemporary software engineering modelling tends to rely on general-purpose languages, such as the Unified Modeling Language. However, such languages are practice-based and seldom underpinned with a solid theory-be it mathematical, ontological or concomitant with language use. The future of software modelling deserves research to evaluate whether a language base that is compatible with these various elements as well as being philosophically coherent offers practical advantages to software developers

    LawV : towards an ontology-based visual modeling language in the legal domain

    Get PDF
    There has been an increase use of Domain-Specific Visual Modeling Language (DSVML) as a means of improving modelsā€™ comprehensibility and, consequently, stakeholdersā€™ productivity. Combining the benefits of DSVMLs and of an ontological approach for designing and evaluating DSVMLs, we present, in this paper, the first-steps towards an ontology-based DSVML in the legal domain called LawV. The main purpose of LawV is to provide for a visual symbolic representation for legal statements. LawV has been built by applying an ontology-based language engineering method called PoNTO-S and UFO-L, a legal core ontology. To evaluate LawV, we instantiate a judicial case selected from the database of Appeal Court of the Esp ĢÄ±rito Santo State in Brazil

    Legal Theories and Judicial Decision-Making: An Ontological Analysis

    Get PDF
    In this paper, we expose the legal theories underlying two important classes of Legal Core Ontologies and show how these ontologies inherit both limitations and benefits (such as explanatory power) of their underlying theories. We do that with the help of a real case study in which we have normative omission and collision of principles. We use this case study to conduct an ontological analysis of the support for judicial decision-making in LKIF-Core (representing Kelsen's Pure Theory of the Law) and UFO-L (representing Robert Alexy's Theory of Constitutional Rights). We show that UFO-L is able to articulate the semantics of the content of judicial decisions by making explicit the individual's legal positions that are raised in argumentation along a legal process. The same cannot be said of LKIF-Core that is based on the Kelsenian stance and focuses on the representation of general norms (norm types) and subsumption of facts to these norms

    Families of Roles: A new theory of occurrent-dependent roles

    Get PDF
    PublishedRoles are important both theoretically and practically for modelling the world around us. Although many theories of roles have been proposed, there remain aspects which are little understood. In this paper we investigate roles and their contexts from a temporal point of view.We introduce the idea of a family of occurrent-dependent roles as a means to organise prospective and retrospective derived roles around an original role from which they are derived. By this means we account for the existence of groups of similar roles which are difficult to distinguish without a careful analysis of the temporal aspects. Following detailed informal discussion, we present a preliminary formalisation of the key concepts and relations.Air Force Research Laborator

    FAIR digital twins for data-intensive research

    Get PDF
    Although all the technical components supporting fully orchestrated Digital Twins (DT) currently exist, what remains missing is a conceptual clarification and analysis of a more generalized concept of a DT that is made FAIR, that is, universally machine actionable. This methodological overview is a first step toward this clarification. We present a review of previously developed semantic artifacts and how they may be used to compose a higher-order data model referred to here as a FAIR Digital Twin (FDT). We propose an architectural design to compose, store and reuse FDTs supporting data intensive research, with emphasis on privacy by design and their use in GDPR compliant open science.Analytical BioScience

    Roles '07 ā€“ Proceedings of the 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies : workshop co-located with ECOOP 2007 Berlin, July 30 and 31, 2007

    Get PDF
    Roles are a truly ubiquitous notion: like classes, objects, and relationships, they pervade the vocabulary of all disciplines that deal with the nature of things and how these things relate to each other. In fact, it seems that roles are so fundamental a notion that they must be granted the status of an ontological primitive. The definition of roles depends on the definition of relationships. With the advent of Object Technology, however, relationships have moved out of the focus of attention, giving way to the more restricted concept of attributes or, more technically, references to other ob- jects. A reference is tied to the object holding it and as such is asymmetric ā€“ at most the target of the reference can be associated with a role. This is counter to the intuition that every role should have at least one counter-role, namely the one it interacts with. It seems that the natural role of roles in object-oriented designs can only be restored by installing relationships (collaborations, teams, etc.) as first-class programming concepts. By contrast, the relational nature of roles is already acknowl- edged in the area of Multiagent Systems, since roles are related to the interaction among agents and to communication protocols. However, in this area there is no convergence on a single definition of roles yet, and different points of view, such as agent software en- gineering, specification languages, agent communication, or agent programming languages, make different use of roles. Like its pre- decessor ā€œRoles, an interdisciplinary perspectiveā€ (Rolesā€™05) held at the AAAI 2005 Fall Symposium (see the website of the Symposium http://www.aaai.org/Press/Reports/Symposia/Fall/fs-05-08.php), this workshop aimed at gathering researchers from different dis- ciplines to foster interchange of knowledge and ideas concerning roles and relationships, and in particular to converge on ontolog- ically founded proposals which can be applied to programming and agent languages
    corecore