Search Results (18)

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 study traces the ontology development process through the SABIOx methodology’s requirements, setup, capture, design, and implementation phases. In this process, we demonstrate the core ontology’s usability and reusability. Usability refers to the ontology’s adequacy for specific use as a reference point for SoS knowledge exploration for development and operational purposes, and reusability refers to the ontology’s adequacy for several uses, such as facilitating the understanding of different domain-specific systems of systems. This demonstration is done in three steps: formalization of the core ontology, exploration of the usefulness of this formalization, and development of a domain ontology from the core ontology. These result in: the incorporation of systematic ontology development processes; the application of ontology tools for machine readability; coherence and consistency checking of the ontology artifact; querying support for the ontology knowledge base; and testing of the core knowledge with a domain-specific system of systems. An alignment of these aspects provides different points of view of how a system of systems can be formulated, how the concepts collectively describe the development of an SoS emergent behavior, and how the ontology knowledge base can be explored to support decision frameworks guiding a system of systems. Full article

This essay explores the metaphysical and philosophical implications of Artificial Intelligence (AI) and Machine Learning (ML) through the intersecting insights of René Guénon (ʿAbd al-Wāḥid Yaḥiā), Martin Heidegger, and Ibn al-ʿArabī. It argues that modern AI systems, particularly in their statistical and data-centric forms, are not merely instrumental tools but expressions of a deeper metaphysical worldview-one rooted in quantification, abstraction, and utility. Guénon’s critique of the “reign of quantity” and Heidegger’s notion of Enframing (Gestell) converge in diagnosing the loss of qualitative and sacred dimensions in modern life. While Heidegger’s phenomenology provides a powerful immanent critique of technological reductionism from within the Western philosophical tradition, Guénon’s metaphysical traditionalism articulates a diagnosis of modernity that resonates with Islamic metaphysics, especially as articulated by Ibn al-ʿArabī. The essay includes Heidegger in the argument as a representative of a critique of modern technology issuing from the Western tradition itself, and by emphasizing his shared concerns with Guénon, whose metaphysics resonates with Ibn al-ʿArabī’s metaphysics. Through a comparative metaphysical framework, this paper proposes an Islamic response to AI that avoids both technophilia and technophobia, insisting instead on a spiritually grounded ethic of technology that preserves human’s dignity and mission. Methodologically, the essay restores a prior order often inverted in contemporary AI ethics: ontology (what AI is) grounds epistemology (what it can know), and only then can ethical evaluation be coherent. Full article

Human missions into deep space will expose astronauts to the unique and complex radiation environment of galactic cosmic radiation (GCR), a mixed field of high-energy protons and heavy ions predicted to substantially increase long-term cancer risk. To support effective risk stratification, early detection, and mitigation strategies, there is a need to identify biomarkers indicative of GCR-induced cancer risk. Here, we applied a Tandem Mass Tag (TMT)-based quantitative proteomics approach to identify potential biomarkers associated with GCR-induced gastrointestinal (GI) and mammary tumorigenesis using the female Apc^Min/+ mouse, a well-established model of human colorectal and breast cancer. Eight- to ten-week-old Apc^Min/+ mice were exposed to 75 cGy of simulated GCR and serum and tissue samples were collected 100–110 days post-exposure for molecular and histopathological analyses. Tumor incidence was scored by blinded observers, and serum proteomes exhibiting a fold change > 1.2 or <0.83 with p < 0.05 were considered significantly altered. Bioinformatics analyses, including Gene Ontology, Kyoto Encyclopedia of Genes and Genomes pathway enrichment, and unsupervised clustering, were employed to delineate GCR-responsive molecular networks. Validation of differentially expressed proteins (DEPs) was performed using immunoblotting, ELISA, and enzyme activity assays. GCR exposure resulted in a significant increase in both GI and mammary tumor burden relative to controls. Proteomic profiling revealed 194 upregulated and 461 downregulated proteins, distinguishing GCR-exposed from control serum proteomes. Functional enrichment analyses highlighted alterations in metabolic processes, PI3K-AKT, HIF-1, and PPAR signaling pathways, alongside the suppression of antioxidant defense mechanisms. Notably, mice exposed to GCR exhibited elevated serum levels of TGF-β1 and MMP9, accompanied by reduced levels and enzymatic activities of key antioxidant defenses. Cross-referencing 36 GCR-induced serum SASP factors with the Human Protein Atlas revealed 11 SASP proteins associated with human breast and colorectal cancers. Together, these findings show that GCR exposure triggers a pro-tumorigenic serum proteomic signature that may serve as a biomarker for assessing cancer risk in astronauts during deep-space missions. Full article

This article—addressed to students, parents, teachers, and administrators alike—argues that the close study of creation is not optional to any authentic form of education, most especially the Catholic Liberal Arts tradition. Such a study, however, must take our incarnational reality, and thus our sensory experience, as normative and primary. Modern secularism has stunted this fundamental mission of education by enforcing a mechanistic and materialistic ontology that has severed the bond between education and the love of wisdom. Drawing on Plato, Aristotle, and Aquinas, as well as twentieth century Catholic authors, the need to recognize the authority of creation in education, and the nature of that authority, is examined. Five lessons of a close study of nature are offered as features of the path from the knowledge and love of creatures to the knowledge and love of God. Ultimately, an authentic education cultivates goodness and love via wonder, contemplation, and self-gift in the teacher and the student, participating in the redemption of the world wrought by Christ through witness to His truth, goodness, and beauty in all things. Full article

Social Work, which is a profession and an academic discipline, has two major contradictions that pertain to its co-dependency with the capitalist hegemony and its inconsistent ontology, epistemology, and methodology. Addressing these contradictions is essential for Social Work to achieve its current mission and core mandate of promoting social change, social development, social cohesion, and the empowerment and liberation of people. In this theoretical paper, we argue that Social Work can address its contradictions by adopting Critical Realism as a philosophical foundation and learning lessons from its Hull-House tradition and current endeavors of the Social Solidarity Economy. Doing so helps Social Work realize its full potential and contribute more to sustainability transformation, as it has a crucial role to play in addressing the multiple crises of our time. Full article

As cyber systems increasingly converge with physical infrastructure and social processes, they give rise to Complex Cyber–Physical–Social Systems (C-CPSS), whose emergent behaviors pose unique risks to security and mission assurance. Traditional cyber–physical system models often fail to address the unpredictability arising from human and organizational dynamics, leaving critical gaps in how cyber risks are assessed and managed across interconnected domains. The challenge lies in building resilient systems that not only resist disruption, but also absorb, recover, and adapt—especially in the face of complex, nonlinear, and often unintentionally emergent threats. This paper introduces the concept of ‘responsible resilience’, defined as the capacity of systems to adapt to cyber risks using trustworthy, transparent agent-based models that operate within socio-technical contexts. We identify a fundamental research gap in the treatment of social complexity and emergence in existing the cyber–physical system literature. To address this, we propose the E3R modeling paradigm—a novel framework for conceptualizing Emergent, Risk-Relevant Resilience in C-CPSS. This paradigm synthesizes human-in-the-loop diagrams, agent-based Artificial Intelligence simulations, and ontology-driven representations to model the interdependencies and feedback loops driving unpredictable cyber risk propagation more effectively. Compared to conventional cyber–physical system models, E3R accounts for adaptive risks across social, cyber, and physical layers, enabling a more accurate and ethically grounded foundation for cyber defence and mission assurance. Our analysis of the literature review reveals the underrepresentation of socio-emergent risk modeling in the literature, and our results indicate that existing models—especially those in industrial and healthcare applications of cyber–physical systems—lack the generalizability and robustness necessary for complex, cross-domain environments. The E3R framework thus marks a significant step forward in understanding and mitigating emergent threats in future digital ecosystems. Full article

The possibilities for using modular space robot systems are constantly growing. To provide individual solutions for the requirements of different missions, modular reconfigurable building blocks can be used. This paper presents the MODKOM toolbox, including both hardware and software, with the intention to provide reusable components for use in space applications. It is populated with newly developed hardware and software components and their inter-connections. A semantic graph database was used to build the fundamentals of the toolbox, and it enables ontology-based mission planning and reasoning. Some hardware components of the toolbox have already been successfully used for the construction of two different robot systems. Full article

Ontology engineering (OE) plays a critical role in modeling and managing structured knowledge across various domains. This study examines the performance of fine-tuned large language models (LLMs), specifically GPT-4 and Mistral 7B, in efficiently automating OE tasks. Foundational OE textbooks are used as the basis for dataset creation and for feeding the LLMs. The methodology involved segmenting texts into manageable chapters, generating question–answer pairs, and translating visual elements into description logic to curate fine-tuned datasets in JSONL format. This research aims to enhance the models’ abilities to generate domain-specific ontologies, with hypotheses asserting that fine-tuned LLMs would outperform base models, and that domain-specific datasets would significantly improve their performance. Comparative experiments revealed that GPT-4 demonstrated superior accuracy and adherence to ontology syntax, albeit with higher computational costs. Conversely, Mistral 7B excelled in speed and cost efficiency but struggled with domain-specific tasks, often generating outputs that lacked syntactical precision and relevance. The presented results highlight the necessity of integrating domain-specific datasets to improve contextual understanding and practical utility in specialized applications, such as Search and Rescue (SAR) missions in wildfire incidents. Both models, despite their limitations, exhibited potential in understanding OE principles. However, their performance underscored the importance of aligning training data with domain-specific knowledge to emulate human expertise effectively. This study, based on and extending our previous work on the topic, concludes that fine-tuned LLMs with targeted datasets enhance their utility in OE, offering insights into improving future models for domain-specific applications. The findings advocate further exploration of hybrid solutions to balance accuracy and efficiency. Full article

The concept of a mission is important to system design and development, especially in system of systems (SoS) engineering. However, the diverse usage of the term ’mission’ across disciplines often results in ambiguity regarding its role in practical applications in mission-centric engineering tasks. Clearly defined and precisely represented missions improve communication among stakeholders and help bridge interdisciplinary gaps. This study aims to investigate and analyze the state of the art for mission conceptualizations and representations and proposes a unified mission ontology (UMO) that improves semantic interoperability across various domains. To achieve this goal, we conducted a systematic literature review (SLR) to examine how missions are conceptualized and represented, analyzed the findings to obtain insight about cross-domain concepts related to missions, and developed a UMO that can be adapted to domain specific applications. The UMO facilitates semantic interoperability across domains through a high-level abstraction of shared concepts. To validate the comprehensiveness and adaptability of the UMO, we conducted coverage analysis using semantic similarity estimates to assess the equivalence of ontological concepts. This evaluation quantified the extent to which concepts from various domain-specific ontologies, including the mission engineering guideline, align with those in the UMO. Full article

As the complexity of mission planning increases, relying on the subjective experience of planners is no longer sufficient to meet the needs of modern mission planning. Knowledge mapping, as a structured knowledge management technique, provides an effective solution for systematically integrating knowledge in the task-planning domain. The mission-planning business model is able to systematically capture and portray domain knowledge in mission planning through a formal representation of mission planning processes, rules, and constraints. Thus, it becomes an important source of knowledge for mission-planning knowledge mapping. This paper proposes a business-model-driven knowledge graph construction method for mission planning. First, under the support of conceptual business knowledge, the multidimensional task-planning ontology network expression method is utilized to construct the task-planning ontology network, and then the data-based business knowledge is structured to transform it into business data mapping to complete the acquisition of business knowledge. Then, the task-planning ontology network is constructed using the multidimensional task-planning ontology network representation method under the support of conceptual knowledge. Subsequently, a domain knowledge categorization algorithm based on Ullman subgraph matching is used to realize the matching mapping between the ontology network and business data mapping to complete the categorization of task-planning domain knowledge. Finally, the generated task-planning domain knowledge graph is stored in the Neo4j graph database. In order to ensure the completeness of the knowledge graph, an adaptive adjustment method based on its actual effectiveness is conceived, which is able to detect and adjust the completeness of the knowledge graph. The effectiveness of the proposed methodology is validated by constructing a space-station mission-planning knowledge graph driven by a space-station mission-planning business model. Full article

Individual model verification is a common practice that increases the quality of design on the left side of the Vee model, often before costly builds and prototypes are implemented. However, verification that spans multiple models at higher levels of abstraction (e.g., subsystem, system, mission) is a complicated endeavor due to the federated nature of the data. This paper presents a tool-agnostic approach to higher-level verification tasks that incorporates tools from Semantic Web Technologies (SWTs) and graph theory more generally to enable a three-pronged verification approach to connected data. The methods presented herein use existing SWTs to characterize a verification approach using ontology-aligned data from both an open-world and closed-world perspective. General graph-based algorithms are then introduced to further explore structural aspects of portions of the graph. This verification approach enables a robust model-based verification on the left side of the Vee model to reduce risk and increase the visibility of the design and analysis work being performed by multidisciplinary teams. Full article

Data recordings of the movement of vehicles can be enriched with heterogeneous and multimodal data beyond latitude, longitude, and timestamp and enhanced with complementary segmentations, constituting a semantic trajectory. Semantic Web (SW) technologies have been extensively used for the semantic integration of heterogeneous and multimodal movement-related data, and for the effective modeling of semantic trajectories, in several domains. In this paper, we present an integrated solution for the engineering of cultural heritage semantic trajectories generated from unmanned aerial vehicles (UAVs) and represented as knowledge graphs (KGs). Particularly, this work is motivated by, and evaluated based on, the application domain of UAV missions for documenting regions/points of cultural heritage interest. In this context, this research work extends our previous work on UAV semantic trajectories, contributing (a) an updated methodology for the engineering of semantic trajectories as KGs (STaKG), (b) an implemented toolset for the management of KG-based semantic trajectories, (c) a refined ontology for the representation of knowledge related to UAV semantic trajectories and to cultural heritage documentation, and (d) the application and evaluation of the proposed methodology, the developed toolset, and the ontology within the domain of UAV-based cultural heritage documentation. The evaluation of the integrated UAV solution was achieved by exploiting real datasets collected during three UAV missions to document sites of cultural interest in Lesvos, Greece, i.e., the UNESCO-protected petrified forest of Lesvos Petrified Forest/Geopark, the village of Vrissa, and University Hill. Full article

Harmonized language is critical for helping researchers to find data, collecting scientific data to facilitate comparison, and performing pooled and meta-analyses. Using standard terms to link data to knowledge systems facilitates knowledge-driven analysis, allows for the use of biomedical knowledge bases for scientific interpretation and hypothesis generation, and increasingly supports artificial intelligence (AI) and machine learning. Due to the breadth of environmental health sciences (EHS) research and the continuous evolution in scientific methods, the gaps in standard terminologies, vocabularies, ontologies, and related tools hamper the capabilities to address large-scale, complex EHS research questions that require the integration of disparate data and knowledge sources. The results of prior workshops to advance a harmonized environmental health language demonstrate that future efforts should be sustained and grounded in scientific need. We describe a community initiative whose mission was to advance integrative environmental health sciences research via the development and adoption of a harmonized language. The products, outcomes, and recommendations developed and endorsed by this community are expected to enhance data collection and management efforts for NIEHS and the EHS community, making data more findable and interoperable. This initiative will provide a community of practice space to exchange information and expertise, be a coordination hub for identifying and prioritizing activities, and a collaboration platform for the development and adoption of semantic solutions. We encourage anyone interested in advancing this mission to engage in this community. Full article

Autonomous systems are expected to maintain a dependable operation without human intervention. They are intended to fulfill the mission for which they were deployed, properly handling the disturbances that may affect them. Underwater robots, such as the UX-1 mine explorer developed in the UNEXMIN project, are paradigmatic examples of this need. Underwater robots are affected by both external and internal disturbances that hamper their capability for autonomous operation. Long-term autonomy requires not only the capability of perceiving and properly acting in open environments but also a sufficient degree of robustness and resilience so as to maintain and recover the operational functionality of the system when disturbed by unexpected events. In this article, we analyze the operational conditions for autonomous underwater robots with a special emphasis on the UX-1 miner explorer. We then describe a knowledge-based self-awareness and metacontrol subsystem that enables the autonomous reconfiguration of the robot subsystems to keep mission-oriented capability. This resilience augmenting solution is based on the deep modeling of the functional architecture of the autonomous robot in combination with ontological reasoning to allow self-diagnosis and reconfiguration during operation. This mechanism can transparently use robot functional redundancy to ensure mission satisfaction, even in the presence of faults. Full article

Without a doubt, an overenthusiastic focus on rupture, as a way of coping with neoliberal trauma, has shaped the conversation about recent religious change in Africa. Yet, rupture remains at the heart of what African charismatics understand themselves to be doing. In this paper, we attempt to nuance this conversation about rupture in religious change in Africa by discussing that various ontologies of spiritual warfare are encountered, made legible, reframed, and redeployed, through direct interactions between Africans and Americans in the context of missionization. We illustrate the patterns of these reciprocal flows through two case studies drawn from our larger research projects. One study illustrates the case of Matthew Durham, a young American missionary who, when accused of sexually assaulting children at an orphanage in Kenya, adopted the spiritual counsel of a Kenyan missionary that the reason he had no memory of the attacks was because of his possession by a demon. Another study discusses the example of a Navajo pastor who applied charismatic techniques of spiritual warfare when under metaphysical threat during a mission trip to Benin, but simultaneously focused on building ontologically protective social networks with Africans. Americans and Africans involved in the flows of global Pentecostalism are equally sympathetic to charismatic renewal. However, the reality of threats presented by malicious spiritual forces are echoed and amplified through concrete missionary networks that belie traditional North–South flows. Full article