Exchanging OWL 2 QL Knowledge Bases
Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping. In this paper, we study this fundamental problem for knowledge bases and mappings expressed in OWL 2 QL, the profile of OWL 2 based on the description logic DL-Lite_R. More specifically, we consider the problem of computing universal solutions, identified as one of the most desirable translations to be materialized, and the problem of computing UCQ-representations, which optimally capture in a target TBox the information that can be extracted from a source TBox and a mapping by means of unions of conjunctive queries. For the former we provide a novel automata-theoretic technique, and complexity results that range from NP to EXPTIME, while for the latter we show NLOGSPACE-completeness.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Federated Learning on Non-IID Data Silos: An Experimental Study
Due to the increasing privacy concerns and data regulations, training data have been increasingly fragmented, forming distributed databases of multiple "data silos" (e.g., within different organizations and countries). T…
BIG-bench Machine LearningFederated LearningMutual Understanding between People and Systems via Neurosymbolic AI and Knowledge Graphs
This chapter investigates the concept of mutual understanding between humans and systems, positing that Neuro-symbolic Artificial Intelligence (NeSy AI) methods can significantly enhance this mutual understanding by leve…
Knowledge GraphsLearn Electronic Health Records by Fully Decentralized Federated Learning
Federated learning opens a number of research opportunities due to its high communication efficiency in distributed training problems within a star network. In this paper, we focus on improving the communication efficien…
Federated LearningKG-Hub -- Building and Exchanging Biological Knowledge Graphs
Knowledge graphs (KGs) are a powerful approach for integrating heterogeneous data and making inferences in biology and many other domains, but a coherent solution for constructing, exchanging, and facilitating the downst…
Knowledge GraphsLink PredictionNode ClassificationCortical Speech Databases For Deciphering the Articulatory Code
The paper relates to following {`}AC-hypotheses{'}: The articulatory code (AC) is a neural code exchanging multi-item messages between the short-term memory and cortical areas as the vSMC and STG. In these areas already …