Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub498
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. For the DL EL, which is used to define several large biomedical ontologies, unification is NP-complete. Several algorithms that solve unification in EL have previously been presented. In this paper, we summarize recent extensions of these algorithms that can deal with general concept inclusion axioms (GCIs), role hierarchies(H), and transitive roles (R+). For the algorithms to be complete, however, the ontology consisting of the GCIs and role axioms needs to satisfy a certain cycle restriction.
ds to satisfy a certain cycle restriction.  +
Author Franz Baader + , Stefan Borgwardt + , Barbara Morawska +
BibTex
@inproceedings{ BaBM-UNIF12,
  address = {Manchester, UK},
  author = {Franz {Baader} and Stefan {Borgwardt} and Barbara {Morawska}},
  booktitle = {Proceedings of the 26th International Workshop on Unification (UNIF'12)},
  editor = {Santiago {Escobar} and Konstantin {Korovin} and Vladimir {Rybakov}},
  title = {Recent Advances in Unification for the {$\mathcal{EL}$} Family},
  year = {2012},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 26th International Workshop on Unification (UNIF'12)  +
Download BaBM-UNIF12.pdf  +
Editor Santiago Escobar and Konstantin Korovin and Vladimir Rybakov  +
ErsterAutorNachname Baader  +
ErsterAutorVorname Franz  +
Forschungsgruppe Automatentheorie +
Publication text Franz Baader, Stefan Borgwardt, Barbara Mo
Franz Baader, Stefan Borgwardt, Barbara Morawska<br/> '''[[LATPub498|<b>Recent Advances in Unification for the EL Family</b>]]''' <br/>__NOTOC__In Santiago Escobar and Konstantin Korovin and Vladimir Rybakov, eds., <i>Proceedings of the 26th International Workshop on Unification (UNIF'12)</i>, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub498|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaBM-UNIF12.pdf|Download]]
pan> [[Media:BaBM-UNIF12.pdf|Download]]  +
Publication text en Franz Baader, Stefan Borgwardt, Barbara Mo
Franz Baader, Stefan Borgwardt, Barbara Morawska<br/> '''[[LATPub498/en|<b>Recent Advances in Unification for the EL Family</b>]]''' <br/>__NOTOC__In Santiago Escobar and Konstantin Korovin and Vladimir Rybakov, eds., <i>Proceedings of the 26th International Workshop on Unification (UNIF'12)</i>, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub498|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaBM-UNIF12.pdf|Download]]
pan> [[Media:BaBM-UNIF12.pdf|Download]]  +
Referiert 1  +
Title Recent Advances in Unification for the EL Family  +
To appear 0  +
Type inproceedings  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub498 + , LATPub498 + , LATPub498 + , LATPub498 + , LATPub498 + , LATPub498 + , LATPub498 +
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 
LATPub498/en + Weiterleitungsseite
 

 

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