English
Related papers

Related papers: Towards Universal Languages for Tractable Ontology…

200 papers

Africa is home to over one-third of the world's languages, yet remains underrepresented in AI research. We introduce Afri-MCQA, the first Multilingual Cultural Question-Answering benchmark covering 7.5k Q&A pairs across 15 African languages…

The rapid proliferation of Large Language Models (LLMs) has significantly contributed to the development of equitable AI systems capable of factual question-answering (QA). However, no known study tests the LLMs' robustness when presented…

Computation and Language · Computer Science 2026-03-05 Shubhra Ghosh , Abhilekh Borah , Aditya Kumar Guru , Kripabandhu Ghosh

Words are fundamental linguistic units that connect thoughts and things through meaning. However, words do not appear independently in a text sequence. The existence of syntactic rules induces correlations among neighboring words. Using an…

Computation and Language · Computer Science 2023-03-15 David Sanchez , Luciano Zunino , Juan De Gregorio , Raul Toral , Claudio Mirasso

Time series data are foundational in finance, healthcare, and energy domains. However, most existing methods and datasets remain focused on a narrow spectrum of tasks, such as forecasting or anomaly detection. To bridge this gap, we…

Computation and Language · Computer Science 2025-07-01 Yaxuan Kong , Yiyuan Yang , Yoontae Hwang , Wenjie Du , Stefan Zohren , Zhangyang Wang , Ming Jin , Qingsong Wen

The popularity of data science as a discipline and its importance in the emerging economy and industrial progress dictate that machine learning be democratized for the masses. This also means that the current practice of workforce training…

Machine Learning · Computer Science 2024-05-28 Hasan M Jamil

We study tree languages that can be defined in \Delta_2 . These are tree languages definable by a first-order formula whose quantifier prefix is forall exists, and simultaneously by a first-order formula whose quantifier prefix is . For the…

Formal Languages and Automata Theory · Computer Science 2019-03-14 Mikolaj Bojanczyk , Luc Segoufin

We study first-order model checking, by which we refer to the problem of deciding whether or not a given first-order sentence is satisfied by a given finite structure. In particular, we aim to understand on which sets of sentences this…

Logic in Computer Science · Computer Science 2014-07-15 Hubie Chen

Medical Visual Question Answering (VQA) is an important challenge, as it would lead to faster and more accurate diagnoses and treatment decisions. Most existing methods approach it as a multi-class classification problem, which restricts…

Computer Vision and Pattern Recognition · Computer Science 2023-07-25 Tom van Sonsbeek , Mohammad Mahdi Derakhshani , Ivona Najdenkoska , Cees G. M. Snoek , Marcel Worring

Ontohub is a repository engine for managing distributed heterogeneous ontologies. The distributed nature enables communities to share and exchange their contributions easily. The heterogeneous nature makes it possible to integrate…

Artificial Intelligence · Computer Science 2016-12-16 Mihai Codescu , Eugen Kuksa , Oliver Kutz , Till Mossakowski , Fabian Neuhaus

Ontology engineering (OE) in large projects poses a number of challenges arising from the heterogeneous backgrounds of the various stakeholders, domain experts, and their complex interactions with ontology designers. This multi-party…

One of the most promising applications of mathematical knowledge management is search: Even if we restrict attention to the tiny fragment of mathematics that has been formalized, the amount exceeds the comprehension of an individual human.…

Logic in Computer Science · Computer Science 2012-04-23 Florian Rabe

The rapid evolution of Natural Language Processing (NLP) has favoured major languages such as English, leaving a significant gap for many others due to limited resources. This is especially evident in the context of data annotation, a task…

Ontology development methodologies emphasise knowledge gathering from domain experts and documentary resources, and knowledge representation using an ontology language such as OWL or FOL. However, working ontologists are often surprised by…

Artificial Intelligence · Computer Science 2023-01-11 Fabian Neuhaus , Janna Hastings

We present Cross-lingual Open-Retrieval Answer Generation (CORA), the first unified many-to-many question answering (QA) model that can answer questions across many languages, even for ones without language-specific annotated data or…

Computation and Language · Computer Science 2021-10-29 Akari Asai , Xinyan Yu , Jungo Kasai , Hannaneh Hajishirzi

The Multilingual Semantic Web has been in focus for over a decade. Multilingualism in Linked Data and RDF has shown substantial adoption, but this is unclear for ontologies since the last review 15 years ago. One of the design goals for OWL…

Artificial Intelligence · Computer Science 2022-10-07 Frances Gillis-Webber , C. Maria Keet

It is well known that the "store language" of every pushdown automaton -- the set of store configurations (state and stack contents) that can appear as an intermediate step in accepting computations -- is a regular language. Here many…

Formal Languages and Automata Theory · Computer Science 2019-03-08 Oscar H. Ibarra , Ian McQuillan

The availability of Large Language Models (LLMs) presents a unique opportunity to reinvigorate research on Knowledge Engineering (KE) automation. This trend is already evident in recent efforts developing LLM-based methods and tools for the…

Computation and Language · Computer Science 2025-12-10 Anna Sofia Lippolis , Minh Davide Ragagni , Paolo Ciancarini , Andrea Giovanni Nuzzolese , Valentina Presutti

Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology…

Logic in Computer Science · Computer Science 2013-05-01 Alessandro Artale , Roman Kontchakov , Frank Wolter , Michael Zakharyaschev

The task of answering natural language questions over RDF data has received wide interest in recent years, in particular in the context of the series of QALD benchmarks. The task consists of mapping a natural language question to an…

Artificial Intelligence · Computer Science 2018-02-27 Sherzod Hakimov , Soufian Jebbara , Philipp Cimiano