English
Related papers

Related papers: Provenance for the Description Logic ELHr

200 papers

Document-level relation extraction aims to discover relations between entities across a whole document. How to build the dependency of entities from different sentences in a document remains to be a great challenge. Current approaches…

Computation and Language · Computer Science 2021-03-16 Jiaxin Pan , Min Peng , Yiyan Zhang

In this paper we discuss how semantic annotations can be used to introduce mathematical algorithmic information of the underlying imperative code to enable compilers to produce code transformations that will enable better performance. By…

Programming Languages · Computer Science 2016-03-14 Daniel Rubio Bonilla , Colin W. Glass , Jan Kuper

We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable…

Artificial Intelligence · Computer Science 2022-07-01 Anneke Haga , Carsten Lutz , Leif Sabellek , Frank Wolter

The increase in performance in NLP due to the prevalence of distributional models and deep learning has brought with it a reciprocal decrease in interpretability. This has spurred a focus on what neural networks learn about natural language…

Computation and Language · Computer Science 2022-05-17 Mark Anderson , Jose Camacho-Collados

Entity linking (EL), the task of disambiguating mentions in text by linking them to entities in a knowledge graph, is crucial for text understanding, question answering or conversational systems. Entity linking on short text (e.g., single…

Computation and Language · Computer Science 2021-06-21 Hang Jiang , Sairam Gurajada , Qiuhao Lu , Sumit Neelam , Lucian Popa , Prithviraj Sen , Yunyao Li , Alexander Gray

Reasoning and linguistic skills form the cornerstone of human intelligence, facilitating problem-solving and decision-making. Recent advances in Large Language Models (LLMs) have led to impressive linguistic capabilities and emergent…

Computation and Language · Computer Science 2025-12-18 Gaurav Arora , Srujana Merugu , Shreya Jain , Vaibhav Saxena

Web Ontology Language (OWL) reasoners are used to infer new logical relations from ontologies. While inferring new facts, these reasoners can be further optimized, e.g., by properly ordering disjuncts in disjunction expressions of…

Artificial Intelligence · Computer Science 2019-04-23 Razieh Mehri , Volker Haarslev , Hamidreza Chinaei

While the Semantic Web currently can exhibit provenance information by using the W3C PROV standards, there is a "missing link" in connecting PROV to storing and querying for dynamic changes to RDF graphs using SPARQL. Solving this problem…

Databases · Computer Science 2014-08-06 Harry Halpin , James Cheney

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

Current work on automatic coreference resolution has focused on the OntoNotes benchmark dataset, due to both its size and consistency. However many aspects of the OntoNotes annotation scheme are not well understood by NLP practitioners,…

Computation and Language · Computer Science 2021-12-21 Amir Zeldes

This paper proposes new derivations of three well-known sorting algorithms, in their functional formulation. The approach we use is based on three main ingredients: first, the algorithms are derived from a simpler algorithm, i.e. the…

Data Structures and Algorithms · Computer Science 2008-02-27 José Bacelar Almeida , Jorge Sousa Pinto

Sequence alignments are used to capture patterns composed of elements representing multiple conceptual levels through the alignment of sequences that contain overlapping and variable length annotations. The alignments also determine the…

Computation and Language · Computer Science 2019-09-19 Frank Meng , Craig A. Morioka , Danne C. Elbers

We investigate the complexity of learning query inseparable ELH ontologies in a variant of Angluin's exact learning model. Given a fixed data instance A* and a query language Q, we are interested in computing an ontology H that entails the…

Artificial Intelligence · Computer Science 2020-06-19 Ana Ozaki , Cosimo Persia , Andrea Mazzullo

The knowledge that humans hold about a problem often extends far beyond a set of training data and output labels. While the success of deep learning mostly relies on supervised training, important properties cannot be inferred efficiently…

Computer Vision and Pattern Recognition · Computer Science 2019-11-19 Damien Teney , Ehsan Abbasnejad , Anton van den Hengel

Entity Linking (EL) is the task of automatically identifying entity mentions in a piece of text and resolving them to a corresponding entity in a reference knowledge base like Wikipedia. There is a large number of EL tools available for…

Computation and Language · Computer Science 2021-07-30 Renato Stoffalette João , Pavlos Fafalios , Stefan Dietze

This paper presents an approach for the automatic acquisition of linguistic knowledge from unstructured data. The acquired knowledge is represented in the lexical knowledge representation language DATR. A set of transformation rules that…

cmp-lg · Computer Science 2008-02-03 Petra Barg

Dependence logics are a modern family of logics of independence and dependence which mimic notions of database theory. In this paper, we aim to initiate the study of enumeration complexity in the field of dependence logics and thereby get a…

Logic in Computer Science · Computer Science 2018-03-13 Arne Meier , Christian Reinbold

The paper proposes an analysis on some existent ontologies, in order to point out ways to resolve semantic heterogeneity in information systems. Authors are highlighting the tasks in a Knowledge Acquisiton System and identifying aspects…

Artificial Intelligence · Computer Science 2009-05-29 Alexandru Cicortas , Victoria Stana Iordan , Alexandra Emilia Fortis

Statistical information is ubiquitous but drawing valid conclusions from it is prohibitively hard. We explain how knowledge graph embeddings can be used to approximate probabilistic inference efficiently using the example of Statistical EL…

Artificial Intelligence · Computer Science 2024-07-17 Yuqicheng Zhu , Nico Potyka , Bo Xiong , Trung-Kien Tran , Mojtaba Nayyeri , Evgeny Kharlamov , Steffen Staab

Bio-medical ontologies can contain a large number of concepts. Often many of these concepts are very similar to each other, and similar or identical to concepts found in other bio-medical databases. This presents both a challenge and…

Computational Engineering, Finance, and Science · Computer Science 2015-05-18 Jennifer D. Warrender , Phillip Lord
‹ Prev 1 8 9 10 Next ›