Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub718
Abstract Unification in Description Logics has been
Unification in Description Logics has been proposed as an inference service that can, for example, be used to detect redundancies in ontologies. For the Description Logic EL, which is used to define several large biomedical ontologies, unification is NP-complete. An NP unification algorithm for EL based on a translation into propositional satisfiability (SAT) has recently been presented. In this report, we extend this SAT encoding in two directions: on the one hand, we add general concept inclusion axioms, and on the other hand, we add role hierarchies (H) and transitive roles (R+). For the translation to be complete, however, the ontology needs to satisfy a certain cycle restriction. The SAT translation depends on a new rewriting-based characterization of subsumption w.r.t. ELHR+-ontologies.
on of subsumption w.r.t. ELHR+-ontologies.  +
Archivierungsnummer 12-02  +
Author Franz Baader + , Stefan Borgwardt + , Barbara Morawska +
BibTex
@techreport{ BaBM-LTCS-12-02,
  address = {Dresden, Germany},
  author = {Franz {Baader} and Stefan {Borgwardt} and Barbara {Morawska}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {12-02},
  title = {{SAT} Encoding of Unification in {$\mathcal{ELH}_{R^+}$} w.r.t. Cycle-Restricted Ontologies},
  type = {LTCS-Report},
  year = {2012},
}
Bibtype Techreport  +
Download BaBM-LTCS-12-02.pdf  +
ErsterAutorNachname Baader  +
ErsterAutorVorname Franz  +
Forschungsgruppe Automatentheorie +
Institution Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden  +
Note See http://lat.inf.tu-dresden.de/research/reports.html.  +
Publication text Franz Baader, Stefan Borgwardt, Barbara Mo
Franz Baader, Stefan Borgwardt, Barbara Morawska<br /> '''[[LATPub718|SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden'', volume 12-02, 2012. ''LTCS-Report''<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub718|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaBM-LTCS-12-02.pdf|Download]]
gt; [[Media:BaBM-LTCS-12-02.pdf|Download]]  +
Publication text en Franz Baader, Stefan Borgwardt, Barbara Mo
Franz Baader, Stefan Borgwardt, Barbara Morawska<br /> '''[[LATPub718/en|SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden'', volume 12-02, 2012. ''LTCS-Report''<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub718|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaBM-LTCS-12-02.pdf|Download]]
gt; [[Media:BaBM-LTCS-12-02.pdf|Download]]  +
Reviewed 0  +
Title SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  +
Typ LTCS-Report  +
Type techreport  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub718 + , LATPub718 + , LATPub718 + , LATPub718 + , LATPub718 + , LATPub718 + , LATPub718 +
Kategorien Techreport , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:10  +
verstecke Attribute die hierhin verlinken 
LATPub718/en + Weiterleitungsseite
 

 

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