English
Related papers

Related papers: Semantic Integration in the IFF

200 papers

The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of this paper is to propose semantic and syntactic definitions of…

Logic in Computer Science · Computer Science 2022-09-15 Heba Aamer , Bart Bogaerts , Dimitri Surinx , Eugenia Ternovska , Jan Van den Bussche

The Artificial Intelligence Ontology (AIO) is a systematization of artificial intelligence (AI) concepts, methodologies, and their interrelations. Developed via manual curation, with the additional assistance of large language models…

Artificial Intelligence (AI)-driven defect inspection is pivotal in industrial manufacturing. Yet, many methods, tailored to specific pipelines, grapple with diverse product portfolios and evolving processes. Addressing this, we present the…

Computer Vision and Pattern Recognition · Computer Science 2024-09-24 Jiaqi Tang , Hao Lu , Xiaogang Xu , Ruizheng Wu , Sixing Hu , Tong Zhang , Tsz Wa Cheng , Ming Ge , Ying-Cong Chen , Fugee Tsung

The usefulness of semantic technologies in the context of security has been demonstrated many times, e.g., for processing certification evidence, log files, and creating security policies. Integrating semantic technologies, like ontologies,…

Software Engineering · Computer Science 2025-02-12 Christian Banse , Angelika Schneider , Immanuel Kunz

The given work describes methodological principles of design instrumental complex of ontological purpose. Instrumental complex intends for the implementation of the integrated information technologies automated build of domain ontologies.…

Artificial Intelligence · Computer Science 2018-03-28 A. V. Palagin , N. G. Petrenko , V. Yu. Velychko , K. S. Malakhov , Yu. L. Tikhonov

Image fusion methods and metrics for their evaluation have conventionally used pixel-based or low-level features. However, for many applications, the aim of image fusion is to effectively combine the semantic content of the input images.…

Computer Vision and Pattern Recognition · Computer Science 2021-10-14 P. R. Hill , D. R. Bull

We explore using the Suggested Upper Merged Ontology (SUMO) to develop a semantic simulation. We provide two proof-of-concept demonstrations modeling transitions in a simulated gasoline engine using a general-purpose programming language.…

Artificial Intelligence · Computer Science 2021-01-13 Robert B. Allen

AI systems are consistently evolving in terms of both capability and autonomy with an holistic social impact. In this context of proliferation and fast technological evolution, the scientific community is actively engaged to assure…

Computers and Society · Computer Science 2026-04-14 Salvatore Flavio Pileggi

The Internet of Things (IoT) has revolutionized various applications including agriculture, but it still faces challenges in data collection and understanding. This paper proposes a real-time framework with three additional semantic layers…

Artificial Intelligence · Computer Science 2025-10-08 Mohamed El-Dosuky

By introducing a common representational system for metadata that describe the employed simulation workflows, diverse sources of data and platforms in computational molecular engineering, such as workflow management systems, can become…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-20 M. T. Horsch , C. Niethammer , G. Boccardo , P. Carbone , S. Chiacchiera , M. Chiricotto , J. D. Elliott , V. Lobaskin , P. Neumann , P. Schiffels , M. A. Seaton , I. T. Todorov , J. Vrabec , W. L. Cavalcanti

Finding image correspondences remains a challenging problem in the presence of intra-class variations and large changes in scene layout.~Semantic flow methods are designed to handle images depicting different instances of the same object or…

Computer Vision and Pattern Recognition · Computer Science 2016-07-11 Bumsub Ham , Minsu Cho , Cordelia Schmid , Jean Ponce

The methodological foundations of the construction of information technology, formalized models and tools for the implementation of the research-related design of smart systems based on the use of the concepts of transdisciplinarity and…

Computers and Society · Computer Science 2022-01-04 Oleksandr Palagin , Mykola Petrenko , Kyrylo Malakhov

The theory of distributed conceptual structures, as outlined in this paper, is concerned with the distribution and conception of knowledge. It rests upon two related theories, Information Flow and Formal Concept Analysis, which it seeks to…

Logic in Computer Science · Computer Science 2018-10-12 Robert E. Kent

The notion of software languages subsumes programming languages, modeling languages, and yet many other types of languages used in software engineering. The emerging ontology `Foundations of Software Languages' (FSL) organizes the…

Software Engineering · Computer Science 2026-05-19 Ralf Lämmel

This chapter discusses the institutional approach for organizing and maintaining ontologies. The theory of institutions was named and initially developed by Joseph Goguen and Rod Burstall. This theory, a metatheory based on category theory,…

Logic in Computer Science · Computer Science 2018-10-19 Robert E. Kent

The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in…

Logic in Computer Science · Computer Science 2012-04-24 Christoph Lange , Oliver Kutz , Till Mossakowski , Michael Grüninger

Pre-trained diffusion models have demonstrated remarkable proficiency in synthesizing images across a wide range of scenarios with customizable prompts, indicating their effective capacity to capture universal features. Motivated by this,…

Computer Vision and Pattern Recognition · Computer Science 2024-11-22 Yuxiang Ji , Boyong He , Chenyuan Qu , Zhuoyue Tan , Chuan Qin , Liaoni Wu

An ontology is a formal representation of domain knowledge, which can be interpreted by machines. In recent years, ontologies have become a major tool for domain knowledge representation and a core component of many knowledge management…

Artificial Intelligence · Computer Science 2019-06-27 Anat Goldstein , Lior Fink , Gilad Ravid

Semantic segmentation and semantic image synthesis are two representative tasks in visual perception and generation. While existing methods consider them as two distinct tasks, we propose a unified framework (SemFlow) and model them as a…

Computer Vision and Pattern Recognition · Computer Science 2024-11-26 Chaoyang Wang , Xiangtai Li , Lu Qi , Henghui Ding , Yunhai Tong , Ming-Hsuan Yang

Classifying entities in domain ontologies under upper ontology classes is a recommended task in ontology engineering to facilitate semantic interoperability and modelling consistency. Integrating upper ontologies this way is difficult and,…

Digital Libraries · Computer Science 2018-10-12 Robert Stevens , Phillip Lord , James Malone , Nicolas Matentzoglu