dc.contributor.author |
Klarman, S
|
|
dc.contributor.author |
Meyer, T
|
|
dc.date.accessioned |
2014-05-06T12:34:17Z |
|
dc.date.available |
2014-05-06T12:34:17Z |
|
dc.date.issued |
2013-12 |
|
dc.identifier.citation |
Klarman, S and Meyer, T. 2013. Prediction and explanation over DL-Lite data streams. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 19), Stellenbosch, 14-19 December 2013 |
en_US |
dc.identifier.uri |
http://www.cair.za.net/sites/default/files/outputs/KlaMeyLPAR13.pdf
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/7393
|
|
dc.description |
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 19), Stellenbosch, 14-19 December 2013 |
en_US |
dc.description.abstract |
Stream reasoning is an emerging research area focusing on the development of reasoning techniques applicable to streams of rapidly changing, semantically enhanced data. In this paper, we consider data represented in Description Logics from the popular DL-Lite family, and study the logic foundations of prediction and explanation over DL-Lite data streams, i.e., reasoning from finite segments of streaming data to conjectures about the content of the streams in the future or in the past. We propose a novel formalization of the problem based on temporal \past-future" rules, grounded in Temporal Query Language. Such rules can naturally accommodate complex data association patterns, which are typically discovered through data mining processes, with logical and temporal constraints of varying expressiveness. Further, we analyse the computational complexity of reasoning with rules expressed in different fragments of the temporal language. As a result, we draw precise demarcation lines between NP-, DP- and PSpace-complete variants of our setting and, consequently, suggest relevant restrictions rendering prediction and explanation more feasible in practice. |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
Springer Verlag |
en_US |
dc.relation.ispartofseries |
Workflow;12368 |
|
dc.subject |
Stream reasoning |
en_US |
dc.subject |
DL-Lite data streams |
en_US |
dc.subject |
Description Logics |
en_US |
dc.title |
Prediction and explanation over DL-Lite data streams |
en_US |
dc.type |
Conference Presentation |
en_US |
dc.identifier.apacitation |
Klarman, S., & Meyer, T. (2013). Prediction and explanation over DL-Lite data streams. Springer Verlag. http://hdl.handle.net/10204/7393 |
en_ZA |
dc.identifier.chicagocitation |
Klarman, S, and T Meyer. "Prediction and explanation over DL-Lite data streams." (2013): http://hdl.handle.net/10204/7393 |
en_ZA |
dc.identifier.vancouvercitation |
Klarman S, Meyer T, Prediction and explanation over DL-Lite data streams; Springer Verlag; 2013. http://hdl.handle.net/10204/7393 . |
en_ZA |
dc.identifier.ris |
TY - Conference Presentation
AU - Klarman, S
AU - Meyer, T
AB - Stream reasoning is an emerging research area focusing on the development of reasoning techniques applicable to streams of rapidly changing, semantically enhanced data. In this paper, we consider data represented in Description Logics from the popular DL-Lite family, and study the logic foundations of prediction and explanation over DL-Lite data streams, i.e., reasoning from finite segments of streaming data to conjectures about the content of the streams in the future or in the past. We propose a novel formalization of the problem based on temporal \past-future" rules, grounded in Temporal Query Language. Such rules can naturally accommodate complex data association patterns, which are typically discovered through data mining processes, with logical and temporal constraints of varying expressiveness. Further, we analyse the computational complexity of reasoning with rules expressed in different fragments of the temporal language. As a result, we draw precise demarcation lines between NP-, DP- and PSpace-complete variants of our setting and, consequently, suggest relevant restrictions rendering prediction and explanation more feasible in practice.
DA - 2013-12
DB - ResearchSpace
DP - CSIR
KW - Stream reasoning
KW - DL-Lite data streams
KW - Description Logics
LK - https://researchspace.csir.co.za
PY - 2013
T1 - Prediction and explanation over DL-Lite data streams
TI - Prediction and explanation over DL-Lite data streams
UR - http://hdl.handle.net/10204/7393
ER -
|
en_ZA |