Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Inproceedings3199
Abstract Ontology-based access to large data-sets h
Ontology-based access to large data-sets has recently gained a lot of attention. To access data efficiently, one approach is to rewrite the ontology into Datalog, and then use powerful Datalog engines to compute implicit entailments. Existing rewriting techniques support Description Logics (DLs) from ELH to Horn-SHIQ. We go one step further and present one such data-independent rewriting technique for Horn-SRIQ, the extension of Horn-SHIQ that supports non-transitive, complex roles---an expressive feature prominently used in many real-world ontologies. We evaluated our rewriting technique on a large known corpus of ontologies. Our experiments show that the resulting rewritings are of moderate size and that the use our approach is more efficient than state-of-the-art DL reasoners when reasoning with data-intensive ontologies.
reasoning with data-intensive ontologies.  +
Author David Carral + , Larry González + , Patrick Koopmann +
BibTex
@inproceedings{CGK2019,
  author    = {David Carral and Larry Gonz{\'{a}}lez and Patrick Koopmann},
  title     = {From Horn-SRIQ to Datalog: A Data-Independent Transformation that
               Preserves Assertion Entailment},
  booktitle = {Proceedings of the 33rd Conference on Artificial Intelligence
               (AAAI 2019)},
  year      = {2019},
  month     = {January}
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019)  +
Download 2019-aaai-hsriq-to-datalog.pdf  +
ErsterAutorNachname Carral  +
ErsterAutorVorname David  +
Forschungsgruppe Wissensbasierte Systeme + , Automatentheorie +
Month Januar  +
Projekt Cfaed, DIAMOND, HAEC B08 + , Cfaed + , DIAMOND + , HAEC B08 +
Publication text David Carral, Larry González, Patrick Koop
David Carral, Larry González, Patrick Koopmann<br/> '''[[Inproceedings3199|<b>From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment</b>]]''' <br/>__NOTOC__<i>Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019)</i>, to appear<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3199|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:2019-aaai-hsriq-to-datalog.pdf|Download]]
:2019-aaai-hsriq-to-datalog.pdf|Download]]  +
Publication text en David Carral, Larry González, Patrick Koop
David Carral, Larry González, Patrick Koopmann<br/> '''[[Inproceedings3199/en|<b>From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment</b>]]''' <br/>__NOTOC__<i>Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019)</i>, to appear<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3199|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:2019-aaai-hsriq-to-datalog.pdf|Download]]
:2019-aaai-hsriq-to-datalog.pdf|Download]]  +
Referiert 1  +
Slides 2019-aaai-hsriq-to-datalog-submitted-2.pdf  +
Title From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  +
To appear 1  +
Type inproceedings  +
Year 2019  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Inproceedings3199 + , Inproceedings3199 + , Inproceedings3199 + , Inproceedings3199 + , Inproceedings3199 + , Inproceedings3199 + , Inproceedings3199 + , Inproceedings3199 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
14 November 2018 21:54:22  +
verstecke Attribute die hierhin verlinken 
Inproceedings3199/en + Weiterleitungsseite
 

 

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