Towards an Ontological Modelling of Preference Relations

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations

An Ontological Account of the Action Theory of Economic Exchanges

In recent years, there has been an increasing interest in thedevelopment of ontologically well-founded conceptual models for Information Systems in areas such as Service Management, Accounting Information Systems and Financial Reporting. Economic exchanges are central phenomena in these areas. For this reason, they occupy a prominent position in modelling frameworks such as the REA (Resource-EventAction) ISO Standard as well as the FIBO (Financial Industry BusinessOntology). In this paper, we begin a well-founded ontological analysisof economic exchanges inspired by a recent ontological view on the nature of economic transactions. According to this view, what counts asan economic transaction is based on an agreement on the actions thatthe agents are committed to perform. The agreement is in turn based on convergent preferences about the course of action to bring about. This view enables a unified treatment of economic exchanges, regardless the object of the transaction, and complies with the view that all economictransactions are about services. In this paper, we start developing our analysis in the framework of the Unified Foundational Ontology (UFO)

A Core Ontology for Economic Exchanges

In recent years, there has been an increasing interest in the development of well-founded conceptual models for Service Management, Accounting Information Systems and Financial Reporting. Economic ex- changes are a central notion in these areas and they occupy a prominent position in frameworks such as the Resource-Event Action (REA) ISO Standard, service core ontologies (e.g., UFO-S) as well as financial stan- dards (e.g. OMG’s Financial Industry Business Ontology - FIBO). We present a core ontology for economic exchanges inspired by a recent view on this phenomenon. According to this view, economic exchanges are based on an agreement on the actions that the agents are committed to perform. This view enables a unified treatment of economic exchanges, regardless the object of the transaction. We ground our core ontology on the Unified Foundational Ontology (UFO), discussing its formal and conceptual aspects, instantiating it as a reusable OntoUML model, and confronting it with the REA standard and the UFO-S service ontology

Towards a Logic of Epistemic Theory of Measurement

We propose a logic to reason about data collected by a num- ber of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measure- ment devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented by means of a possible world, which provide a contextual view on the objects in the domain. We approach (possibly) conflicting data coming from different sources in a social choice theoretic fashion: we investigate viable opera- tors to aggregate data and we represent them in our logic by means of suitable (minimal) modal operators

Repairing Socially Aggregated Ontologies Using Axiom Weakening

Ontologies represent principled, formalised descriptions of agents’ conceptualisations of a domain. For a community of agents, these descriptions may differ among agents. We propose an aggregative view of the integration of ontologies based on Judgement Aggregation (JA). Agents may vote on statements of the ontologies, and we aim at constructing a collective, integrated ontology, that reflects the individual conceptualisations as much as possible. As several results in JA show, many attractive and widely used aggregation procedures are prone to return inconsistent collective ontologies. We propose to solve the possible inconsistencies in the collective ontology by applying suitable weakenings of axioms that cause inconsistencies

Towards a Cognitive Semantics of Type

Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information that a cognitive agent has about objects, types, and the classification of an object under a certain type. In particular, we ac- count for possible failures in the classification, for the lack of sufficient information, and for some aspects related to vagueness

Crystal Structure of the FeS Cluster–Containing Nucleotide Excision Repair Helicase XPD

DNA damage recognition by the nucleotide excision repair pathway requires an initial step identifying helical distortions in the DNA and a proofreading step verifying the presence of a lesion. This proofreading step is accomplished in eukaryotes by the TFIIH complex. The critical damage recognition component of TFIIH is the XPD protein, a DNA helicase that unwinds DNA and identifies the damage. Here, we describe the crystal structure of an archaeal XPD protein with high sequence identity to the human XPD protein that reveals how the structural helicase framework is combined with additional elements for strand separation and DNA scanning. Two RecA-like helicase domains are complemented by a 4Fe4S cluster domain, which has been implicated in damage recognition, and an α-helical domain. The first helicase domain together with the helical and 4Fe4S-cluster–containing domains form a central hole with a diameter sufficient in size to allow passage of a single stranded DNA. Based on our results, we suggest a model of how DNA is bound to the XPD protein, and can rationalize several of the mutations in the human XPD gene that lead to one of three severe diseases, xeroderma pigmentosum, Cockayne syndrome, and trichothiodystrophy

DNA glycosylases: in DNA repair and beyond

The base excision repair machinery protects DNA in cells from the damaging effects of oxidation, alkylation, and deamination; it is specialized to fix single-base damage in the form of small chemical modifications. Base modifications can be mutagenic and/or cytotoxic, depending on how they interfere with the template function of the DNA during replication and transcription. DNA glycosylases play a key role in the elimination of such DNA lesions; they recognize and excise damaged bases, thereby initiating a repair process that restores the regular DNA structure with high accuracy. All glycosylases share a common mode of action for damage recognition; they flip bases out of the DNA helix into a selective active site pocket, the architecture of which permits a sensitive detection of even minor base irregularities. Within the past few years, it has become clear that nature has exploited this ability to read the chemical structure of DNA bases for purposes other than canonical DNA repair. DNA glycosylases have been brought into context with molecular processes relating to innate and adaptive immunity as well as to the control of DNA methylation and epigenetic stability. Here, we summarize the key structural and mechanistic features of DNA glycosylases with a special focus on the mammalian enzymes, and then review the evidence for the newly emerging biological functions beyond the protection of genome integrity

Surgeon volume and hospital volume in endocrine neck surgery: how many procedures are needed for reaching a safety level and acceptable costs? A systematic narrative review

The relationship between quality of care and provider's experience is well known in all fields of surgery. Even in thyroidectomies and parathyroidectomies, the emphasis on positive volume-outcome relationships is believed. It led us to an evaluation of volume activity's impact in terms of quality of care. A systematic narrative review was performed. According to the PRISMA criteria, we selected 87 paper and, after the study selection was performed, 22 studies were finally included in this review. All articles included were unanimous in attributing to activity volume of surgeons as well as centers a substantial importance. Some differences in outcomes between these investigated categories have been found: best results of the high volume surgeon is evident expecially in terms of complications, on the contrary best outcomes of a high volume center are mainly economics, such as hospital stay and general costs of the procedures. A cut-off of 35-40 thyroidectomies per year for single surgeon, and 90-100 thyroidectomies for single center appears reasonable for identifying an adequate activity. Concerning parathyroidectomy, we can consider reasonable a cut off at 10-12 operations/year. More studies are needed in a European or more circumscribed perspective