Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Ontology evolution: a process-centric survey
Ontology evolution aims at maintaining an ontology up to date with respect to changes in the
domain that it models or novel requirements of information systems that it enables. The …
domain that it models or novel requirements of information systems that it enables. The …
On the complexity of consistent query answering in the presence of simple ontologies
M Bienvenu - Proceedings of the AAAI Conference on Artificial …, 2012 - ojs.aaai.org
Consistent query answering is a standard approach for producing meaningful query
answers when data is inconsistent. Recent work on consistent query answering in the …
answers when data is inconsistent. Recent work on consistent query answering in the …
Query rewriting for inconsistent DL-Lite ontologies
In this paper we study the problem of obtaining meaningful answers to queries posed over
inconsistent DL− Lite ontologies. We consider different variants of inconsistency-tolerant …
inconsistent DL− Lite ontologies. We consider different variants of inconsistency-tolerant …
[HTML][HTML] Revision in networks of ontologies
J Euzenat - Artificial intelligence, 2015 - Elsevier
Networks of ontologies are made of a collection of logic theories, called ontologies, related
by alignments. They arise naturally in distributed contexts in which theories are developed …
by alignments. They arise naturally in distributed contexts in which theories are developed …
Capturing model-based ontology evolution at the instance level: The case of DL-Lite
Evolution of Knowledge Bases (KBs) expressed in Description Logics (DLs) has gained a lot
of attention lately. Recent studies on the topic have mostly focused on so-called model …
of attention lately. Recent studies on the topic have mostly focused on so-called model …
Graph-based approaches to debugging and revision of terminologies in DL-Lite
X Fu, G Qi, Y Zhang, Z Zhou - Knowledge-Based Systems, 2016 - Elsevier
In this paper, we deal with the problem of debugging and revision of incoherent
terminologies. Ontology debugging aims to provide the explanation of the causes of …
terminologies. Ontology debugging aims to provide the explanation of the causes of …
[PDF][PDF] Ontology Evolution Under Semantic Constraints.
The dynamic nature of ontology development has motivated the formal study of ontology
evolution problems. This paper presents a logical framework that enables fine-grained …
evolution problems. This paper presents a logical framework that enables fine-grained …
Evaluation of techniques for inconsistency handling in OWL 2 QL ontologies
In this paper we present the Quonto Inconsistent Data handler (QuID). QuID is a reasoner for
OWL 2 QL that is based on the system Quonto and is able to deal with inconsistent …
OWL 2 QL that is based on the system Quonto and is able to deal with inconsistent …
Main issues in belief revision, belief merging and information fusion
This chapter focuses on the dynamics of information represented in logical or numerical
formats, from pioneering works to recent developments. The logical approach to belief …
formats, from pioneering works to recent developments. The logical approach to belief …
On expansion and contraction of DL-Lite knowledge bases
Abstract Knowledge bases (KBs) are not static entities: new information constantly appears
and some of the previous knowledge becomes obsolete. In order to reflect this evolution of …
and some of the previous knowledge becomes obsolete. In order to reflect this evolution of …