Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub503
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. A goal-oriented NP unification algorithm for EL that uses nondeterministic rules to transform a given unification problem into solved form has recently been presented. In this paper, we extend this goal-oriented algorithm in two directions: on the one hand, we add general concept inclusion axioms (GCIs), and on the other hand, we add role hierarchies (H) and transitive roles (R+). For the algorithm 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-AI12,
  address = {Sydney, Australia},
  author = {Franz {Baader} and Stefan {Borgwardt} and Barbara {Morawska}},
  booktitle = {Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12)},
  editor = {Michael {Thielscher} and Dongmo {Zhang}},
  pages = {493--504},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {A Goal-Oriented Algorithm for Unification in {$\mathcal{ELH}_{R^+}$} w.r.t. Cycle-Restricted Ontologies},
  volume = {7691},
  year = {2012},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12)  +
Download BaBM-AI12.pdf  +
Editor Michael Thielscher and Dongmo Zhang  +
ErsterAutorNachname Baader  +
ErsterAutorVorname Franz  +
Forschungsgruppe Automatentheorie +
Pages 493-504  +
Publication text Franz Baader, Stefan Borgwardt, Barbara Mo
Franz Baader, Stefan Borgwardt, Barbara Morawska<br/> '''[[LATPub503|<b>A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies</b>]]''' <br/>__NOTOC__In Michael Thielscher and Dongmo Zhang, eds., <i>Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12)</i>, volume 7691 of Lecture Notes in Artificial Intelligence, 493-504, 2012. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub503|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaBM-AI12.pdf|Download]]
/span> [[Media:BaBM-AI12.pdf|Download]]  +
Publication text en Franz Baader, Stefan Borgwardt, Barbara Mo
Franz Baader, Stefan Borgwardt, Barbara Morawska<br/> '''[[LATPub503/en|<b>A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies</b>]]''' <br/>__NOTOC__In Michael Thielscher and Dongmo Zhang, eds., <i>Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12)</i>, volume 7691 of Lecture Notes in Artificial Intelligence, 493-504, 2012. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub503|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaBM-AI12.pdf|Download]]
/span> [[Media:BaBM-AI12.pdf|Download]]  +
Publisher Springer  +
Referiert 1  +
Series Lecture Notes in Artificial Intelligence  +
Title A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  +
To appear 0  +
Type inproceedings  +
Volume 7691  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub503 + , LATPub503 + , LATPub503 + , LATPub503 + , LATPub503 + , LATPub503 + , LATPub503 +
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 
LATPub503/en + Weiterleitungsseite
 

 

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