Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Answering SPARQL queries over databases under OWL 2 QL entailment regime
We present an extension of the ontology-based data access platform Ontop that supports
answering SPARQL queries under the OWL 2 QL direct semantics entailment regime for …
answering SPARQL queries under the OWL 2 QL direct semantics entailment regime for …
Query rewriting and optimization for ontological databases
Ontological queries are evaluated against a knowledge base consisting of an extensional
database and an ontology (ie, a set of logical assertions and constraints that derive new …
database and an ontology (ie, a set of logical assertions and constraints that derive new …
[HTML][HTML] The price of query rewriting in ontology-based data access
We give a solution to the succinctness problem for the size of first-order rewritings of
conjunctive queries in ontology-based data access with ontology languages such as OWL 2 …
conjunctive queries in ontology-based data access with ontology languages such as OWL 2 …
An introduction to ontology-based query answering with existential rules
The need for an ontological layer on top of data, associated with advanced reasoning
mechanisms able to exploit ontological knowledge, has been acknowledged in the …
mechanisms able to exploit ontological knowledge, has been acknowledged in the …
Sound, complete and minimal UCQ-rewriting for existential rules
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 …
framework of existential rules, also known as Datalog±. A well-known approach involves …
Ontology-based data federation
Z Gu, D Lanti, A Mosca, G ** analysis in ontology-based data access
In this paper we study map** analysis in ontology-based data access (OBDA), providing
an initial set of foundational results for this problem. We start by defining general, language …
an initial set of foundational results for this problem. We start by defining general, language …
[PDF][PDF] On Bounded Positive Existential Rules.
We consider the existential rule framework, which generalizes Horn description logics. We
study and compare several boundedness notions in this framework. Our main result states …
study and compare several boundedness notions in this framework. Our main result states …