Publication

Reasoning with large ontologies stored in relational databases: The OntoMinD approach

Publications associées (31)

Ontology-based Knowledge Representation for Traditional Martial Arts

Yumeng Hou, Sarah Irene Brutton Kenderdine

Traditional martial arts are treasures of humanity's knowledge and critical carriers of sociocultural memories throughout history. However, such treasured practices have encountered various challenges in knowledge transmission and now feature many entries ...

2024

Design ontology for cognitive thread supporting traceability management in model-based systems engineering

Dimitrios Kyritsis, Yan Yan, Jinzhi Lu

Industrial information integration engineering (IIIE) is an interdisciplinary field to facilitate the industrial information integration process. In the age of complex and large-scale systems, model-based systems engineering (MBSE) is widely adopted in ind ...

Elsevier2024

A semantic model-based systems engineering approach for assessing the operational performance of metal forming process

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

Metal Forming is a basic and essential industrial process to provide materials for constructing complex products. To design an efficient metal forming process, the functional requirements and operational performance are two important aspects to be consider ...

Pergamon-Elsevier Science Ltd2024

An aircraft assembly process formalism and verification method based on semantic modeling and MBSE

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

The aircraft assembly system is highly complex involving different stakeholders from multiple domains. The design of such a system requires comprehensive consideration of various industrial scenarios aiming to optimize key performance indicators. Tradition ...

Elsevier Sci Ltd2024

Infusing structured knowledge priors in neural models for sample-efficient symbolic reasoning

Mattia Atzeni

The ability to reason, plan and solve highly abstract problems is a hallmark of human intelligence. Recent advancements in artificial intelligence, propelled by deep neural networks, have revolutionized disciplines like computer vision and natural language ...

EPFL2024

Snowfall deposition in mountainous terrain: a statistical downscaling scheme from high-resolution model data on simulated topographies

Michael Lehning

One of the primary causes of non-uniform snowfall deposition on the ground in mountainous regions is the preferential deposition of snow, which results from the interaction of near-surface winds with topography and snow particles. However, producing high-r ...

Frontiers Media Sa2024

Long plasma duration operation analyses with an international multi-machine (tokamaks and stellarators) database

Stefano Coda, Jeffrey Huang

Combined high-fusion performance and long-pulse operation is one of the key integration challenges for fusion energy development in magnetic devices. Addressing these challenges requires an integrated vision of physics and engineering aspects with the purp ...

IOP Publishing Ltd2024

GELEX: Generative AI-Hybrid System for Example-Based Learning

Tanja Christina Käser Jacober, Paola Mejia Domenzain, Aybars Yazici, Jibril Albachir Frej

Traditional example-based learning methods are often limited by static, expert-created content. Hence, they face challenges in scalability, engagement, and effectiveness, as some learners might struggle to relate to the examples or find them relevant. To a ...

Association for Computing Machinery2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Match Normalization: Learning-Based Point Cloud Registration for 6D Object Pose Estimation in the Real World

Mathieu Salzmann, Zheng Dang

In this work, we tackle the task of estimating the 6D pose of an object from point cloud data. While recent learning-based approaches have shown remarkable success on synthetic datasets, we have observed them to fail in the presence of real-world data. We ...

Ieee Computer Soc2024

Insights from an extensive triaxial testing campaign on a shale for comparative site characterization of a deep geological repository

Lyesse Laloui, Alessio Ferrari, Eleonora Crisci

Several boreholes were drilled for site comparison of a deep geological repository (DGR) in Northern Switzerland. The main target of the exploration program was the >100m thick Opalinus Clay, the designated host rock encountered at approximately 450 to 100 ...

Elsevier2024

Building a Knowledge Graph of Chinese Kung Fu Masters From Heterogeneous Bilingual Data

Lin Yuan, Yumeng Hou

Various endeavours into semantic web technologies and ontology engineering have been made within the organisation of cultural data, facilitating public access to digital assets. Although models for conceptualising objects have reached a certain level of ma ...

2023

The Facets of Intangible Heritage in Southern Chinese Martial Arts: Applying a Knowledge-Driven Cultural Contact Detection Approach

Yumeng Hou

Investigating the intangible nature of a cultural domain can take multiple forms, addressing for example the aesthetic, epistemic and social dimensions of its phenomenology. The context of Southern Chinese martial arts is of particular significance as it c ...

2023

An Ontology-based Engineering system to support aircraft manufacturing system design

Jinzhi Lu, Xiaochen Zheng

During the conceptual design phase of an aircraft manufacturing system, different industrial scenarios need to be evaluated against performance indicators in a collaborative engineering process. Domain experts' knowledge and the motivations for decision-ma ...

ELSEVIER SCI LTD2023

Analytical Engines With Context-Rich Processing: Towards Efficient Next-Generation Analytics

Anastasia Ailamaki, Viktor Sanca

As modern data pipelines continue to collect, produce, and store a variety of data formats, extracting and combining value from traditional and context-rich sources such as strings, text, video, audio, and logs becomes a manual process where such formats a ...

2023

AiiDA-defects: an automated and fully reproducible workflow for the complete characterization of defect chemistry in functional materials

Nicola Marzari, Conrad Johnston, Sokseiha Muy

Functional materials that enable many technological applications in our everyday lives owe their unique properties to defects that are carefully engineered and incorporated into these materials during processing. However, optimizing and characterizing thes ...

IOP Publishing Ltd2023

Determining an optimum quantity of interleaved instruction streams of defined coroutines

Anastasia Ailamaki, Georgios Psaropoulos

A method for optimizing memory access for database operations is provided. The method may include performing a first database operation by at least executing a first instruction stream associated with the first database operation. The first database opera ...

2023

Monotonicity Reasoning in the Age of Neural Foundation Models

Zeming Chen, Qiyue Gao

The recent advance of large language models (LLMs) demonstrates that these large-scale foundation models achieve remarkable capabilities across a wide range of language tasks and domains. The success of the statistical learning approach challenges our unde ...

Springer2023

Efficient Concurrent Analytical Query Processing using Data and Workload-conscious Sharing

Panagiotis Sioulas

Analytical workloads are evolving as the number of users surges and applications that submit queries in batches become popular. However, traditional analytical databases that optimize-then-execute each query individually struggle to provide timely response ...

EPFL2023

Co-encoding embodied knowledge in Southern Chinese martial arts: a collaboration between computists, experts, and digital models

Yumeng Hou

This research, within the framework of computational archives, inspects a novel approach to representing intangible knowledge in traditional martial arts. The methodology presents a unity of ontological modeling, semantic annotation, and feature-based mach ...

Zenodo2023