English
Related papers

Related papers: Iof-maint -- Modular maintenance ontology

200 papers

The given paper considered a generalized model representation of the software system "Instrumental complex for ontological engineering purpose". Represented complete software system development process. Developed relevant formal models of…

Software Engineering · Computer Science 2022-01-04 A. V. Palagin , N. G. Petrenko , V. Yu. Velychko , K. S. Malakhov

Effective debugging of ontologies is an important prerequisite for their broad application, especially in areas that rely on everyday users to create and maintain knowledge bases, such as the Semantic Web. In such systems ontologies capture…

Artificial Intelligence · Computer Science 2014-04-29 Kostyantyn Shchekotykhin , Gerhard Friedrich , Philipp Fleiss , Patrick Rodler

Software testing is a prime factor in software industry. Besides knowing the importance of testing, only limited time is allocated for teaching it. It will be more efficient if testing is taught simultaneously with programming foundations.…

Artificial Intelligence · Computer Science 2013-02-22 A. Anandaraj , P. Kalaivani , V. Rameshkumar

In this paper we propose facilitating ontology development by constant evaluation of steps in the process of ontology development. Existing methodologies for ontology development are complex and they require technical knowledge that…

Software Engineering · Computer Science 2018-07-12 Dejan Lavbič , Marjan Krisper

Ontologies are useful for automatic machine processing of domain knowledge as they represent it in a structured format. Yet, constructing ontologies requires substantial manual effort. To automate part of this process, large language models…

Machine Learning · Computer Science 2024-11-01 Andy Lo , Albert Q. Jiang , Wenda Li , Mateja Jamnik

Ontology Alignment (OA) is fundamental for achieving semantic interoperability across diverse knowledge systems. We present OntoAligner, a comprehensive, modular, and robust Python toolkit for ontology alignment, designed to address current…

Artificial Intelligence · Computer Science 2025-03-31 Hamed Babaei Giglou , Jennifer D'Souza , Oliver Karras , Sören Auer

OTTR is a language for representing ontology modeling patterns, which enables to build ontologies or knowledge bases by instantiating templates. Thereby, particularities of the ontological representation language are hidden from the domain…

Databases · Computer Science 2023-09-26 Moritz Blum , Basil Ell , Philipp Cimiano

The use of lightweight machine learning (ML) models in internet of things (IoT) networks enables resource constrained IoT devices to perform on-device inference for several critical applications. However, the inference accuracy deteriorates…

Machine Learning · Computer Science 2025-12-16 Henrik C. M. Frederiksen , Junya Shiraishi , Cedomir Stefanovic , Hei Victor Cheng , Shashi Raj Pandey

Ontology-based query answering (OBQA) asks whether a Boolean conjunctive query is satisfied by all models of a logical theory consisting of a relational database paired with an ontology. The introduction of existential rules (i.e., Datalog…

Logic in Computer Science · Computer Science 2017-07-07 Giovanni Amendola , Nicola Leone , Marco Manna

Growth in computational materials science and initiatives such as the Materials Genome Initiative (MGI) and the European Materials Modelling Council (EMMC) has motivated the development and application of ontologies. A key factor has been…

Digital Libraries · Computer Science 2024-03-05 Scott McClellan , Yuan An , Xintong Zhao , Xia Lin , Jane Greenberg

We introduce the needs for explainable AI that arise from Standard No. 239 from the Basel Committee on Banking Standards (BCBS 239), which outlines 11 principles for effective risk data aggregation and risk reporting for financial…

Computers and Society · Computer Science 2021-08-13 Jiahao Chen

This paper presents NFDIcore 2.0, an ontology compliant with the Basic Formal Ontology (BFO) designed to represent the diverse research communities of the National Research Data Infrastructure (NFDI) in Germany. NFDIcore ensures the…

Digital Libraries · Computer Science 2024-10-04 Oleksandra Bruns , Tabea Tietz , Joerg Waitelonis , Etienne Posthumus , Harald Sack

Context: GitHub hosts an impressive number of high-quality OSS projects. However, selecting "the right tool for the job" is a challenging task, because we do not have precise information about those high-quality projects. Objective: In this…

Software Engineering · Computer Science 2020-03-11 Jailton Coelho , Marco Tulio Valente , Luciano Milen , Luciana L. Silva

The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine learning and data…

Artificial Intelligence · Computer Science 2021-04-06 Ana Ozaki

This paper addresses the current lack of a unified formal framework in machine learning theory, as well as the absence of robust theoretical foundations for interpretability and ethical safety assurance. We first construct a formal…

Logic in Computer Science · Computer Science 2025-11-11 Jianfeng Xu

We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a framework for capturing recurring patterns of axioms in…

Artificial Intelligence · Computer Science 2018-09-28 Henrik Forssell , Christian Kindermann , Daniel P. Lupp , Uli Sattler , Evgenij Thorstensen

This paper presents a taxonomy that allows defining the fault tolerance regimes fail-operational, fail-degraded, and fail-safe in the context of automotive systems. Fault tolerance regimes such as these are widely used in recent…

Systems and Control · Electrical Eng. & Systems 2022-07-13 Torben Stolte , Stefan Ackermann , Robert Graubohm , Inga Jatzkowski , Björn Klamann , Hermann Winner , Markus Maurer

The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Existing software infrastructures, such caGrid, support access…

Artificial Intelligence · Computer Science 2010-12-30 Alejandra Gonzalez-Beltran , Ben Tagger , Anthony Finkelstein

The Cloud infrastructure services landscape advances steadily leaving users in the agony of choice. As a result, Cloud service identification and discovery remains a hard problem due to different service descriptions, non standardised…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-12-04 Miranda Zhang , Rajiv Ranjan , Armin Haller , Dimitrios Georgakopoulos , Michael Menzel , Surya Nepal

Data quality assessment and data cleaning are context-dependent activities. Motivated by this observation, we propose the Ontological Multidimensional Data Model (OMD model), which can be used to model and represent contexts as logic-based…

Databases · Computer Science 2017-08-15 Leopoldo Bertossi , Mostafa Milani