Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Inproceedings1299
Abstract Horn-SHIQ has been identified as a fragmen
Horn-SHIQ has been identified as a fragment of the description logic SHIQ for which inferencing is in PTime with respect to the size of the ABox. This enables reasoning with larger ABoxes in situations where the TBox is static, and represents one approach towards tractable description logic reasoning. In this paper, we show that reasoning in Horn-SHIQ, in spite of its low data-complexity, is ExpTime-hard with respect to the overall size of the knowledge base. While this result is not unexpected, the proof is not a mere modification of existing reductions since it has to account for the restrictions of Hornness. We establish the result for Horn-FLE, showing that Hornness does not simplify TBox reasoning even for very restricted description logics. Moreover, we derive a context-free grammar that defines Horn-SHIQ in a simpler and more intuitive way than existing characterisations.
itive way than existing characterisations.  +
Author Markus Krötzsch + , Sebastian Rudolph + , Pascal Hitzler +
BibTex
@inproceedings{KRH2006,
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Pascal Hitzler},
  title     = {On the complexity of Horn description logics},
  editor    = {Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and
               Evan Wallace},
  booktitle = {Proceedings of the 2nd Workshop on {OWL:} Experiences and
               Directions},
  series    = {CEUR Workshop Proceedings},
  volume    = {216},
  publisher = {CEUR},
  year      = {2006},
  month     = {November}
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 2nd Workshop on OWL: Experiences and Directions  +
Download KroetzschRudolphHitzler OWLED2006.pdf  +
Editor Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace  +
ErsterAutorNachname Krötzsch  +
ErsterAutorVorname Markus  +
Forschungsgebiet Beschreibungslogiken + , Wissensrepräsentation und logisches Schließen +
Forschungsgruppe Wissensbasierte Systeme + , Computational Logic +
Link http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-216/  + , http://korrekt.org/papers/KroetzschRudolphHitzler_OWLED2006.pdf  + , http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-216/, http://korrekt.org/papers/KroetzschRudolphHitzler_OWLED2006.pdf  +
Month November  +
Publication text Markus Krötzsch, Sebastian Rudolph, Pascal
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler<br/> '''[[Inproceedings1299|<b>On the complexity of Horn description logics</b>]]''' <br/>__NOTOC__In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, eds., <i>Proceedings of the 2nd Workshop on OWL: Experiences and Directions</i>, volume 216 of CEUR Workshop Proceedings, November 2006. CEUR<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1299|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:KroetzschRudolphHitzler OWLED2006.pdf|Download]]
schRudolphHitzler OWLED2006.pdf|Download]]  +
Publication text en Markus Krötzsch, Sebastian Rudolph, Pascal
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler<br/> '''[[Inproceedings1299/en|<b>On the complexity of Horn description logics</b>]]''' <br/>__NOTOC__In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, eds., <i>Proceedings of the 2nd Workshop on OWL: Experiences and Directions</i>, volume 216 of CEUR Workshop Proceedings, November 2006. CEUR<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1299|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:KroetzschRudolphHitzler OWLED2006.pdf|Download]]
schRudolphHitzler OWLED2006.pdf|Download]]  +
Publisher CEUR  +
Referiert 1  +
Series CEUR Workshop Proceedings  +
Title On the complexity of Horn description logics  +
To appear 0  +
Type inproceedings  +
Volume 216  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Inproceedings1299 + , Inproceedings1299 + , Inproceedings1299 + , Inproceedings1299 + , Inproceedings1299 + , Inproceedings1299 + , Inproceedings1299 + , Inproceedings1299 +
Kategorien Publikation , Inproceedings
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
24 Mai 2016 16:16:43  +
verstecke Attribute die hierhin verlinken 
Inproceedings1299/en + Weiterleitungsseite
 

 

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