Search Results (42)

Rising complexity in cyber-physical systems development exposes challenges in the consistent and reusable specification of graphical domain-specific languages (DSLs). Despite the benefits of model-based systems engineering (MBSE), the absence of a standardized, life-cycle-wide specification process results in semantic inconsistencies, tool dependence, and limited interoperability. While our previous work has addressed individual stages of DSL definition, a comprehensive, standards-based process integrating these stages remains missing. Building on these foundations, this paper introduces a unified language specification process for graphical DSLs grounded in established standards—the Meta-Object Facility (MOF), Unified Modeling Language (UML), Web Ontology Language (OWL), and Resource Description Framework (RDF). The process integrates three core artifacts: a tool-independent ontology capturing domain semantics, a MOF-conforming metamodel unifying abstract syntax, semantics, and concrete syntax, and a UML-profile-based implementation. To support and exemplify this process, a prototypical toolchain is introduced that enables automated transformations between these artifacts, thereby facilitating the consistent propagation of semantics from ontology to implementation. The applicability of the proposed process is demonstrated through both a top-down automotive case and a bottom-up cybersecurity DSL, illustrating its cross-domain generalizability. By explicitly structuring and connecting ontology, metamodel, and implementation, this work contributes a semantically consistent, machine-interpretable, and tool-independent specification process for graphical DSLs in MBSE. Full article

Emergency evacuation in complex and dynamic building environments requires robust and adaptive routing strategies capable of responding to evolving hazards, blocked passages, and changing crowd behaviour. Most existing evacuation planners rely on static geometric representations and lack semantic awareness of the environment, limiting their ability to perform informed re-planning and backtracking when routes become unsafe. This paper proposes a neuro-symbolic evacuation planning framework that integrates Lifelong Planning A* (LPA*) with ontology-driven semantic reasoning and a Bidirectional Long Short-Term Memory (BiLSTM) prediction model. The building’s spatial and semantic knowledge is represented using the Web Ontology Language (OWL) and Resource Description Framework (RDF), enabling automated inference of implicit connections and enforcement of safety policies. The BiLSTM model learns temporal patterns from ontology-consistent evacuation trajectories and provides guidance for remaining-cost estimation and early prediction of routes likely to require backtracking, which is combined with a bounded semantic heuristic to preserve admissibility and optimality guarantees. Simulation results in a multi-floor academic building show that the proposed BiLSTM-guided semantic LPA* framework reduces average evacuation time by up to 9.6%, decreases node expansions by up to 32%, and increases evacuation success rates to 96.2% compared with a purely semantic baseline. The BiLSTM model also achieves strong predictive performance, with a test AUC of 0.92 for backtracking prediction and a next-state accuracy of 87.1%. The proposed framework is designed to support explainable, policy-compliant, and incrementally adaptable evacuation guidance under rapidly evolving emergency conditions. Full article

Healthcare fragmentation—characterized by poor coordination among independently operating organizations—systematically degrades care quality while escalating costs. While healthcare delivery inherently operates as a System of Systems (SoS), existing approaches lack semantic rigor to bridge governance principles with implementable architectures, and digital engineering paradigms remain disconnected from formal representations of regulatory constraints and organizational interdependencies. This paper presents a comprehensive Web Ontology Language (OWL 2 DL)-based ontology integrating structural, behavioral, and regulatory dimensions of healthcare SoS into a unified, computationally tractable framework. Developed following the Methontology engineering methodology and validated using the HermiT reasoner, the ontology formalizes constituent system categories through functional decomposition, establishes an interaction taxonomy distinguishing intra-category coordination from inter-category integration, and introduces the Covenant class as a novel governance mechanism. The covenant embeds legal frameworks (HIPAA, GDPR), interoperability protocols (FHIR, HL7), and technical standards (SNOMED, LOINC, ICD-11, ISO) as first-class ontological entities with explicit relationships to interaction properties. Governance enforcement is operationalized through a layered validation architecture comprising SWRL rules for deductive compliance checking, SHACL shapes for structural constraint validation, and OWL equivalentClass axioms for automated conflict detection. The ontology is further validated through four operational scenarios that demonstrate automated consent validation, standards compliance verification, protocol interoperability checking, and temporal compliance with conflict detection, alongside extended SPARQL queries that reveal constituent system landscapes, standards coverage, interaction networks, and topological properties through node degree calculation, hub identification, and network density analysis. The ontology enables pre-implementation governance assessments, evidence-based policy simulation, digital twin implementations with continuous compliance monitoring, and resilience planning through network analysis, transforming governance from reactive compliance checking to proactive coordination engineering. Full article

Background: Hearing loss affects over 466 million individuals globally and is recognized as a major risk factor for Alzheimer’s disease, yet treatment personalization remains limited due to the complexity and diversity of underlying causes. Current diagnostic and therapeutic approaches lack standardized methods to accurately predict the most appropriate intervention for individual patients. The integration of medical ontologies with machine learning offers a promising solution for enhancing diagnostic accuracy and treatment personalization. Aim: Our study aimed to (i) develop a Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT)-aligned clinical ontology for hearing loss using Semantic Web Rule Language for automated reasoning; (ii) implement a Random Forest classifier trained on ontology-enriched patient data to classify hearing loss types (conductive, sensorineural, mixed, or normal); and (iii) predict optimal personalized treatments based on laterality, severity, audiometric thresholds, and medical history using real-world patient data. Methods: We developed a task ontology using Protégé 5.6.3 with Web Ontology Language (OWL), integrated SNOMED CT terminology alignment, and implemented Semantic Web Rule Language rules executed by the Pellet 2.2.0 reasoner. The framework was trained and evaluated on 3723 adult patients from the 2015–2016 National Health and Nutrition Examination Survey (NHANES) dataset with complete audiometric and clinical data. Random Forest models were developed using an 80–20 train-test split with stratified sampling and five-fold cross-validation. Performance was compared between K-Means clustering-based labeling and ontology-based semantic inference using accuracy, precision, recall, F1-score, and log loss metrics. Results: The ontology successfully generated semantic labels for all 3723 patients, enabling precise classification of hearing loss types, severity levels, and laterality. The Random Forest model with K-Means clustering achieved a test accuracy of 90.2% with a log loss of 0.2766 and a cross-validation mean accuracy of 91.22% (standard deviation 1.2%). Integration of ontology-based semantic enrichment significantly improved performance, achieving a test accuracy of 92.48% with a cross-validation mean accuracy of 92.80% (standard deviation 0.9%). F1-scores improved across all classes, with mixed hearing loss showing a notable increase from 0.86 to 0.92. Feature importance analysis identified audiometric thresholds, ontology-derived severity labels, and medical history as top predictors, enhancing clinical interpretability. Conclusions: This study demonstrates that combining SNOMED CT-aligned ontology with Random Forest classification achieves superior diagnostic accuracy and enables personalized treatment recommendations for hearing loss. The hybrid framework provides clinically interpretable decision support while ensuring semantic interoperability with electronic health records. Multi-institutional validation studies are necessary to assess generalizability across diverse populations before clinical deployment. Full article

This paper presents PLAM (Plovdiv Air Monitoring)—a regional multi-agent platform for air quality monitoring, semantic reasoning, and forecasting. The platform uses a hybrid architecture that combines two types of intelligent agents: classic BDI (Belief-Desire-Intention) agents for complex, goal-oriented behavior and planning, and ReAct agents based on large language models (LLM) for quick response, analysis, and interaction with users. The system integrates data from heterogeneous sources, including local IoT sensor networks and public external services, enriching it with a specialized OWL ontology of environmental norms. Based on this data, the platform performs comparative analysis, detection of anomalies and inconsistencies between measurements, as well as predictions using machine learning models. The results are visualized and presented to users via a web interface and mobile application, including personalized alerts and recommendations. The architecture demonstrates essential properties of an intelligent agent such as autonomy, proactivity, reactivity, and social capabilities. The implementation and testing in the city of Plovdiv demonstrate the system’s ability to provide a more objective and comprehensive assessment of air quality, revealing significant differences between measurements from different institutions. The platform offers a modular and adaptive design, making it applicable to other regions, and outlines future development directions, such as creating a specialized small language model and expanding sensor capabilities. Full article

With the increasing complexity of Autonomous Vehicle networks, enhanced cyber security has become a critical challenge. Traditional security techniques often struggle to adapt dynamically to evolving threats. Overcoming these limitations, this paper presents a novel domain ontology to structure knowledge concerning AV security threats, intrusion characteristics, and corresponding mitigation techniques. Unlike previous work, which mainly focused on static classifications or direct integration within Intrusion Detection Systems, our approach has the distinctive feature of creating a formalized and coherent semantic representation. The ontology was designed using Protégé 4.3 and Web Ontology Language (OWL), modeled from the core cyber security concepts of AVs, and it provides a more nuanced threat classification and significantly superior automated reasoning capability. An important feature of our design is that the ontology formalization was done independently of any real-time IDS integration. A PoC was carried out to prove that the ontology could select the most appropriate method of mitigation, using as input the output of machine-learning-based IDS; SPARQL queries retrieve mitigation instance, type, and effectiveness. This design choice enables us to concentrate strictly on validating the foundational semantic coherence and reasoning power of the knowledge structure, hence providing a robust and reliable analytical framework for further reactive and predictive security applications. The experimental evaluation confirms enhanced effectiveness in knowledge organization and reduces inconsistencies in security threat analysis. Specifically, class classification was performed in 1.049 s, while consistency check required just 0.044 s, hence validating the model’s robustness against classification principles and concept inferences. This work thus paves the way for the development of more intelligent and adaptive security frameworks. In the future, research will be focused on the integration with real-time security monitoring and IDS frameworks and on the study of optimization techniques, such as genetic algorithms, to improve the real-time selection of the countermeasures. Full article

This study develops an ontology-based decision support framework to enhance sustainable polymer recycling within the circular economy. The framework, constructed in Protégé (OWL 2), systematically captures polymer categories with emphasis on polyethylene terephthalate (PET), polylactic acid (PLA), and rigid polyvinyl chloride (PVC) as well as recycling processes, waste classifications, and sustainability indicators such as carbon footprint. Semantic reasoning was implemented using the Semantic Web Rule Language (SWRL) and SPARQL Protocol and RDF Query Language (SPARQL) to infer optimal material flows and sustainable pathways. Validation through a UK industrial case study confirmed both the framework’s applicability and highlighted barriers to large-scale recycling, including performance gaps between virgin and recycled polymers. The comparative analysis showed carbon footprints of 2.8 kg CO₂/kg for virgin PET, 1.5 kg CO₂/kg for PLA, and 2.1 kg CO₂/kg for PVC, underscoring material-specific sustainability challenges. Validation through a UK industrial case study further highlighted additive complexity in PVC as a major barrier to large scale recycling. Bibliometric and thematic analyses conducted in this study revealed persistent gaps in sustainability metrics, lifecycle assessment, and semantic support for circular polymer systems. By integrating these insights, the proposed framework provides a scalable, data-driven tool for evaluating and optimising polymer lifecycles, supporting industry transitions toward resilient, circular, and net-zero material systems. Full article

Construction projects still face persistent barriers to adopting whole life costing (WLC), such as fragmented data, a lack of standardization, and inadequate tools. This study addresses these limitations by proposing a core ontology for WLC, developed using an ontology design science research methodology. The ontology formalizes WLC knowledge based on ISO 15686-5 and incorporates professional insights from surveys and expert focus groups. Implemented in web ontology language (OWL), it models cost categories, temporal aspects, and discounting logic in a machine-interpretable format. The ontology’s interoperability and extensibility are validated through its integration with the building topology ontology (BOT). Results show that the ontology effectively supports cost breakdown, time-based projections, and calculation of discounted values, offering a reusable structure for different project contexts. Practical validation was conducted using SQWRL queries and Python scripts for cost computation. The solution enables structured data integration and can support decision-making throughout the building life cycle. This work lays the foundation for future semantic web applications such as knowledge graphs, bridging the current technological gap and facilitating more informed and collaborative use of WLC in construction. Full article

To address the data management limitations of traditional ontology models in dynamic industrial settings, this study introduces the Fractal Fuzzy Ontology Modeling (FFOM) framework, a novel methodology for optimizing data management, integration, and decision making. FFOM’s value is rooted in two major contributions: firstly, the strategic use of fractal structures to achieve unparalleled scalability and modularity, which significantly reduces the effort required during data hierarchy updates by enabling self-similar, expandable data architectures. Secondly, FFOM features the synergistic use of fuzzy logic to meticulously manage ambiguity and uncertainty, including the representation of imprecise relationships and support for flexible, rule-based reasoning. The practical value of this integrated approach is demonstrated through a mold assembly case study, which validates FFOM’s effectiveness in structuring complex data hierarchies, managing uncertainty, and enabling automated reasoning. Implemented in the Web Ontology Language (OWL) for standardization and interoperability purposes, FFOM ultimately provides a clear pathway toward developing more intelligent, adaptive, and scalable data ecosystems in demanding manufacturing domains, where real-time data analysis is critical. Full article

Communication and cooperation are fundamental for the correct deployment of P5 medicine, and this can be achieved only by correct comprehension of semantics so that it can aspire to medical knowledge sharing. There is a hierarchy in the operations that need to be performed to achieve this goal that brings to the forefront the complete understanding of the real-world business system by domain experts using Domain Ontologies, and only in the last instance acknowledges the specific transformation at the pure information and communication technology level. A specific feature that should be maintained during such types of transformations is versioning that aims to record the evolution of meanings in time as well as the management of their historical evolution. The main tool used to represent ontology in computing environments is the Ontology Web Language (OWL), but it was not created for managing the evolution of meanings in time. Therefore, we tried, in this paper, to find a way to use the specific features of Common Terminology Service—Release 2 (CTS2) to perform consistent and validated transformations of ontologies written in OWL. The specific use case managed in the paper is the Alzheimer’s Disease Ontology (ADO). We were able to consider all of the elements of ADO and map them with CTS2 terminological resources, except for a subset of elements such as the equivalent class derived from restrictions on other classes. Full article

The growing interest in building data management, especially the building information model (BIM), has significantly influenced urban management, materials supply chain analysis, documentation, and storage. However, the integration of BIM into 3D GIS tools is becoming more common, showing progress beyond the traditional problem. To address this, this study proposes data transformation methods involving mapping between three domains: industry foundation classes (IFC), city geometry markup language (CityGML), and web ontology framework (OWL)/resource description framework (RDF). Initially, IFC data are converted to CityGML format using the feature manipulation engine (FME) at CityGML standard’s levels of detail 4 (LOD4) to enhance BIM data interoperability. Subsequently, CityGML is converted to the OWL/RDF diagram format to validate the proposed BIM conversion process. To ensure integration between BIM and GIS, geometric data and information are visualized through Cesium Ion web services and Unreal Engine. Additionally, an RDF graph is applied to analyze the association between the semantic mapping of the CityGML standard, with Neo4j (a graph database management system) utilized for visualization. The study’s results demonstrate that the proposed data transformation methods significantly improve the interoperability and visualization of 3D city models, facilitating better urban management and planning. Full article

IoT has seen remarkable growth, particularly in healthcare, leading to the rise of IoMT. IoMT integrates medical devices for real-time data analysis and transmission but faces challenges in data security and interoperability. This research identifies a significant gap in the existing literature regarding a comprehensive ontology for vulnerabilities in medical IoT devices. This paper proposes a fundamental domain ontology named MIoT (Medical Internet of Things) ontology, focusing on cybersecurity in IoMT (Internet of Medical Things), particularly in remote patient monitoring settings. This research will refer to similar-looking acronyms, IoMT and MIoT ontology. It is important to distinguish between the two. IoMT is a collection of various medical devices and their applications within the research domain. On the other hand, MIoT ontology refers to the proposed ontology that defines various concepts, roles, and individuals. MIoT ontology utilizes the knowledge engineering methodology outlined in Ontology Development 101, along with the structured life cycle, and establishes semantic interoperability among medical devices to secure IoMT assets from vulnerabilities and cyberattacks. By defining key concepts and relationships, it becomes easier to understand and analyze the complex network of information within the IoMT. The MIoT ontology captures essential key terms and security-related entities for future extensions. A conceptual model is derived from the MIoT ontology and validated through a case study. Furthermore, this paper outlines a roadmap for future research, highlighting potential impacts on security automation in healthcare applications. Full article

The advent of the digital era has put forward an urgent demand for the digitization of units of measurement, and the construction of unit ontology is an important method to realize the digitization of units of measurement. However, the existing unit ontology is at the preliminary research stage, especially the bilingual unit of measurement suitable for the construction of Digital China. Based on the Web Ontology Language (OWL), a bilingual unit of measurement ontology, vim, is designed and constructed using the Seven Steps to Ontology Development approach. vim provides a standardized, interoperable, and unified architecture to realize the bilingual digital representation of units in the International Vocabulary of Metrology—Basic and general concepts (VIM) and from the Chinese metrological technical specification JJF 1001-2011 General Terms in Metrology and Their Definitions. The ontology was verified for machine readability, knowledge reasoning capability, and semantic retrieval and applied. The experimental results show that the vim ontology can achieve machine readability with correct syntax, logical consistency, and validity, and can facilitate data communication and sharing. Furthermore, a comparison between vim, OM, and QUDT was conducted. OM and QUDT serve as representative instances in the field of ontology for units. The construction of this ontology lays the foundation for realizing the digitization and standardization of China’s unit of measurement, as well as the machine-readability, interoperability, and sharing of domestic and foreign metrology test data and metrology certificates. Full article

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 effectively. This paper addresses the issue of ocean circulation by introducing ontological theory and methodology based on a comprehensive analysis of domain knowledge. Through a comprehensive analysis of the conceptual and relational characteristics of different elements, we define classes, properties, spatiotemporal relationships, and inference conditions with which to formally express concepts and relationships in ocean circulation, and finally complete the construction of ocean circulation ontology. The formal expression of the Equatorial Counter Current is presented as an example with which to validate the effectiveness of ontological construction. Additionally, an ontology-based knowledge base of ocean circulation is proposed. The construction framework is described, and several examples of knowledge base queries are also illustrated. The results demonstrate that this ontology can effectively represent the relevant knowledge within ocean circulation and provide a meaningful reference for investigating knowledge sharing and semantic integration within this field. Full article

Ontologies provide a powerful method for representing, reusing, and sharing domain knowledge. They are extensively used in a wide range of disciplines, including artificial intelligence, knowledge engineering, biomedical informatics, and many more. For several reasons, developing domain ontologies is a challenging task. One of these reasons is that it is a complicated and time-consuming process. Multiple ontology development methodologies have already been proposed. However, there is room for improvement in terms of covering more activities during development (such as enrichment) and enhancing others (such as conceptualization). In this research, an enhanced ontology development methodology (ON-ODM) is proposed. Ontology-driven conceptual modeling (ODCM) and natural language processing (NLP) serve as the foundation of the proposed methodology. ODCM is defined as the utilization of ontological ideas from various areas to build engineering artifacts that improve conceptual modeling. NLP refers to the scientific discipline that employs computer techniques to analyze human language. The proposed ON-ODM is applied to build a tourism ontology that will be beneficial for a variety of applications, including e-tourism. The produced ontology is evaluated based on competency questions (CQs) and quality metrics. It is verified that the ontology answers SPARQL queries covering all CQ groups specified by domain experts. Quality metrics are used to compare the produced ontology with four existing tourism ontologies. For instance, according to the metrics related to conciseness, the produced ontology received a first place ranking when compared to the others, whereas it received a second place ranking regarding understandability. These results show that utilizing ODCM and NLP could facilitate and improve the development process, respectively. Full article