In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms (...) of dependence of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option. (shrink)

dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

L'ontologie d'entreprise établit une distinction claire entre le niveau de données, le niveau d'information et le niveau essentiel des transactions blockchain et des contrats intelligents. La méthodologie OntoClean analyse des ontologies basées sur des propriétés formelles, indépendantes des domaines (méta-propriétés), constituant la première tentative de formalisation des concepts d'analyse ontologique pour des systèmes informatiques. Les notions sont extraites de l'ontologie philosophique. DOI: 10.13140/RG.2.2.12557.49120 .

Enterprise ontology for blockchain transactions includes datalogical, infological and essential levels. OntoClean analyzes ontologies based on formal, domain-independent properties (metaproperties), being the first attempt to formalize the notion of ontological analysis for computer systems. The notions are extracted from the philosophical ontology. In the semantic web, a property is a binary relationship, with a subtle distinction between ownership and class. Thus, a metaproperty is a property of a property or a class. The design of ontology can be done when (...) there is a basic understanding of the blockchain analysis. DOI: 10.13140/RG.2.2.23158.96327 . (shrink)

Ontologia de intreprindere face o distincție clară între nivelul datalogic, infolog și esențial al tranzacțiilor cu blockchain și contractele inteligente. Metodologia OntoClean analizează ontologiile bazate pe proprietăți formale, independente de domenii ale claselor (metaproprietăți), fiind prima încercare de a formaliza noțiunile de analiză ontologică pentru sistemele informatice. Noțiunile sunt extrase din ontologia filosofică. În webul semantic, o proprietate este o relație binară. Distincția dintre proprietate și clasă este subtilă. Astfel, o metaproprietate este o proprietate a unei proprietăți sau a (...) unei clase. DOI: 10.13140/RG.2.2.33456.51207. (shrink)