English
Related papers

Related papers: Query Expressibility and Verification in Ontology-…

200 papers

We address the issue of Ontology-Based Data Access, with ontologies represented in the framework of existential rules, also known as Datalog+/-. A well-known approach involves rewriting the query using ontological knowledge. We focus here…

Artificial Intelligence · Computer Science 2013-11-14 Mélanie König , Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint…

Databases · Computer Science 2024-02-14 Cristina Feier , Carsten Lutz , Marcin Przybyłko

There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, in this paper we propose the import-by-query framework, which makes the…

Artificial Intelligence · Computer Science 2014-01-24 Bernardo Cuenca Grau , Boris Motik

Competency Questions (CQs) are a cornerstone of requirement elicitation in ontology engineering. CQs represent requirements as a set of natural language questions that an ontology should satisfy; they are traditionally modelled by ontology…

Artificial Intelligence · Computer Science 2026-04-20 Reham Alharbi , Valentina Tamma , Terry R. Payne , Jacopo de Berardinis

Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to infer new information that is not explicitly given in the…

Logic in Computer Science · Computer Science 2020-03-24 Stefan Borgwardt , Veronika Thost

The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms of message sequences and the type of data being exchanged. Since web…

Artificial Intelligence · Computer Science 2020-07-17 Priyankar Ghosh , Pallab Dasgupta

The expression problem describes a fundamental tradeoff between two types of extensibility: extending a type with new operations, such as by pattern matching on an algebraic data type in functional programming, and extending a type with new…

Programming Languages · Computer Science 2025-11-21 Bohdan Liesnikov , David Binder , Tim Süberkrüb

Efficiency and scalability are obstacles that have not yet received a viable response from the human activity recognition research community. This paper proposes an activity recognition method. The knowledge model is in the form of…

Human-Computer Interaction · Computer Science 2021-09-08 Pouya Foudeh , Naomie Salim

The SemanticWeb emerged as an extension to the traditional Web, towards adding meaning to a distributed Web of structured and linked data. At its core, the concept of ontology provides the means to semantically describe and structure…

Artificial Intelligence · Computer Science 2021-05-03 Konstantinos Sikelis , George E Tsekouras , Konstantinos I Kotis

An ontology makes a special vocabulary which describes the domain of interest and the meaning of the term on that vocabulary. Based on the precision of the specification, the concept of the ontology contains several data and conceptual…

Information Retrieval · Computer Science 2019-10-01 Maryam Alizadeh , Maliheh Heydarpour Shahrezaei , Farajollah Tahernezhad-Javazm

Data integration systems allow users to access data sitting in multiple sources by means of queries over a global schema, related to the sources via mappings. Data sources often contain sensitive information, and thus an analysis is needed…

Logic in Computer Science · Computer Science 2020-12-15 Michael Benedikt , Pierre Bourhis , Louis Jachiet , Michaël Thomazo

Ontological queries are evaluated against an ontology rather than directly on a database. The evaluation and optimization of such queries is an intriguing new problem for database research. In this paper we discuss two important aspects of…

Databases · Computer Science 2011-12-05 Georg Gottlob , Giorgio Orsi , Andreas Pieris

Since the launch of various generative AI tools, scientists have been striving to evaluate their capabilities and contents, in the hope of establishing trust in their generative abilities. Regulations and guidelines are emerging to verify…

Artificial Intelligence · Computer Science 2024-04-09 Ahmed Abdeen Hamed , Byung Suk Lee , Alessandro Crimi , Magdalena M. Misiak

Starting from an unsolved problem of information retrieval this paper presents an ontology-based model for indexing and retrieval. The model combines the methods and experiences of cognitive-to-interpret indexing languages with the…

Information Retrieval · Computer Science 2013-12-17 Winfried Gödert

Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checking can be realized by…

Artificial Intelligence · Computer Science 2015-02-27 Jia Xu , Patrick Shironoshita , Ubbo Visser , Nigel John , Mansur Kabuka

Information retrieval from distributed heterogeneous data sources remains a challenging issue. As the number of data sources increases more intelligent retrieval techniques, focusing on information content and semantics, are required.…

Databases · Computer Science 2007-07-06 K. Munir , M. Odeh , R. McClatchey , S. Khan , I. Habib

Task-oriented semantic parsing models typically have high resource requirements: to support new ontologies (i.e., intents and slots), practitioners crowdsource thousands of samples for supervised fine-tuning. Partly, this is due to the…

Computation and Language · Computer Science 2021-04-16 Shrey Desai , Akshat Shrivastava , Alexander Zotov , Ahmed Aly

Reusing ontologies in practice is still very challenging, especially when multiple ontologies are (jointly) involved. Moreover, despite recent advances, the realization of systematic ontology quality assurance remains a difficult problem.…

Software Engineering · Computer Science 2022-09-20 Piotr Sowinski , Katarzyna Wasielewska-Michniewska , Maria Ganzha , Marcin Paprzycki , Costin Badica

In order to create a corpus exploration method providing topics that are easier to interpret than standard LDA topic models, here we propose combining two techniques called Entity linking and Labeled LDA. Our method identifies in an…

Computation and Language · Computer Science 2016-04-27 Federico Nanni , Pablo Ruiz Fabo

One of the main current challenges in Educational Data Mining and Learning Analytics is the portability or transferability of predictive models obtained for a particular course so that they can be applied to other different courses. To…

Artificial Intelligence · Computer Science 2024-10-11 Javier Lopez Zambrano , Juan A. Lara , Cristobal Romero
‹ Prev 1 3 4 5 6 7 10 Next ›