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)

The research presented in this article is motivated by the increasing importance of complex human relations in linked data, either extracted from social networks, or found in existing databases. The FOAF vocabulary, targeted in our research, plays a central role in those data, and is a model for lightweight ontologies largely used in linked data, such as the DBpedia ontology and schema-org. We provide an overview of FOAF and other approaches for describing human relations, followed by a detailed analysis and (...) critique of the FOAF Relationship Vocabulary, the most important FOAF extension. We propose an explicit formal axiomatization of this vocabulary, and an ontological analysis concerning the properties used to describe human relationships. We analyze the distribution of human relations based on their epistemological status, and define an ontoepistemic meta-property as characteristic of some of these predicates. Our analysis is generalizable to semantic modeling of social networks. Additionally, the modeling patterns used in other relevant linked data vocabularies are analyzed for comparison. (shrink)

Clinical guidelines are special types of plans realized by collective agents. We provide an ontological theory of such plans that is designed to support the construction of a framework in which guideline-based information systems can be employed in the management of workflow in health care organizations. The framework we propose allows us to represent in formal terms how clinical guidelines are realized through the actions of are realized through the actions of individuals organized into teams. We provide various levels of (...) implementation representing different levels of conformity on the part of health care organizations. Implementations built in conformity with our framework are marked by two dimensions of flexibility that are designed to make them more likely to be accepted by health care professionals than standard guideline-based management systems. They do justice to the fact 1) that responsibilities within a health care organization are widely shared, and 2) that health care professionals may on different occasions be non-compliant with guidelines for a variety of well justified reasons. The advantage of the framework lies in its built-in flexibility, its sensitivity to clinical context, and its ability to use inference tools based on a robust ontology. One disadvantage lies in its complicated implementation. (shrink)