Incremental reasoning on monadic second-order logics with logic programming
Yükleniyor...
Dosyalar
Tarih
2016-02
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Elsevier Science Inc
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
Data streams occur widely in various real world applications. The research on streaming data mainly focuses on the data management, query evaluation and optimization on data, but the work on incremental reasoning procedures for streaming knowledge bases is very limited. Typically reasoning services on large knowledge bases are very expensive, and need to be applied continuously when the data is received as a stream. Hence new techniques for optimizing this continuous process is needed for developing efficient reasoners on streaming data. In this paper, we describe a solution to an incremental reasoning problem on an expressive logic, namely monadic second-order logic, and point out further research directions in this area.
Açıklama
Anahtar Kelimeler
Stream, Reasoning, Incremental, Logic, Model checking, Automata
Kaynak
Journal of Logical and Algebraic Methods in Programming
WoS Q Değeri
Q1
Scopus Q Değeri
Q1
Cilt
85
Sayı
2
Künye
Ünel, G. (2016). Incremental reasoning on monadic second-order logics with logic programming. Journal of Logical and Algebraic Methods in Programming, 85(2), 316-331. doi:10.1016/j.jlamp.2015.11.002
