Next Article in Journal
Contributions to the Development of Local e-Government 2.0
Next Article in Special Issue
Semantic Legal Policies for Data Exchange and Protection across Super-Peer Domains in the Cloud
Previous Article in Journal / Special Issue
When the Social Meets the Semantic: Social Semantic Web or Web 2.5
Article Menu

Export Article

Open AccessArticle
Future Internet 2012, 4(4), 865-881;

Plausible Description Logic Programs for Stream Reasoning

Department of Computer Science, Technical University of Cluj-Napoca, Memorandumului 28, Cluj-Napoca 400391, Romania
Author to whom correspondence should be addressed.
Received: 9 August 2012 / Revised: 9 September 2012 / Accepted: 25 September 2012 / Published: 17 October 2012
(This article belongs to the Special Issue Semantic Interoperability and Knowledge Building)
Full-Text   |   PDF [295 KB, uploaded 17 October 2012]   |  


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. View Full-Text
Keywords: stream reasoning; description logic; plausible logic; lazy evaluation; sensors; Haskell stream reasoning; description logic; plausible logic; lazy evaluation; sensors; Haskell

Figure 1

This is an open access article distributed under the Creative Commons Attribution License (CC BY 3.0).

Share & Cite This Article

MDPI and ACS Style

Groza, A.; Letia, I.A. Plausible Description Logic Programs for Stream Reasoning. Future Internet 2012, 4, 865-881.

Show more citation formats Show less citations formats

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Future Internet EISSN 1999-5903 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top