Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub499
Abstract Unification in Description Logics (DLs) ha
Unification in Description Logics (DLs) has been proposed as an inference service that can, for example, be used to detect redundancies in ontologies. The inexpressive Description Logic EL is of particular interest in this context since, on the one hand, several large biomedical ontologies are defined using EL. On the other hand, unification in EL has recently been shown to be NP-complete, and thus of significantly lower complexity than unification in other DLs of similarly restricted expressive power. However, the unification algorithms for EL developed so far cannot deal with general concept inclusion axioms (GCIs). This paper makes a considerable step towards addressing this problem, but the GCIs our new unification algorithm can deal with still need to satisfy a certain cycle restriction.
ed to satisfy a certain cycle restriction.  +
Author Franz Baader + , Stefan Borgwardt + , Barbara Morawska +
BibTex
@inproceedings{ BaBM-KR12,
  author = {Franz {Baader} and Stefan {Borgwardt} and Barbara {Morawska}},
  booktitle = {Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR'12})},
  editor = {Gerhard {Brewka} and Thomas {Eiter} and Sheila A. {McIlraith}},
  pages = {568--572},
  publisher = {AAAI Press},
  title = {Extending Unification in {$\mathcal{EL}$} Towards General {TBoxes}},
  year = {2012},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12)  +
Download BaBM-KR12.pdf  +
Editor Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith  +
ErsterAutorNachname Baader  +
ErsterAutorVorname Franz  +
Forschungsgruppe Automatentheorie +
Pages 568-572  +
Publication text Franz Baader, Stefan Borgwardt, Barbara Mo
Franz Baader, Stefan Borgwardt, Barbara Morawska<br/> '''[[LATPub499|<b>Extending Unification in EL Towards General TBoxes</b>]]''' <br/>__NOTOC__In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., <i>Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12)</i>, 568-572, 2012. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub499|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaBM-KR12.pdf|Download]]
/span> [[Media:BaBM-KR12.pdf|Download]]  +
Publication text en Franz Baader, Stefan Borgwardt, Barbara Mo
Franz Baader, Stefan Borgwardt, Barbara Morawska<br/> '''[[LATPub499/en|<b>Extending Unification in EL Towards General TBoxes</b>]]''' <br/>__NOTOC__In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., <i>Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12)</i>, 568-572, 2012. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub499|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaBM-KR12.pdf|Download]]
/span> [[Media:BaBM-KR12.pdf|Download]]  +
Publisher AAAI Press  +
Referiert 1  +
Title Extending Unification in EL Towards General TBoxes  +
To appear 0  +
Type inproceedings  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub499 + , LATPub499 + , LATPub499 + , LATPub499 + , LATPub499 + , LATPub499 + , LATPub499 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:07  +
verstecke Attribute die hierhin verlinken 
LATPub499/en + Weiterleitungsseite
 

 

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