Inproceedings1829: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Referiert=True“ durch „|Referiert=1“) |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Computational Logic, Knowledge Systems“ durch „|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme“) |
||
| (7 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname=Markus | |||
|ErsterAutorNachname=Krötzsch | |ErsterAutorNachname=Krötzsch | ||
| | |FurtherAuthors=Sebastian Rudolph; Pascal Hitzler | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
|Referiert=1 | |Referiert=1 | ||
|Title=ELP: Tractable Rules for OWL 2 | |Title=ELP: Tractable Rules for OWL 2 | ||
|To appear=0 | |||
|Year=2008 | |Year=2008 | ||
|Month=Oktober | |Month=Oktober | ||
|Booktitle=Proceedings of the 7th International Semantic Web Conference (ISWC 2008) | |Booktitle=Proceedings of the 7th International Semantic Web Conference (ISWC 2008) | ||
|Pages=649-664 | |Pages=649-664 | ||
|Publisher=Springer | |Publisher=Springer | ||
|Editor=Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan | |||
|Series=LNCS | |Series=LNCS | ||
|Volume=5318 | |Volume=5318 | ||
| Zeile 25: | Zeile 19: | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed DL rules for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role. We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP. While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability. | |Abstract=We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed DL rules for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role. We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP. While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability. | ||
|Download=KroetzschRudolphHitzler ELP TR 2008.pdf | |||
|Link=http://korrekt.org/page/ELP:_Tractable_Rules_for_OWL_2, http://korrekt.org/papers/KroetzschRudolphHitzler_ELP_TR_2008.pdf, http://korrekt.org/talks/2008/iswc2008-ELP-Rules-for-OWL2.pdf | |||
|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme | |||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
|Forschungsgebiet= | |Forschungsgebiet=Beschreibungslogiken | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
|Forschungsgebiet= | |Forschungsgebiet=Wissensrepräsentation und logisches Schließen | ||
}} | }} | ||
Aktuelle Version vom 24. Mai 2016, 18:16 Uhr
ELP: Tractable Rules for OWL 2
Markus KrötzschMarkus Krötzsch, Sebastian RudolphSebastian Rudolph, Pascal HitzlerPascal Hitzler
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, eds., Proceedings of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 649-664, October 2008. Springer
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, eds., Proceedings of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 649-664, October 2008. Springer
- KurzfassungAbstract
We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed DL rules for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role. We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP. While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability. - Weitere Informationen unter:Further Information: Link, Link, Link
- Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KRH2008,
author = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Pascal Hitzler},
title = {ELP: Tractable Rules for {OWL} 2},
editor = {Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci
and Diana Maynard and Timothy Finin and Krishnaprasad
Thirunarayan},
booktitle = {Proceedings of the 7th International Semantic Web Conference
(ISWC 2008)},
series = {LNCS},
volume = {5318},
publisher = {Springer},
year = {2008},
month = {October},
pages = {649-664}
}
