Inproceedings3112: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
David Carral (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
David Carral (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 25: | Zeile 25: | ||
paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found. | paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found. | ||
|ISBN=978-3-642-33202-9 | |ISBN=978-3-642-33202-9 | ||
|Download=Recent Advances in Integrating OWL and Rules.pdf | |||
|DOI Name=https://doi.org/10.1007/978-3-642-33203-6_20 | |DOI Name=https://doi.org/10.1007/978-3-642-33203-6_20 | ||
|Forschungsgruppe=Wissensbasierte Systeme | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} | ||
Aktuelle Version vom 2. August 2017, 13:27 Uhr
Recent Advances in Integrating OWL and Rules
Matthias KnorrMatthias Knorr, David CarralDavid Carral, Pascal HitzlerPascal Hitzler, Adila KrisnadhiAdila Krisnadhi, Frederick MaierFrederick Maier, Cong WangCong Wang
Matthias Knorr, David Carral, Pascal Hitzler, Adila Krisnadhi, Frederick Maier, Cong Wang
Recent Advances in Integrating OWL and Rules
In Markus Krötzsch and Umberto Straccia, eds., Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria. Proceedings, volume 7497 of Lecture Notes in Computer Science, 225--228, September 2012. Springer
Recent Advances in Integrating OWL and Rules
In Markus Krötzsch and Umberto Straccia, eds., Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria. Proceedings, volume 7497 of Lecture Notes in Computer Science, 225--228, September 2012. Springer
- KurzfassungAbstract
As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied.We report on recent advances and ongoing work by the authors in integrating OWL and rules. We take an OWL-centric perspective, which means that we take OWL 2 DL as a starting point and pursue the question of how features of rule-based formalisms can be added without jeopardizing decidability. We also report on incorporating the closed world assumption and on reasoning algorithms. This
paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found. - Bemerkung: Note: Lecture Notes in Computer Science
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KCHKMW2012,
author = {Matthias Knorr and David Carral and Pascal Hitzler and Adila
Krisnadhi and Frederick Maier and Cong Wang},
title = {Recent Advances in Integrating {OWL} and Rules},
editor = {Markus Kr{\"{o}}tzsch and Umberto Straccia},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference,
{RR} 2012, Vienna, Austria. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
publisher = {Springer},
year = {2012},
month = {September},
pages = {225--228},
doi = {https://doi.org/10.1007/978-3-642-33203-6_20}
}
