Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Article4010/en
Abstract ℰℒ is a popular description logic, used as
ℰℒ is a popular description logic, used as a core formalism in large existing knowledge bases. Uniform interpolants of knowledge bases are of high interest, e.g. in scenarios where a knowledge base is supposed to be partially reused. However, to the best of our knowledge no procedure has yet been proposed that computes uniform ℰℒ interpolants of general ℰℒ terminologies. Up to now, also the bound on the size of uniform ℰℒ interpolants has remained unknown. In this article, we propose an approach to computing a finite uniform interpolant for a general ℰℒ terminology if it exists. To this end, we develop a quadratic representation of ℰℒ TBoxes as regular tree grammars. Further, we show that, if a finite uniform ℰℒ interpolant exists, then there exists one that is at most triple exponential in the size of the original TBox, and that, in the worst case, no smaller interpolants exist, thereby establishing tight worst-case bounds on their size. Beyond showing these bounds, the notions and results established in this paper also provide useful insights for designing efficient ontology reformulation algorithms, for instance, within the context of module extraction.
, within the context of module extraction.  +
Author Nadeschda Nikitina + , Sebastian Rudolph +
BibTex
@article{NR2014,
  author  = {Nadeschda Nikitina and Sebastian Rudolph},
  title   = {(Non-)Succinctness of uniform interpolants of general terminologies
             in the description logic {$\mathcal{EL}$}},
  journal = {Artificial Intelligence},
  volume  = {215},
  year    = {2014},
  month   = {October},
  pages   = {120-140},
  doi     = {10.1016/j.artint.2014.06.005}
}
Bibtype Article  +
DOI Name 10.1016/j.artint.2014.06.005  +
Download NR2014.pdf  +
ErsterAutorNachname Nikitina  +
ErsterAutorVorname Nadeschda  +
Forschungsgebiet Beschreibungslogiken + , Wissensrepräsentation und logisches Schließen + , Semantische Technologien +
Forschungsgruppe Computational Logic +
Journal Artificial Intelligence  +
Link http://www.sciencedirect.com/science/article/pii/S0004370214000824  +
Month Oktober  +
Pages 120-140  +
Publication text Nadeschda Nikitina, Sebastian Rudolph<b
Nadeschda Nikitina, Sebastian Rudolph<br/> '''[[Article4010|(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ]]''' <br/>__NOTOC__Artificial Intelligence, 215:120-140, October 2014<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article4010|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:NR2014.pdf|Download]]
lt;/span> [[Media:NR2014.pdf|Download]]  +
Publication text en Nadeschda Nikitina, Sebastian Rudolph<b
Nadeschda Nikitina, Sebastian Rudolph<br/> '''[[Article4010/en|(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ]]''' <br/>__NOTOC__Artificial Intelligence, 215:120-140, October 2014<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article4010|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:NR2014.pdf|Download]]
lt;/span> [[Media:NR2014.pdf|Download]]  +
Referiert 1  +
Title (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ  +
To appear 0  +
Type article  +
Volume 215  +
Year 2014  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Article4010 + , Article4010 + , Article4010 + , Article4010 + , Article4010 + , Article4010 +
Kategorien Publikation , Article
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
14 November 2014 20:13:22  +
verstecke Attribute die hierhin verlinken 
Article4010/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.