Ontologies, and especially formal ones, have traditionally been investigated as a means to formalize an application domain so as to carry out automated reasoning on it. The union of the terminological part of an ontology and the corresponding asserti...
The construction industry produces enormous amounts of information, relying on building information modeling (BIM). However, due to interoperability issues, valuable information is not being used properly. Ontology offers a solution to this interoper...
This paper describes the step-by-step processes towards the formalization of a core ontology for missions and capabilities in systems of systems, and the development of a specific system of systems domain ontology from the formalized ontology. The st...
Applied ontology, at the foundational level, is as much philosophy as engineering and as such provides a different aspect of contemporary natural philosophy. A prominent foundational ontology in this field is the Basic Formal Ontology (BFO). It is im...
Computational ontologies are machine-processable structures which represent particular domains of interest. They integrate knowledge which can be used by humans or machines for decision making and problem solving. The main aim of this systematic revi...
The cyber threat landscape is highly dynamic, posing a significant risk to the operations of systems and organisations. An organisation should, therefore, continuously monitor for new threats and properly contextualise them to identify and manage the...
The aim of this article is to present a method of creating deontic logics as axiomatic theories built on first-order predicate logic with identity. In the article, these theories are constructed as theories of legal events or as theories of acts. Leg...
Despite increasing digitalization and automation, complex production processes often require human judgment/decision-making adaptability. Humans can abstract and transfer knowledge to new situations. People in production are an irreplaceable resource...
As landmines and other unexploded ordnances (UXOs) present a great risk to civilians and infrastructure, humanitarian demining is an essential component of any post-conflict reconstruction. This paper introduces the Minefield Observatory, a novel web...
The rapid advancement of digital technologies and recent global pandemic-like scenarios have pressed our society to reform and adapt health and social care toward personalizing the home care setting. This transformation assists in avoiding treatment...
Cybersecurity solutions are highly based on data analysis. Currently, it is not enough to make an automated decision; it also has to be explainable. The decision-making logic traceability should be provided in addition to justification by referencing...
To deal with the complexities associated with the rapid growth in a merged concept lattice, a formal method based on an entropy-based weighted concept lattice (EWCL) is proposed as a mechanism for merging multi-source geographic ontologies (geo-onto...
Constructing a merged concept lattice with formal concept analysis (FCA) is an important research direction in the field of integrating multi-source geo-ontologies. Extracting essential geographical properties and reducing the concept lattice are two...
This paper aims to explore the ecological characteristics of information and its scientific research from various aspects. Firstly, it explores formal information including eight basic types, and then explores the essence of information involved the...
Typhoons are destructive weather events. News media reports contain large amounts of typhoon information. Transforming this information into useful knowledge to provide a basis for mining typhoon knowledge and supporting disaster prevention and relie...
Within the domain of tribology, the science and technology for understanding and controlling friction, lubrication, and wear of relatively moving interacting surfaces, countless experiments are carried out and their results are published worldwide. D...
The application of knowledge graphs has been restricted in some domains, especially the industrial and academic domains. One of the reasons is that they require a high reliability of knowledge, which cannot be satisfied by the existing knowledge grap...
In ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning. This study aims to address two main objectives. Fi...
This paper has three main objectives: (a) Discuss the formal analogy between some important symmetry-invariance arguments used in physics, probability and statistics. Specifically, we will focus on Noether’s theorem in physics, the maximum entropy pr...
In this paper, we introduce a novel method to formally represent elements of control engineering knowledge in a suitable data structure. To this end, we first briefly review existing representation methods (RDF, OWL, Wikidata, ORKG). Based on this, w...
Existing BIM (Building Information Modeling) validation mechanisms, namely geometric clash detection and attribute completeness checking of individual objects (MVD, IDS), do not cover a significant category of informational incompleteness: situations...
This paper proposes a formal descriptive model for understanding the evolution of characters in detective fiction from the 19th to the 20th century, using methodologies and technologies from the Semantic Web. The integration of Digital Humanities wit...
Implicit stochastic models, including both ‘deep neural networks’ (dNNs) and the more recent unsupervised foundational models, cannot be explained. That is, it cannot be determined how they work, because the interactions of the millions o...
Ontologies in artificial intelligence systems are an effective way to represent and integrate knowledge and data. The property of such structures is that any subject area is accurately described in formal language. There is a problem in the research...
Decision makers and policy analysts at different administrative levels often lack a holistic view of the problem as there are semantic variations in policy documents due to domain-specific content. For example, smart city initiatives are derived from...
Alzheimer’s disease is a debilitating neurodegenerative condition which is known to be the most common cause of dementia. Despite its rapidly growing prevalence, medicine still lacks a comprehensive definition of the disease. As a result, Alzhe...
Picking reliable partners, negotiating synchronously with all partners, and managing similar proposals are challenging tasks for any manager. This challenge is even harder when it concerns small and medium enterprises (SMEs) who need to deal with sho...
The aim of this paper is to introduce the basic theoretical (both conceptual and technical) tenets of Mallios’s Abstract Differential Geometry (ADG), as well as to present and to summarise the main results from its applications in the last quar...
Transformational computing paradigms, such as artificial intelligence, home automation, and the Internet of Things, are being rapidly applied to consumer electronics products, thus aiding in the development of integrated and innovative features. Henc...
The success of artificial intelligence (and particularly data-driven machine learning) in classifying and making predictions from large bodies of data has led to an expectation that autonomous AI systems can be deployed in cybersecurity applications....
1 May 2014
We report on the results of the application of a method and tool for ontology construction in the research information domain, held in the context of an open data initiative of Flanders. The method emphasizes the use of natural language descriptions...
The need for integrating geospatial information (GI) data from various heterogeneous sources has seen increased importance for geographic information system (GIS) interoperability. Using domain ontologies to clarify and integrate the semantics of dat...
This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontolo...
To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate re...
Managing complex disaster situations is a challenging task because of the large number of actors involved and the critical nature of the events themselves. In particular, the different terminologies and technical vocabularies that are being exchanged...
In this paper we study Graphol, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics. We formally prove that Graphol is equivalent to...
Bridge structures are considered complex and significant. Accordingly, the knowledge of the engineering domain of bridge construction and related specialist areas is multidimensional and highly specific. Sometimes this knowledge is explicitly documen...
This paper develops Tone as Ontology, a structural account of being grounded in the invariants of generative systems. We articulate the ontological significance of tone, distinguishing this foundational work from a companion paper that explores its m...
Attempts to answer questions regarding the ontological status of information are frequently based on the assumption that information should be placed within an already existing framework of concepts of established ontological statuses related to scie...
Due to the absence of a comprehensive knowledge system for modeling ocean circulation, there is ambiguity and diversity in the semantic expression of ocean circulation. This makes it difficult to organize and share relevant spatiotemporal data effect...
Geographic Object-Based Image Analysis (GEOBIA) techniques have become increasingly popular in remote sensing. GEOBIA has been claimed to represent a paradigm shift in remote sensing interpretation. Still, GEOBIA—similar to other emerging paradigms—l...
Ontology learning from unstructured text has become a critical task for knowledge-driven applications in Big Data and Artificial Intelligence. While significant advances have been made in the automatic extraction of concepts and relations using neura...
Ambient assisted living (AAL) makes it possible to build assistance for older adults according to the person’s context. Understanding the person’s context sometimes involves transforming one’s home into a smart home. Typically, this...
Immense numbers of textual documents are available in a digital form. Research activities are focused on methods of how to speed up their processing to avoid information overloading or to provide formal structures for the problem solving or decision...
OpenCourseWare (OCW) systems have been established to provide open educational resources that are accessible by anyone, including learners with special accessibility needs and preferences. We need to find a formal and interoperable way to describe th...
Ontologies play a central role in structuring knowledge across domains, supporting tasks such as reasoning, data integration, and semantic search. However, their large size and complexity—particularly in fields such as biomedicine, computationa...
Over the last decade, several projects have been developed to digitise and semanticise cultural heritage data. They have been developed to preserve and maintain this heritage, but also to make it accessible to all types of users and to other sectors...
The British invasion of the Māori region of the Waikato in 1863 was one of the most pivotal moments in the colonisation of Aotearoa New Zealand. It has been the subject of multiple authoritative histories and sits at the centre of historical dis...
Food ontologies are acquiring a central role in human nutrition, providing a standardized terminology for a proper description of intervention and observational trials. In addition to bioactive molecules, several fermented foods, particularly dairy p...
To accurately and formally represent the historical trajectory and present the current situation of land use/land cover (LULC), numerous types of classification standards for LULC have been developed by different nations, institutes, organizations, e...
of 7