{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:35:39Z","timestamp":1760243739203,"version":"build-2065373602"},"reference-count":28,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2012,10,17]],"date-time":"2012-10-17T00:00:00Z","timestamp":1350432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Internet"],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3390\/fi4040865","type":"journal-article","created":{"date-parts":[[2012,10,17]],"date-time":"2012-10-17T11:14:50Z","timestamp":1350472490000},"page":"865-881","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Plausible Description Logic Programs for Stream Reasoning"],"prefix":"10.3390","volume":"4","author":[{"given":"Adrian","family":"Groza","sequence":"first","affiliation":[{"name":"Department of Computer Science, Technical University of Cluj-Napoca, Memorandumului 28, Cluj-Napoca 400391, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioan Alfred","family":"Letia","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Technical University of Cluj-Napoca, Memorandumului 28, Cluj-Napoca 400391, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2012,10,17]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"96","DOI":"10.3390\/fi2020096","article-title":"Survey on wireless sensor network technologies for industrial automation: The security and quality of service perspectives","volume":"2","author":"Christin","year":"2010","journal-title":"Future Internet"},{"key":"ref_2","unstructured":"Le-Phuoc, D., Parreira, J.X., Hausenblas, M., and Hauswirth, M. (2010). Unifying Stream Data and Linked Open Data, Technical Report for Digital Enterprise Research Institute (DERI)."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/MIS.2009.125","article-title":"It\u2019s a streaming world! Reasoning upon rapidly changing information","volume":"24","author":"Valle","year":"2009","journal-title":"IEEE Intell. Syst."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"238","DOI":"10.3390\/fi2030238","article-title":"Ontology alignment\u2014A survey with focus on visually supported semi-automatic techniques","volume":"2","author":"Granitzer","year":"2010","journal-title":"Future Internet"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-13486-9_1","article-title":"Incremental reasoning on streams and rich background knowledge","volume":"6088","author":"Barbieri","year":"2010","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1897852.1897860","article-title":"Twitter as medium and message","volume":"54","author":"Savage","year":"2011","journal-title":"Commun. ACM"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1142\/S0218213001000623","article-title":"Efficient defeasible reasoning systems","volume":"10","author":"Maher","year":"2001","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"ref_8","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., and Hitzler, P. (2012, January 22\u201326). Complexity boundaries for horn descriptionl logics. Proceedings of the 22nd national conference on Artificial intelligence, Toronto, Canada."},{"key":"ref_9","unstructured":"Filipe, J., and Fred, A.L.N. (2012). Description Plausible Logic Programs for Stream Reasoning, SciTePress."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-642-17746-0_7","article-title":"Enabling ontology-based access to streaming data sources","volume":"6496","author":"Calbimonte","year":"2010","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1023\/A:1026094327713","article-title":"A plausibility description logic for handling information sources with heterogeneous data representation formats","volume":"39","author":"Palopoli","year":"2003","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_12","unstructured":"Heintz, F., Kvarnstr\u00f6m, J., and Doherty, P. (2009, January 31). Stream reasoning in DyKnow: A knowledge processing middleware system. Presented at 1st International Workshop on Stream Reasoning,, Heraklion, Crete, Greece."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/978-3-540-68234-9_34","article-title":"Streaming SPARQL extending SPARQL to process data streams","volume":"5021","author":"Bolles","year":"2008","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-642-15918-3_5","article-title":"A rule-based language for complex event processing and reasoning","volume":"6333","author":"Anicic","year":"2010","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-3-642-22546-8_11","article-title":"Retractable complex event processing and stream reasoning","volume":"6826","author":"Anicic","year":"2011","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"121","DOI":"10.3233\/SW-2010-0005","article-title":"Five challenges for the Semantic Sensor Web","volume":"1","author":"Corcho","year":"2010","journal-title":"Semant. Web"},{"key":"ref_17","unstructured":"ASPIRE Project (Advanced Sensors and lightweight Programmable middleware for Innovative Rfid Enterprise applications). Available online:http:\/\/www.fp7-aspire.eu\/."},{"key":"ref_18","unstructured":"Sensei Project. Available online:http:\/\/www.ict-sensei.org\/Sensei090422\/."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1016\/j.procs.2011.07.118","article-title":"Finding commonalities in RFID semantic streams","volume":"5","author":"Ruta","year":"2011","journal-title":"Procedia Comput. Sci."},{"key":"ref_20","unstructured":"Rock, A. (2010). Implementation of Decisive Plausible Logic, Technical Report for School of Information and Communication Technology, Griffith University."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1023\/A:1010551204574","article-title":"Propositional plausible logic: Introduction and implementation","volume":"67","author":"Billington","year":"2001","journal-title":"Stud. Log."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","article-title":"Argumentation semantics for defeasible logic","volume":"14","author":"Governatori","year":"2004","journal-title":"J. Log. Comput."},{"key":"ref_23","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P. (2003). The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press."},{"key":"ref_24","first-page":"74","article-title":"A defeasible logic programming approach to the integration of rules and ontologies","volume":"10","author":"Gomez","year":"2010","journal-title":"J. Comput. Sci. Technol."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., and Decker, S. (2003, January 20\u201324). Description logic programs: Combining logic programs with description logic. Proceedings of the 12th international conference on World Wide Web, Budapest, Hungary.","DOI":"10.2139\/ssrn.460986"},{"key":"ref_26","unstructured":"Aberer, K., Gal, A., Hauswirth, M., Sattler, K.U., and Sheth, A.P. (2010). Semantic Challenges in Sensor Networks, Schloss Dagstuhl\u2014Leibniz-Zentrum fuer Informatik."},{"key":"ref_27","unstructured":"Decisive Plausible Logic Tool. Available online:http:\/\/www.ict.griffith.edu.au\/arock\/DPL\/."},{"key":"ref_28","unstructured":"De Hoog, R. (2003). Expert Systems\u2014Past, Present, and Future, Technical Report for Metis, University of Amsterdam."}],"container-title":["Future Internet"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-5903\/4\/4\/865\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:52:53Z","timestamp":1760219573000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-5903\/4\/4\/865"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,17]]},"references-count":28,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,12]]}},"alternative-id":["fi4040865"],"URL":"https:\/\/doi.org\/10.3390\/fi4040865","relation":{},"ISSN":["1999-5903"],"issn-type":[{"type":"electronic","value":"1999-5903"}],"subject":[],"published":{"date-parts":[[2012,10,17]]}}}