Plausible Description Logic Programs for Stream Reasoning

Adrian Groza and Ioan Alfred Letia
Additional contact information
Adrian Groza: Department of Computer Science, Technical University of Cluj-Napoca, Memorandumului 28, Cluj-Napoca 400391, Romania
Ioan Alfred Letia: Department of Computer Science, Technical University of Cluj-Napoca, Memorandumului 28, Cluj-Napoca 400391, Romania

Future Internet, 2012, vol. 4, issue 4, 1-17

Abstract: Sensor networks are estimated to drive the formation of the future Internet, with stream reasoning responsible for analysing sensor data. Stream reasoning is defined as real time logical reasoning on large, noisy, heterogeneous data streams, aiming to support the decision process of large numbers of concurrent querying agents. In this research we exploited non-monotonic rule-based systems for handling inconsistent or incomplete information and also ontologies to deal with heterogeneity. Data is aggregated from distributed streams in real time and plausible rules fire when new data is available. The advantages of lazy evaluation on data streams were investigated in this study, with the help of a prototype developed in Haskell.

Keywords: stream reasoning; description logic; plausible logic; lazy evaluation; sensors; Haskell (search for similar items in EconPapers)
JEL-codes: O3 (search for similar items in EconPapers)
Date: 2012
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/1999-5903/4/4/865/pdf (application/pdf)
https://www.mdpi.com/1999-5903/4/4/865/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jftint:v:4:y:2012:i:4:p:865-881:d:20712

Access Statistics for this article

Future Internet is currently edited by Ms. Grace You

More articles in Future Internet from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().