GoodRelations has existed since 2008 to aid businesses in describing their products and services. It provides a variety of definitions and terminology useful for improving a company’s online retail...

Dynamic, networked service-oriented systems, like those found in manufacturing, logistics or transportation, require efficient communication of capabilities of their services to enable on-t...

Atran's account of cultural transmission can be further refined by considering constraints from early-developed, domain-specific intuitive ontological understanding. These suggest specific predictions about the cultural survival of “memes,” depending on the way they activate intuitive understanding. There is no general dynamic of cultural inheritance; only complex predictions for domain-specific competencies that cut across cultural domains.

Ontologies play a vital role in organizing and constructing knowledge across various domains, enabling effective knowledge management and sharing. The development of domain-specific ontologies, such as the ONTO-TDM ontology for teaching domain modeling, is essential for providing a comprehensive and standardized representation of knowledge within a given discipline. However, to maximize the usefulness and relevance of such ontologies, it is crucial to automate their population with domain-specific information, reducing manual work and ensuring scalability. This (...) paper presents a novel method for ontology population by extracting and integrating relevant information from diverse sources. The method combines the TextRank algorithm with Word2Vec to enhance keyword extraction, capturing both semantic meaning and textual importance. Keywords are then annotated and used to train a machine learning classifier, which aids in integrating new instances into the ontology. Experiments show that the proposed method achieves a precision of 63.33%, a recall of 61.29% and an F1-score of 62.28%, significantly improving keyword extraction and ontology population accuracy compared to existing methods. This validates the method’s effectiveness in semi-automatically extracting relevant instances from diverse data sources, enhancing the efficiency and accuracy of ontology population, and advancing automated knowledge management in domain-specific contexts. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of (...) sets. Set theory has considerable mathematical power and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

The purpose of this work is to find out how different library classification systems and linguistic ontologies arrange a particular domain of interest and what are the limitations for information retrieval. We use knowledge representation techniques and languages for construction of a domain specific ontology. This ontology would help not only in problem solving, but it would demonstrate the ease with which complex queries can be handled using principles of domain ontology, thereby facilitating (...) better information retrieval. Facet-based methodology has been used for ontology formalization for quite some time. Ontology formalization involves different steps such as, Identification of the terminology, Analysis, Synthesis, Standardization and Ordering. Firstly, for purposes of conceptualization OntoUML has been used which is a well-founded and established language for Ontology driven Conceptual Modelling. Phase transformation of “the same mode” has been subsequently obtained by OWL-DL using Protégé software. The final OWL ontology contains a total of around 232 axioms. These axioms comprise 148 logical axioms, 76 declaration axioms and 43 classes. These axioms glue together classes, properties and data types as well as a constraint. Such data clustering cannot be achieved through general use of simple classification schemes. Hence it has been observed and established that domain ontology using faceted principles provide better information retrieval with enhanced precision. This ontology should be seen not only as an alternative of the existing classification system but as a Knowledge Base system which can handle complex queries well, which is the ultimate purpose of any classification system or indexing system. In this paper, we try to understand how ontology-based information retrieval systems can prove its utility as a useful tool in the field of library science with a particular focus on the education domain. (shrink)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these (...) are two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)

We present in this article a compression system that uses STEP compliant standards for the compression and design review visualization of large CAD data sets. Our approach is orthogonal to the traditional techniques applied in the field, as we complement previous works by introducing semantic criteria along with algorithms for the categorization, simplification and user-oriented adaptation of the engineering components described by domain-specific standards. As an example, we have implemented two test cases in two specific domains – (...) ISO-STEP 13013-AP227 in the case of industrial Plant Design, and CIS/2 in the case of Steel Detailing Design (Structures Design). (shrink)

Identification of non-coding RNAs (ncRNAs) has been significantly enhanced due to the rapid advancement in sequencing technologies. On the other hand, semantic annotation of ncRNA data lag behind their identification, and there is a great need to effectively integrate discovery from relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a precisely defined ncRNA controlled vocabulary, which can fill a specific and highly needed niche in unification of ncRNA biology.

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute (...) of Medical Informatics (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

I begin by distinguishing two general approaches to metaethics and ontology. One in effect puts our experience as engaged ethical agents on hold while independent metaphysical and epistemological inquiries, operating by their own lights, deliver metaethical verdicts on acceptable interpretations of our ethical lives; the other instead keeps engaged ethical experience in focus and allows our reflective interpretation of it to shape our metaphysical and epistemological views, including our ontology. While the former approach often leads to deflationary views, (...) the latter may lead us to enrich our metaethical picture as needed to capture robust objectivity and categorical normative authority for ethics. Assuming, as I have argued elsewhere, that this requires positing irreducibly evaluative or normative properties and facts, the question I take up here is what ontological implications this has. I argue against quietist non-naturalist views, which maintain that positing such properties and facts either has no ontological implications or has only domain-specific ontological implications that likewise imply nothing about what the world contains. Against these views, I advocate a worldly, dual-aspect view, locating irreducibly evaluative or normative properties as features of relevant worldly things. But while I have previously defended this view as a form of non-naturalism, I here explore the possibility of instead seeing it as a new, more expansive form of naturalism—what might be called “Non-Scientistic Naturalism”—inspired by parallel attempts in the philosophy of mind to accommodate irreducibly phenomenal properties within a more expansive physicalism. (shrink)

Classifying domain entities into their respective top-level ontology concepts is a complex problem that typically demands manual analysis and deep expertise in the domain of interest and ontology engineering. Using an efficient approach to classify domain entities enhances data integration, interoperability, and the semantic clarity of ontologies, which are crucial for structured knowledge representation and modeling. Based on this, our main motivation is to help an ontology engineer with an automated approach to classify (...) class='Hi'>domain entities into top-level ontology concepts using informal definitions of these domain entities during the ontology development process. In this context, we hypothesize that the informal definitions encapsulate semantic information crucial for associating domain entities with specific top-level ontology concepts. Our approach leverages state-of-the-art language models to explore our hypothesis across multiple languages and informal definitions from different knowledge resources. In order to evaluate our proposal, we extracted multi-label datasets from the alignment of the OntoWordNet ontology and the BabelNet semantic network, covering the entire structure of the Dolce-Lite-Plus top-level ontology from most generic to most specific concepts. These datasets contain several different textual representation approaches of domain entities, including terms, example sentences, and informal definitions. Our experiments conducted 3 study cases, investigating the effectiveness of our proposal across different textual representation approaches, languages, and knowledge resources. We demonstrate that the best results are achieved using a classification pipeline with a K-Nearest Neighbor (KNN) method to classify the embedding representation of informal definitions from the Mistral large language model. The findings underscore the potential of informal definitions in reflecting top-level ontology concepts and point towards developing automated tools that could significantly aid ontology engineers during the ontology development process. (shrink)

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to (...) extend or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

Functionality is one of the key concepts of knowledge about artifacts. Functional knowledge shows a part of designer's intention (so-called design rationale), and thus its sharing among engineers plays a crucial role in team-activities in engineering practice. Aiming at promoting engineering knowledge management, we have developed an ontological modeling framework of functional knowledge, which includes an ontology of device and function and a controlled vocabulary. This framework has been successfully deployed in a manufacturing company in daily engineering activities. In (...) the first part of this paper, we discuss some ontological issues concerning the functionality of artifacts, and redefine the notion of function as a role. In the second part, we discuss some lessons learned in the actual deployment of this framework and two extensions based on such experience. One extension is a lexical layer for functional terms intended to help engineers select appropriate functional concepts and to facilitate the use of domain-specific terms familiar to them. The other extension is the establishment of ontological modeling guidelines, which help engineers commit to the relevant ontologies and describe models compliant with them. (shrink)

We will survey a range of ontologies relevant to space and ground system domains. The ontologies form part of the Common Core Ontology ecosystem (CCO) developed under the IARPA KDD initiative. We focus specifically on the Space Domain Ontologies, a suite of ontologies to support space situational awareness, including the Spacecraft Mission Ontology, Spacecraft Ontology, Space Event Ontology and Space Object Ontology.

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, (...) and (4) data exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

Kant's account of the experience of the sublime in nature and the incommensurability of its bases in the two European traditions of philosophy that feed into modern cognitive psychology, the holism of Leibniz and the analytic reductionism of Locke, are used to develop a new theory of human nature in terms of developmental interactions between initially separate cognitive domains. More recent illustrations of this separation/interaction are found in debates over 'emergence' in modern science and theories of consciousness. Shifting from competitive (...) epistemologies to a resulting ontology of human nature, the cognitive development of mind through childhood can itself be understood as multiple but necessarily incomplete fusions between person knowing and a thing/tool knowing , based here on a Vygotskian model of their reciprocal internalizations, and leading into our ostensibly differentiated and humanly unique multiple adult intelligences. A consequence is that human consciousness, while based on these selective and necessarily partial domain integrations, as in the separate directionalities of spirituality and science/technology, is fundamentally and permanently unbalanced. Kant's sublime and Rudolf Otto's related analysis of numinous-uncanny feeling exemplify the inner dynamism of this intrinsic unbalance, constituting the species specific form of the perpetual orientation to novelty that drives us forward toward the very best and very worst of the human condition. (shrink)

The Ontology Summit 2012 explored the current and potential uses of ontology, its methods and paradigms, in big systems and big data: How ontology can be used to design, develop, and operate such systems. The systems addressed were not just software systems, although software systems are typically core and necessary components, but more complex systems that include multiple kinds and levels of human and community interaction with physical-software systems, systems of systems, and the socio-technical environments for those (...) systems which can include cultural, legal, and economic components. The focus themes used for this exploration were Big Systems Engineering, Big Data Challenge, Large Scale Domain Applications, and cross-cutting aspects Ontology Quality, and Federation and Integration of Systems. The Ontology Summit 2012 consisted of over three months of intensive virtual collaborative elaboration of these issues in presentations, panels, and group email. The culmination of these activities was a face-to-face Symposium at the US National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA, 12–13 April 2012. The primary product of this Ontology Summit is the communiqué reported here. But there are other products, some continuing as collaborative, more specifically focused analysis and modeling efforts aligned with various open standards activities. Behind all of these particular products, of course, is the real overriding purpose of the Ontology Summit 2012, which was: the joint collaboration of three distinct communities, the ontology, systems engineering and big systems stakeholder communities, who came together to address common problems, create common understanding and propose common solutions. (shrink)

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used (...) to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies. (shrink)

The Industrial Ontologies Foundry (IOF) was formed to create a suite of interoperable ontologies. Ontologies that would serve as a foundation for data and information interoperability in all areas of manufacturing. To ensure that each ontology is developed in a structured and mutually coherent manner, the IOF has committed to the tiered architecture of ontology building based on the Basic Formal Ontology (BFO) as top level. One of the critical elements of a successful tiered architecture build is (...) the domain mid-level ontologies. However, thus far there has been no mid-level manufacturing ontology that is based on BFO. The IOF has recently released the IOF Core version 1 beta to fill this gap. This paper documents the development process and gives an overview of the current content of the IOF Core. Finally, the paper describes how the IOF Core can be used as the basis for a more domain-specific Supply Chain Ontology. (shrink)

This article aims to explore representation of the content knowledge of historical Malay manuscripts by extracting the event features using an event ontology framework. The manuscript used during the testing is Sulalatus Salatin (Sejarah Melayu ) by Abdul Ahmad Samad and it was published at University of Malaya Digital Library database. In aligning to a domain-specific ontology, the Simple Event Model (SEM) model is adopted and an event-based ontology for historical Malay manuscripts is designed. Information (...) extraction approach is done manually to extract events from the manuscript and mapped into Protégé editor. Competency questions were constructed and submitted to the Protégé editor using SPARQL to check the ontology capability of providing answers as well as to examine its correctness. Event-based ontology model assists in discovering and representing the content knowledge of historical Malay manuscripts and supports organisation of knowledge. All the main concepts are extracted from selected Malay manuscript and 17 concepts used to develop the event-based ontology model. The knowledge was verified by three domain experts in Malay manuscript. In the findings, the interrater reliability for Event and Actor instances is 84%, which means 16% of instances and its type are incorrect and need amendment. For Place, interrater reliability is 95% and 99% for Role. Meanwhile, the experts achieved 100% agreement for Time. In addition, the experts agreed that the concepts, properties and instances for Malay Manuscript Ontology and complied with the criteria of consistency, completeness, conciseness, expandability and ease of use. The development of the event-based model of an ontology-based system with a high level of semantic granularity reflects the various cultural riches and intellectual aspect stored in Malay manuscripts. This will enable systematic research of the knowledge embedded in the manuscripts and make it widely and easily accessible by everyone. (shrink)

After a recent breakthrough in the early 90's, text analysis is acknowledged as one of the promising ways to rapidly build better grounded semantic resources such as terminologies and ontologies. This domain has recently undergone significant evolutions with a massive reference to machine learning algorithms and information extraction techniques together with linguistic- and statistic-based natural language processing. This position paper promotes three main ideas: (i) that highly domain-specific or task-specific, even idiosyncratic ontologies, are very useful, especially (...) when they are linked to broader consensual schemes and they can be built with reasonable effort; (ii) that corpus-based ontologies can capture the perspective of a domain; and (iii) that supervised ontology learning from text makes feasible the development of specialized ontologies adapted for specific uses. We propose the establishment of an inventory of tools for building ontologies from text, give a first classification of such tools, and present an initial review of some recent methods and tools. (shrink)

Increasingly, taxonomies are being developed and used by industry practitioners to facilitate information interoperability and retrieval. Within a single industrial domain, there exist many taxonomies that are intended for different applications. Industry specific taxonomies often represent the vocabularies that are commonly used by the practitioners. Their jobs are multi-faceted, which include checking for code and regulatory compliance. As such, it will be very desirable if industry practitioners are able to easily locate and browse regulations of interest. In practice, (...) multiple sources of government regulations exist and they are often organized and classified by the needs of the issuing agencies that enforce them rather than the needs of the communities that use them. One way to bridge these two distinct needs is to develop methods and tools that enable practitioners to browse and retrieve government regulations using their own terms and vocabularies, for example, via existing industry taxonomies. The mapping from a single taxonomy to a single regulation is a trivial keyword matching task. We examine a relatedness analysis approach for mapping a single taxonomy to multiple regulations. We then present an approach for mapping multiple taxonomies to a single regulation by measuring the relatedness of concepts. Cosine similarity, Jaccard coefficient and market basket analysis are used to measure the semantic relatedness between concepts from two different taxonomies. Preliminary evaluations of the three relatedness analysis measures are performed using examples from the civil engineering and building industry. These examples illustrate the potential benefits of regulatory usage from the mapping between various taxonomies and regulations. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge (...) this gap, we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive (...) method of modern formal ontology. It will be tested via a series of applications relating to on-going work in Leipzig on medical taxonomies and data dictionaries in the context of clinical trials. This will lead to the production of a domain-specific ontology which is designed to serve as a basis for applications in the medical field. (shrink)

The article introduces recursive ontology, a general ontology which aims to describe how being is organized and what are the processes that drive it. In order to answer those questions, I use a multidisciplinary approach that combines the theory of levels, philosophy and systems theory. The main claim of recursive ontology is that being is the product of a single recursive process of generation that builds up all of reality in a hierarchical fashion from fundamental physical particles (...) to human societies. To support this assumption, I provide the general laws and the basic principles of recursive ontology as well as a semi-formalised model of the theory based on a recursive generative grammar. Recursive ontology not only actively promotes a multidisciplinary investigation of reality, but also can be used as a general framework to develop future domain-specific theories. (shrink)

Against the background that the top-level semantic framework of Chinese traditional culture is not comprehensive and unified, this study aims to preserve and disseminate cultural heritage information about Chinese traditional culture through the development of a domain ontology which is constructed from ancient books. A combination of top-down and bottom-up approaches was used to construct the ontology for Chinese traditional culture. An investigation of historians’ needs, and LDA topic clustering model were conducted, understanding the specific needs (...) of historians, collecting the topic, concepts and relationships. CIDOC CRM was reused to construct the basic framework of CTCO. Ontology structure and function were adopted to evaluate the effectiveness of CTCO. Evaluation results show that the ontology meets all the quality criteria of OntoMetrics, and the experts agreed on content representation. CTCO contributes to the organization of traditional Chinese culture and the construction of related databases. The study also forms a common path and puts forward proposals for the construction of domain ontology, which has great social relevance. (shrink)

Ontology development methodologies emphasise knowledge gathering from domain experts and documentary resources, and knowledge representation using an ontology language such as OWL or FOL. However, working ontologists are often surprised by how challenging and slow it can be to develop ontologies. Here, with a particular emphasis on the sorts of ontologies that are content-heavy and intended to be shared across a community of users (reference ontologies), we propose that a significant and heretofore under-emphasised contributor of challenges during (...) ontology development is the need to create, or bring about, consensus in the face of disagreement. For this reason reference ontology development cannot be automated, at least within the limitations of existing AI approaches. Further, for the same reason ontologists are required to have specific social-negotiating skills which are currently lacking in most technical curricula. (shrink)

In the last couple of years there have been some attempts to introduce Pierre Bourdieu’s concepts into the critical realist conception of social science. But these attempts either limit themselves to the constitution of a philosophical connection between Bourdieu and critical realism or confine Bourdieu’s theoretical contributions to analyses of human agency, whereas Bourdieu’s habitus can provide a deepening of the critical realist conception of what the ‘social’ is. We can establish a socio-ontological connection between the concept of habitus and (...) the idea of the social as a stratified reality. In this way, it may be possible to employ real-actual-empirical stratification for the purpose of defining the domain-specific ontology of social science, and to comprehend the habitus-field relation as a component of the stratification in question. To this end, the paper suggests that habitus is ‘the missing link between structure and agency’. (shrink)

This paper puts together an ancientand a recent approach to classificatory language, thought, and ontology.It includes on the one hand an interpretation of Aristotle's ten categories,with remarks on his first category, called (or translated as) substancein the Categories or What a thing is in the Topics. On the other hand is the ideaof domain-specific cognitive abilities urged in contemporary developmentalpsychology. Each family of ideas can be used to understand the other. Neitherthe metaphysical nor the psychological approach is (...) intrinsically morefundamental; they complement each other. The paper incidentally clarifies distinct uses of the word category in different disciplines, and also attempts to make explicit several notions of domain. It also examines Aristotle's most exotic and least discussed categories, being-in-a-position (e.g., sitting) and having-(on) (e.g., armour). Finally the paper suggests a tentative connectionbetween Fred Sommers' theory of types and Aristotle's first category. (shrink)

In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The second concern (...) of this paper is the manner in which Hegel makes logic not only dependent on ontology generally, but also variant in regard to domains of objects. In other words, he offers a domain-specific logical theory, according to which the form of judgment or inference is specific to the subject of judgment. My third concern lies with the metaphilosophical consequences of this theory, and this includes some more familiar Hegelian themes. It is well known that Hegel frequently questioned the adequacy of the sentential form for expressing higher order truths. My reading of his theory of predication explains and contextualizes this tendency by demystifying notions like the so-called speculative proposition. (shrink)

Formal Ontology is a discipline whose business is to develop formal theories about general aspects of reality such as identity, dependence, parthood, truth-making, causality, etc. A foundational ontology is a specific consistent set of these ontological theories that support activities such as domain analysis, conceptual clarification, and meaning negotiation. A (well-founded) core ontology specifies, under a foundational ontology, the central concepts and relations of a given domain. Foundational and core ontologies can be seen (...) as ontology engineering frameworks to systematically address the laborious task of building large (more specific) domain ontologies. However, both in research and industry, it is common that ontologies as computational artifacts are built without the aid of any framework of this kind, often yielding modeling mistakes and representation gaps. In this paper, we analyze a case in the domain of cybersecurity, namely, the case of D3FEND — an OWL knowledge graph of cybersecurity countermeasure techniques proposed by the MITRE Corporation. Based on the Reference Ontology for Security Engineering (ROSE), a core ontology of the security domain founded in the Unified Founda-tional Ontology (UFO), our investigation reveals a number of semantic issues and opportunities for improvement in D3FEND, including missing concepts, semantic overload of terms, and lacking constraints that cause an under-specification of the model. As a result of our ontological analysis, we propose several suggestions for the appropriate redesign of D3FEND to overcome those issues. (shrink)

Notwithstanding the fact that already in his early essay “The Logical Time” Lacan suggested that the “ontological form of anxiety” is the constitutive element in the process of the constitution of subjectivity, thus far there have only been rare attempts at inquiring into the relation between the affect of anxiety and Lacan’s critique of classical ontology, which this article will try to explore. Specifically, my argument will be that Lacanian anxiety, unlike, for instance, its Heideggerian variation, is inextricably connected (...) with the third dimension of being, which amounts to what Lacan in Seminar XI labelled “the unrealized,” i.e. to the peculiar structure of the unconscious, which distorts the classical ontological opposition between being and non-being. For Lacan, the unconscious, rather than referring simply to repressed unconscious content, is instead structured around a “pre-ontological” gap or “ontological negativity”. While anxiety notoriously “does not deceive,” it does not deceive only regarding the subject’s encounter with the real, but also – and most importantly – regarding the specific ontological structure of the unconscious, which includes the negativity as its own “material cause”. In this respect, anxiety might be regarded as an “ontological” or even objective material affect – yet not in a posthumanist sense of the affect of being/matter, but rather as the affective correlate or material signal for the fracture of being itself. In short, without this specific ontological gap/negativity, there would only be fear and frustration, not anxiety, which brings anxiety into the domain of metapsychology. (shrink)

The search for the “furniture of the mind” has acquired added impetus with the rise of new technologies to study the brain and identify its main structures and processes. Philosophers and scientists are increasingly concerned to understand the ways in which psychological functions relate to brain structures. Meanwhile, the taxonomic practices of cognitive scientists are coming under increased scrutiny, as researchers ask which of them identify the real kinds of cognition and which are mere vestiges of folk psychology. Muhammad Ali (...) Khalidi presents a naturalistic account of “real kinds” to validate some central taxonomic categories in the cognitive domain, including concepts, episodic memory, innateness, domain specificity, and cognitive bias. He argues that cognitive kinds are often individuated relationally, with reference to the environment and etiology of the thinking subject, whereas neural kinds tend to be individuated intrinsically, resulting in crosscutting relationships among cognitive and neural categories. (shrink)

Within the context of the debate between ontological monists and pluralists the paper discusses a number of argumentative strategies that the latter can apply to answer the “there can be only one” argument. I show here that the reply to this argument suggested by J. Turner has its disadvantages and suggest a number of adjustments thereof. In particular, I develop a concept of domain-specific quantifiers that allow the pluralist to elaborate his or her ontological position.

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing (...) in abstract fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

This paper concerns the development and use of ontologies for electronically supporting and structuring the highest-level function of government: the design, implementation and evaluation of public policies for the big and complex problems that modern societies face. This critical government function usually necessitates extensive interaction and collaboration among many heterogeneous government organizations (G2G collaboration) with different backgrounds, mentalities, values, interests and expectations, so it can greatly benefit from the use of ontologies. In this direction initially an ontology of public (...) policy making, implementation and evaluation is described, which has been developed as part of the project ICTE-PAN of the Information Society Technologies (IST) Programme of the European Commission, based on sound theoretical foundations mainly from the public policy analysis domain and contributions of experts from the public administrations of four European Union countries (Denmark, Germany, Greece and Italy). It is a ‘horizontal’ ontology that can be used for electronically supporting and structuring the whole lifecycle of a public policy in any vertical (thematic) area of government activity; it can also be combined with ‘vertical’ ontologies of the specific vertical (thematic) area of government activity we are dealing with. In this paper is also described the use of this ontology for electronically supporting and structuring the collaborative public policy making, implementation and evaluation through ‘structured electronic forums’, ‘extended workflows’, ‘public policy stages with specific sub-ontologies’, etc., and also for the semantic annotation, organization, indexing and integration of the contributions of the participants of these forums, which enable the development of advanced semantic web capabilities in this area. (shrink)

The following considerations belong to what has recently been discussed as “social ontology”. The paper deals with Searle’s understanding of the difference between social and natural reality. The thesis is that this differentiation falls short because it supports a wrong ontological hierarchy. Social ontology is mistakenly, as I want to show, designed by Searle as a domain-specific ontology subjected to the ontology of nature. I will cast doubt on the persuasive power of this idea (...) by dealing with Searle’s notion of collective intentionality, which lies at the very heart of his doctrine of social and institutional facts: social reality shall originate from collective intentionality. But this notion stands for a wrong objectification of the social, for it is highly questionable whether the social is really exhausted by being the content of our action plans and truth-apt thoughts. (shrink)

In this paper, we present a domain-specific, open access, reference ontology (ROMAIN) for the maintenance management domain. We use a hybrid approach, based on a top-down alignment to an open sourc...

Domain analysis is useful for examination of individual spheres of intellectual activity, both academic and otherwise, and has been used in the knowledge organization (KO) literature to explore specific communities and uses, including web pornography (Beaudoin and Ménard 2015), virtual online worlds (Sköld, Olle 2015), gourmet cooking (Hartel 2010), healthy eating (McTavish 2015), art studies (Ørom 2003), the Knowledge Organization journal (Guimarães et al. 2013), and domain analysis itself (Smiraglia 2015). The results of domain analyses are (...) useful for the development of controlled vocabularies, taxonomies, ontologies, metadata schemas, and other systems for the documentation, description, and discovery of resources, as well as for knowledge discovery in general (Smiraglia 2015; Hjørland 2017). This research describes a methodology for the elucidation of knowledge organization systems (KOS) currently in use on image websites that document graffiti, graffiti art, and street art around the world. (shrink)

This article describes the creation of a lightweight ontology of European Union (EU) criminal procedural rights in judicial cooperation. The ontology is intended to help legal practitioners understand the precise contextual meaning of terms as well as helping to inform the creation of a rule ontology of criminal procedural rights in judicial cooperation. In particular, we started from the problem that directives sometimes do not contain articles dedicated to definitions. This issue provided us with an opportunity to (...) explore a phenomenon typically neglected in the construction of domain-specific legal ontologies. Whether classical definitions are present or absent, laws and legal sources in general are typically peppered with a number of hidden definitions (in the sense that they are not clearly marked out as such) as well as incomplete definitions, which may nevertheless help legal practitioners (and legal reasoning systems) to reason on the basis of analogy or teleology. In this article we describe the theoretical basis for building an analogical lightweight ontology in the framework of an EU project called _CrossJustice_. We present our methodology for collecting the data, extracting the data fields and creating the ontology with WebProtégé, followed by our conclusions and ideas for future work. (shrink)

Russell takes his paper ?On denoting? to have achieved the repudiation of the theory of denoting concepts and Frege?s theory of sense, and the invention of the notion of incomplete symbols.This means that Russell attempts to solve the set theoretic and semantic paradoxes without making use of a theory of sense.Instead, his strategy is to revise his logical ontology by arguing that certain symbols should be treated as incomplete.In constructing such arguments Russell, at various points, makes use of epistemological (...) and metaphysical considerations.These arguments do not form themselves into a systemic set of considerations to be used in appraising a logical system.Finally, the vicious circle principle is argued for on the basis of considerations, which are presumed evident, about the nature of propositional functions.The stringency of this principle is a basic problem for the system of Principia mathematica.However, even given the terms of the argument, ?On denoting? does not offer a complete repudiation of the notion of sense.This allows the possibility of retaining some of the insights of Principia mathematica whilst rejecting the stringency of the vicious circle principle.The basis of such a system is the theory of sense. (shrink)

The Infectious Disease Ontology (IDO) is a suite of interoperable ontology modules that aims to provide coverage of all aspects of the infectious disease domain, including biomedical research, clinical care, and public health. IDO Core is designed to be a disease and pathogen neutral ontology, covering just those types of entities and relations that are relevant to infectious diseases generally. IDO Core is then extended by a collection of ontology modules focusing on specific diseases (...) and pathogens. In this paper we present applications of IDO Core within various areas of infectious disease research, together with an overview of all IDO extension ontologies and the methodology on the basis of which they are built. We also survey recent developments involving IDO, including the creation of IDO Virus; the Coronaviruses Infectious Disease Ontology (CIDO); and an extension of CIDO focused on COVID-19 (IDO-CovID-19).We also discuss how these ontologies might assist in information-driven efforts to deal with the ongoing COVID-19 pandemic, to accelerate data discovery in the early stages of future pandemics, and to promote reproducibility of infectious disease research. (shrink)

Biomedical ontologies exist to serve integration of clinical and experimental data, and it is critical to their success that they be put to widespread use in the annotation of data. How, then, can ontologies achieve the sort of user-friendliness, reliability, cost-effectiveness, and breadth of coverage that is necessary to ensure extensive usage? Methods: Our focus here is on two different sets of answers to these questions that have been proposed, on the one hand in medicine, by the SNOMED CT community, (...) and on the other hand in biology, by the OBO Foundry. We address more specifically the issue as to how adherence to certain development principles can advance the usability and effectiveness of an ontology or terminology resource, for example by allowing more accurate maintenance, more reliable application, and more efficient interoperation with other ontologies and information resources. Results: SNOMED CT and the OBO Foundry differ considerably in their general approach.Nevertheless, a general trend towards more formal rigor and cross-domain interoperability can be seen in both and we argue that this trend should be accepted by all similar initiatives in the future. Conclusions: Future efforts in ontology development have to address the need for harmonization and integration of ontologies across disciplinary borders, and for this, coherent formalization of ontologies is a prerequisite. (shrink)

As it emerged from philosophical analyses and cognitive research, most concepts exhibit typicality effects, and resist to the efforts of defining them in terms of necessary and sufficient conditions. This holds also in the case of many medical concepts. This is a problem for the design of computer science ontologies, since knowledge representation formalisms commonly adopted in this field (such as, in the first place, the Web Ontology Language - OWL) do not allow for the representation of concepts in (...) terms of typical traits. The need of representing concepts in terms of typical traits concerns almost every domain of real world knowledge, including medical domains. In particular, in this article we take into account the domain of mental disorders, starting from the DSM-5 descriptions of some specific disorders. We favour a hybrid approach to concept representation, in which ontology oriented formalisms are combined to a geometric representation of knowledge based on conceptual space. As a preliminary step to apply our proposal to mental disorder concepts, we started to develop an OWL ontology of the schizophrenia spectrum, which is as close as possible to the DSM-5 descriptions. (shrink)

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art (...) in legal ontologies and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based (...) realist framework for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Abstract The explosion of interest in large language models (LLMs) has been accompanied by concerns over the extent to which generated outputs can be trusted, owing to the prevalence of bias, hallucinations, and so forth. Accordingly, there is a growing interest in the use of ontologies and knowledge graphs to make LLMs more trustworthy. This rests on the long history of ontologies and knowledge graphs in constructing human-comprehensible justification for model outputs as well as traceability concerning the impact of evidence (...) on other evidence. Understanding the nature of arguments and argumentation is critical to each, especially when LLM output conflicts with what is expected by users. The central contribution of this article is to extend the Arguments Ontology (ARGO) - an ontology specific to the domain of argumentation and evidence broadly construed - into the space of LLM fact-checking in the interest of promoting justification and traceability research through the use of ARGO-based ‘blueprints’. (shrink)