Filters








49 Hits in 5.9 sec

Capturing Instance Level Ontology Evolution for DL-Lite [chapter]

Evgeny Kharlamov, Dmitriy Zheleznyakov
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
one can approximate it in DL-Lite.  ...  We also showed how to approximate this evolution in DL-Lite.  ...  Acknowledgements We thank Diego Calvanese, Balder ten Cate, and Werner Nutt for insightful discussions. We thank anonymous reviewers for constructive comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-25073-6_21">doi:10.1007/978-3-642-25073-6_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/372g6ucdrbee5n52faxjqiqkaa">fatcat:372g6ucdrbee5n52faxjqiqkaa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151019051826/http://www.cs.ox.ac.uk/files/5546/KhZh_CapturingInstanceLevelDL-Lite.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/da/9cdaf1eae58c5d62c52d7204777cec729f18215d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-25073-6_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Query Rewriting for Inconsistent DL-Lite Ontologies [chapter]

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we study the problem of obtaining meaningful answers to queries posed over inconsistent DL-Lite ontologies.  ...  Since FOL-rewritability of query answering for UCQs over consistent ontologies under first-order logic semantics is one of the distinguishing features of DL-Lite, in this paper we actually identify some  ...  FP7-257593, and by Regione Lazio under the project "Integrazione semantica di dati e servizi per le aziende in rete".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-23580-1_12">doi:10.1007/978-3-642-23580-1_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mjcusjldqjfa5fanq2b45wgski">fatcat:mjcusjldqjfa5fanq2b45wgski</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150914170349/http://www.dis.uniroma1.it/~lembo/papers/lembo-etal-RR-2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/fb/9cfbfb1400939095f1be59190c4e01547aed5e50.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-23580-1_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On Expansion and Contraction of DL-Lite Knowledge Bases [article]

Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese
<span title="2020-01-25">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We then review well-known model and formula-based approaches for expansion and contraction for propositional theories and show how they can be adapted to the case of DL-Lite.  ...  Thus, we propose a novel formula-based approach that respects our principles and for which evolution is expressible in DL-Lite.  ...  This work was partially funded by the EPSRC projects MaSI 3 , DBOnto, ED 3 , by the UNIBZ projects PARCIS and TaDaQua, and by the "European Region Tyrol-South Tyrol-Trentino" (EGTC) under the first call  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.09365v1">arXiv:2001.09365v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5mfrk3paqfc5dftarmm4jdd6ti">fatcat:5mfrk3paqfc5dftarmm4jdd6ti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321063805/https://arxiv.org/pdf/2001.09365v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.09365v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Updating DL-Lite Ontologies Through First-Order Queries [chapter]

Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we study instance-level update in DL-LiteA, the description logic underlying the owl 2 ql standard. In particular we focus on formula-based approaches to ABox insertion and deletion.  ...  By exploiting this result, we implement an update component for DL-LiteA-based systems and perform some experiments showing that the approach works in practice.  ...  FP7-318338), by the Ministerio de Economía y Competitividad (project TIN2014-52938-C2-2-R), and by the Sapienza project "Immersive Cognitive Environments".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-46523-4_11">doi:10.1007/978-3-319-46523-4_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oksqudwffjhxtln4ecdzudjciq">fatcat:oksqudwffjhxtln4ecdzudjciq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200312183028/https://upcommons.upc.edu/bitstream/handle/2117/104529/ISWC16dors.pdf;jsessionid=49AC632E130253D53E7416AFAA4D931A?sequence=3" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a1/7f/a17f830ab0c71b4470de4cc6b0a2a6e1a109a2b8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-46523-4_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization

Zhe Wang, Kewen Wang, Rodney Topor
<span title="2015-08-17">2015</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3kjjbv4edjbezl2w37ipy5lo5a" style="color: black;">ACM Transactions on Computational Logic</a> </i> &nbsp;
Also, we develop algorithms for these DL-Lite revisions. , 2014. DL-Lite ontology revision based on an alternative semantic characterisation. ACM Trans. Comput.  ...  To demonstrate the usefulness of the new semantic characterization in ontology change, we define two revision operators for DL-Lite KBs using featured models and study their properties.  ...  This work was partially supported by Australian Research Council (ARC) under grants DP110101042 and DP130102302.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2786759">doi:10.1145/2786759</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j5qd7v4fhjcqla4jgw7kbbvx7m">fatcat:j5qd7v4fhjcqla4jgw7kbbvx7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509165640/https://research-repository.griffith.edu.au/bitstream/handle/10072/101420/PUB491.pdf;jsessionid=94F1CEA7568F701B6EA48A7E1BE91183?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c9/a3/c9a34afbed8148aa09f03afc38c13aef2e77ac85.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2786759"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
<span title="2021-04-10">2021</span> <i title="AI Access Foundation"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4ax4efcwajcgvidb6hcg6mwx4a" style="color: black;">The Journal of Artificial Intelligence Research</a> </i> &nbsp;
Instance-level update regards insertions and deletions in the ABox of an ontology. In particular we focus on formula-based approaches to instance-level update.  ...  By exploiting this result, we implement an update component for DL-LiteA-based systems and perform some experiments showing that the approach works in practice.  ...  an approximation in DL-Lite A of it, and then, given that the LUBM ontology contains neither negative inclusion assertions nor functionality, we slightly modified the approximated ontology by adding 20  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.1.12414">doi:10.1613/jair.1.12414</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ak6cihwrf5c4hoop7tcild76bm">fatcat:ak6cihwrf5c4hoop7tcild76bm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428005329/https://www.jair.org/index.php/jair/article/download/12414/26675" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b4/fc/b4fc839e13b75527668ca6661b4e53271ff12cf6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.1.12414"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Capturing model-based ontology evolution at the instance level: The case of DL-Lite

Evgeny Kharlamov, Dmitriy Zheleznyakov, Diego Calvanese
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p6ovb2qpkfenhmb7mcksobrcxq" style="color: black;">Journal of computer and system sciences (Print)</a> </i> &nbsp;
Can one approximate evolution in DL-Lite, and if yes, how? This work provides some understanding of these issues for an important class of MBAs, which cover the cases of both update and revision.  ...  It has been shown that for each of the eight quite natural model-based semantics presented in [7], one can find DL-Lite KBs K and N such that K N cannot be expressed in DL-Lite [7,17], that is, DL-Lite  ...  We studied model-based approaches to ABox evolution (update and revision) over DL-Lite core and its fragment DL-Lite pr , which extends (the first-order fragment of) RDFS.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jcss.2013.01.006">doi:10.1016/j.jcss.2013.01.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nvvafjostneofj67gskfwsh6nm">fatcat:nvvafjostneofj67gskfwsh6nm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809113235/http://www.inf.unibz.it/~calvanese//papers/khar-zhel-calv-JCSS-2013.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6b/3b/6b3b6a8268840fe0f57b19c05af6cd469c4db78d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jcss.2013.01.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

On Instance-level Update and Erasure in Description Logic Ontologies

G. De Giacomo, M. Lenzerini, A. Poggi, R. Rosati
<span title="2008-08-06">2008</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/crzmi3qeiramtlvcrfycib3qg4" style="color: black;">Journal of Logic and Computation</a> </i> &nbsp;
base in a DL L may not be expressible by ABoxes in L.  ...  get polynomial algorithms for approximated instance-level update and erasure for DL-Lite F .  ...  Second, we perform the projection of A p in DL-Lite F , and obtain the DL-Lite F ABox A a ={B(a)}.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/exn051">doi:10.1093/logcom/exn051</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ghpy5p7mrrgd7gsd4rcscsyi3y">fatcat:ghpy5p7mrrgd7gsd4rcscsyi3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308035959/http://pdfs.semanticscholar.org/ec2f/009cde65ec7ff27c59edc16c399b0bcd1e65.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ec/2f/ec2f009cde65ec7ff27c59edc16c399b0bcd1e65.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/exn051"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Inconsistency-Tolerant Semantics for Description Logics [chapter]

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We address the problem of dealing with inconsistencies in Description Logic (DL) knowledge bases.  ...  Our work is inspired by the approaches to consistent query answering in databases, which are based on the idea of living with inconsistencies in the database, but trying to obtain only consistent information  ...  In particular, since an inconsistent logical theory has no model, it logically implies every formula, and, therefore, query answering on an inconsistent knowledge base becomes meaningless.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15918-3_9">doi:10.1007/978-3-642-15918-3_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lmy7rixntjd77lvm4oh5lbw6ba">fatcat:lmy7rixntjd77lvm4oh5lbw6ba</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809112425/http://www.dis.uniroma1.it/~savo/papers/RR-10-LLRRS.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ba/8a/ba8af0452bf8681475365c71fe87675249036511.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15918-3_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Inconsistency-tolerant query answering in ontology-based data access

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/etvhqodrjrc3tpf4c7eo6waru4" style="color: black;">Journal of Web Semantics</a> </i> &nbsp;
Indeed, we show that query answering under the new semantics is first-order rewritable in OBDA, even if the ontology is expressed in one of the most expressive members of the DL-Lite family.  ...  intensional assertions (also called TBox assertions) over Γ expressed in L; • A, called the ABox of K, is a finite set of extensional assertions (also called ABox assertions) over Γ expressed in L.  ...  A DL-Lite core ABox has the same form of a DL-Lite A,id,den ABox, and a DL-Lite core knowledge base K is simply a pair T , A where T and A are a TBox and ABox in DL-Lite core , respectively.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.websem.2015.04.002">doi:10.1016/j.websem.2015.04.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kcrhpvmymzaonmngkey5i43pkq">fatcat:kcrhpvmymzaonmngkey5i43pkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427165504/https://iris.uniroma1.it/retrieve/handle/11573/784115/757867/Lembo_Inconsistency-tolerant_Preprint_2015.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b8/5b/b85b55cfd5e0b9dacd88087fe6d05960b8a3d53d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.websem.2015.04.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences

Gabriele Kern-Isberner, Thomas Lukasiewicz
<span title="">2017</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dlce7tvip5e5rlsv2ty3chnfpu" style="color: black;">Künstliche Intelligenz</a> </i> &nbsp;
Tabia investigate different approaches for handling inconsistent knowledge bases in the description logic DL-Lite when the ABox is prioritized and inconsistent with the TBox.  ...  In "A practical comparison of qualitative inferences with preferred ranking models", Christoph Beierle, Christian Eichhorn, and Steven Kutsch follow this idea of using preferred ranking models as the semantics  ...  Tabia investigate different approaches for handling inconsistent knowledge bases in the description logic DL-Lite when the ABox is prioritized and inconsistent with the TBox.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s13218-016-0479-z">doi:10.1007/s13218-016-0479-z</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rdduceqyzzatljzzbmlo2vhjty">fatcat:rdduceqyzzatljzzbmlo2vhjty</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180728114916/https://link.springer.com/content/pdf/10.1007%2Fs13218-016-0479-z.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/43/95/43957bcfeb2cd5a761582efd0be27e266a639b0d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s13218-016-0479-z"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Error-Tolerance and Error Management in Lightweight Description Logics

Rafael Peñaloza
<span title="2020-07-24">2020</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dlce7tvip5e5rlsv2ty3chnfpu" style="color: black;">Künstliche Intelligenz</a> </i> &nbsp;
At the same time, the knowledge engineer in charge of producing the new version requires support to explore only the potentially problematic axioms, and reduce the number of exploration steps.  ...  The construction and maintenance of ontologies is an error-prone task.  ...  The author wants to thank an anonymous reviewer for spotting several embarrasing mistakes in a previous version of this paper. Their thorough reading and insistence really helped improve it.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s13218-020-00684-5">doi:10.1007/s13218-020-00684-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4a25l3gpajhp7c7tdlansbriie">fatcat:4a25l3gpajhp7c7tdlansbriie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210427230211/https://boa.unimib.it/retrieve/handle/10281/299173/444006/10.1007_s13218-020-00684-5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/29/a1/29a1668e24e0e1b62452f1c0ccceff7473341df8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s13218-020-00684-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Ontologies and Data Management: A Brief Survey

Thomas Schneider, Mantas Šimkus
<span title="2020-08-13">2020</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dlce7tvip5e5rlsv2ty3chnfpu" style="color: black;">Künstliche Intelligenz</a> </i> &nbsp;
In order to align and complete data, systems may rely on taxonomies and background knowledge that are provided in the form of an ontology.  ...  This survey gives an overview of research work on the use of ontologies for accessing incomplete and/or heterogeneous data.  ...  Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s13218-020-00686-3">doi:10.1007/s13218-020-00686-3</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/32999532">pmid:32999532</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7497697/">pmcid:PMC7497697</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zeskjfjrpvcojjh6q3yjzhlyci">fatcat:zeskjfjrpvcojjh6q3yjzhlyci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201108091122/https://link.springer.com/content/pdf/10.1007/s13218-020-00686-3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/3c/5a3c9eb4746bfc98ae6e0da43508982a9376d44a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s13218-020-00686-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7497697" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey [chapter]

Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We survey results on various notions of inseparability in the context of description logic ontologies, discussing their applications, useful model-theoretic characterizations, algorithms for determining  ...  whether two ontologies are inseparable (and, sometimes, for computing the difference between them if they are not), and the computational complexity of this problem.  ...  Boris Konev, Frank Wolter and Michael Zakharyaschev were supported by the UK EPSRC grants EP/M012646, EP/M012670, EP/H043594, and EP/H05099X.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-49493-7_2">doi:10.1007/978-3-319-49493-7_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3vxez46xena4jpyl4yb2c24bvq">fatcat:3vxez46xena4jpyl4yb2c24bvq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200831074622/https://arxiv.org/pdf/1804.07805v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a9/18/a91840ba3c84d7140367b86d7aa13cc1c9b0221b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-49493-7_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Foundations of instance level updates in expressive description logics

Hongkai Liu, Carsten Lutz, Maja Miličić, Frank Wolter
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
It turns out that DLs have to include nominals and the '@' constructor of hybrid logic for updated ABoxes to be expressible, and that this still holds when updated ABoxes are approximated.  ...  We analyze such basic ABox updates in several standard DLs, in particular addressing questions of expressibility and succinctness: can updated ABoxes always be expressed in the DL in which the original  ...  Acknowledgements We would like to thank Franz Baader, Yursi Bong, Conrad Drescher, and Michael Thielscher for ideas and discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2011.08.003">doi:10.1016/j.artint.2011.08.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sy5o53mrjncsvpujo3jbzuhhla">fatcat:sy5o53mrjncsvpujo3jbzuhhla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190327134403/https://core.ac.uk/download/pdf/81111747.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/c3/80c3e6a2a9c9266d9c328ac7ef67bcb3e826baaa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2011.08.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 49 results