English
Related papers

Related papers: Semantic Integration in the IFF

200 papers

Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies…

Artificial Intelligence · Computer Science 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

Flow Matching has emerged as a powerful framework for learning continuous transformations between distributions, enabling high-fidelity generative modeling. This work introduces Symmetrical Flow Matching (SymmFlow), a new formulation that…

Computer Vision and Pattern Recognition · Computer Science 2026-03-24 Francisco Caetano , Christiaan Viviers , Peter H. N. De With , Fons van der Sommen

Semantic parsing, i.e., the automatic derivation of meaning representation such as an instantiated predicate-argument structure for a sentence, plays a critical role in deep processing of natural language. Unlike all other top systems of…

Computation and Language · Computer Science 2014-01-25 Hai Zhao , Xiaotian Zhang , Chunyu Kit

We have proposed that ontologies and programming languages should be more closely aligned. Specifically, we have argued that the Basic Formal Ontology (BFO2) has many features that are consistent with object-oriented analysis, design, and…

Software Engineering · Computer Science 2018-05-29 Robert B. Allen , Teryn K. Jones

Ontologies are considered as the backbone of the Semantic Web. With the rising success of the Semantic Web, the number of participating communities from different countries is constantly increasing. The growing number of ontologies…

Computation and Language · Computer Science 2013-09-27 Haytham Al-Feel , Ralph Schafermeier , Adrian Paschke

We present DINGO (Data INtegration for Grants Ontology), an ontology that provides a machine readable extensible framework to model data for semantically-enabled applications relative to projects, funding, actors, and, notably, funding…

Digital Libraries · Computer Science 2020-06-25 Diego Chialva , Alexis-Michel Mugabushaka

Understanding large, structured documents like scholarly articles, requests for proposals or business reports is a complex and difficult task. It involves discovering a document's overall purpose and subject(s), understanding the function…

Computation and Language · Computer Science 2018-07-27 Muhammad Mahbubur Rahman , Tim Finin

Ontologies represent the conceptual knowledge of a domain. At the core of an ontology is the taxonomy of concepts and subconcepts that represent specific entities, which can be complex to build. In many cases, information is available in…

Artificial Intelligence · Computer Science 2026-05-26 Mathieu d'Aquin

This paper describes the first-order logical environment FOLE. Institutions in general, and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems. As such, they offer a…

Logic in Computer Science · Computer Science 2013-05-23 Robert E. Kent

Modern semantic segmentation frameworks usually combine low-level and high-level features from pre-trained backbone convolutional models to boost performance. In this paper, we first point out that a simple fusion of low-level and…

Computer Vision and Pattern Recognition · Computer Science 2018-04-12 Zhenli Zhang , Xiangyu Zhang , Chao Peng , Dazhi Cheng , Jian Sun

Reasoning on large and complex real-world models is a computationally difficult task, yet one that is required for effective use of many AI applications. A plethora of inference algorithms have been developed that work well on specific…

Artificial Intelligence · Computer Science 2016-06-13 Avi Pfeffer , Brian Ruttenberg , William Kretschmer

Ontologies play a critical role in Semantic Web technologies by providing a structured and standardized way to represent knowledge and enabling machines to understand the meaning of data. Several taxonomies and ontologies have been…

Digital Libraries · Computer Science 2023-05-09 Mahender Kumar , Ruby Rani , Mirko Botarelli , Gregory Epiophaniou , Carsten Maple

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 2017-03-22 Bumsub Ham , Minsu Cho , Cordelia Schmid , Jean Ponce

This paper, the first step to connect relational databases with systems consequence (Kent: "System Consequence" 2009), is concerned with the semantics of relational databases. It aims to to study system consequence in the logical/semantic…

Databases · Computer Science 2012-09-17 Robert E. Kent

The European Materials and Modelling Ontology (EMMO) is a top-level ontology designed by the European Materials Modelling Council to facilitate semantic interoperability between platforms, models, and tools in computational molecular…

Computational Engineering, Finance, and Science · Computer Science 2020-01-14 Martin Thomas Horsch , Silvia Chiacchiera , Youness Bami , Georg J. Schmitz , Gabriele Mogni , Gerhard Goldbeck , Emanuele Ghedini

Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing…

Logic in Computer Science · Computer Science 2013-07-30 Luca Aceto , Eugen-Ioan Goriac , Anna Ingolfsdottir

Building new business information systems from reusable components is today an approach widely adopted and used. Using this approach in analysis and design phases presents a great interest and requires the use of a particular class of…

Software Engineering · Computer Science 2011-10-21 Hicham Elasri , Abderrahim Sekkaki , Larbi Kzaz

Ecological research increasingly relies on integrating heterogeneous datasets and knowledge to explain and predict complex phenomena. Yet, differences in data types, terminology, and documentation often hinder interoperability, reuse, and…

This paper continues the discussion of the representation of ontologies in the first-order logical environment FOLE. According to Gruber, an ontology defines the primitives with which to model the knowledge resources for a community of…

Logic in Computer Science · Computer Science 2023-04-25 Robert E. Kent

The SINTAGMA information integration system is an infrastructure for accessing several different information sources together. Besides providing a uniform interface to the information sources (databases, web services, web sites, RDF…

Programming Languages · Computer Science 2007-12-20 András Gyorgy Békés , Péter Szeredi