Abstract
Effective and efficient knowledge dissemination and reasoning in distributed, real-time, and embedded (DRE) systems remains a hard problem due to the need for tight time constraints on evaluation of rules and scalability in dissemination of knowledge events. Limitations in satisfying the tight timing properties stem from the fact that most knowledge reasoning engines continue to be developed in managed languages like Java and Lisp, which incur performance overhead in their interpreters due to wasted precious clock cycles on managed features like garbage collection and indirection. Limitations in scalable dissemination stem from the presence of ontologies and blocking network communications involving connected reasoning agents. This paper addresses the existing problems with timeliness and scalability in knowledge reasoning and dissemination by presenting a C++-based knowledge reasoning solution that operates over a distributed and anonymous publish/subscribe transport mechanism provided by the OMG’s Data Distribution Service (DDS). Experimental results evaluating the performance of the C++-based reasoning solution illustrate microsecond-level evaluation latencies, while the use of the DDS publish/subscribe transport illustrates significant scalability in dissemination of knowledge events while also tolerating joining and leaving of system entities.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Loyall, J.P., Gillen, M., Paulos, A., Bunch, L., Carvalho, M., Edmondson, J., Varshneya, P., Schmidt, D.C., Martignoni III, A.: Dynamic policy-driven quality of service in service-oriented systems. In: Proceedings of the 13th International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, ISORC 2010 (2010)
Loyall, J., Carvalho, M., Schmidt, D., Gillen, M., Martignoni III, A., Bunch, L., Edmondson, J., Corman, D.: Qos enabled dissemination of managed information objects in a publish-subscribe-query information broker. In: SPIE Defense Transformation and Net-Centric Systems (2009)
Kaplunova, A., Möller, R., Wandelt, S., Wessel, M.: Towards Scalable Instance Retrieval Over Ontologies. In: Bi, Y., Williams, M.-A. (eds.) KSEM 2010. LNCS, vol. 6291, pp. 436–448. Springer, Heidelberg (2010)
Lamport, L.: Ti clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558–565 (1978)
Pardo-Castellote, G.: OMG data-distribution service: architectural overview. In: 23rd International Conference on Distributed Computing Systems Workshops, pp. 200–206 (May 2003)
Xiong, M., Parsons, J., Edmondson, J., Nguyen, H., Schmidt, D.: Evaluating technologies for tactical information management in net-centric systems. In: Proceedings of the Defense Transformation and Net-Centric Systems Conference (2007)
Serafini, L., Tamilin, A.: Drago: Distributed reasoning architecture for the semantic web. In: Extended Semantic Web Conference, pp. 361–376 (2005)
Adjiman, P., Chatalic, P., Goasdou, F., Rousset, M.C., Simon, L.: Distributed reasoning in a peer-to-peer setting. In: de Mantaras (ed.), pp. 945–946 (2004)
Abdallah, N., Goasdoué, F.: Non-conservative extension of a peer in a p2p inference system. AI Communications 22, 211–233 (2009)
Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: International Joint Conferences on Artificial Intelligence, pp. 570–575 (2005)
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources (2003)
Amir, E., Mcilraith, S.: Partition-based logical reasoning for first-order and propositional theories. Artificial Intelligence 162, 49–88 (2000)
Uszok, A., Bradshaw, J.M., Johnson, M., Jeffers, R., Tate, A., Dalton, J., Aitken, S.: Kaos policy management for semantic web services. IEEE Intelligent Systems 19, 32–41 (2004)
Tonti, G., Bradshaw, J.M., Jeffers, R., Montanari, R., Suri, N., Uszok, A.: Semantic Web Languages for Policy Representation and Reasoning: A Comparison of KAoS, Rei, and Ponder. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 419–437. Springer, Heidelberg (2003)
Horrocks, I., Patel-Schneider, P.F., Harmelen, F.V.: From shiq and rdf to owl: The making of a web ontology language. Journal of Web Semantics 1 (2003)
Wang, J., Jin, B., Li, J.: An Ontology-Based Publish/Subscribe System. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol. 3231, pp. 232–253. Springer, Heidelberg (2004)
Petrovic, M., Burcea, I., Jacobsen, H.A.: S-topss: Semantic toronto publish/subscribe system. In: Proc. of Conf. on Very Large Data Bases, pp. 1101–1104 (2003)
Lien, Y.C.N., Wu, W.J.: A lexical database filter for efficient semantic publish/subscribe message oriented middleware. In: Proceedings of the 2010 Second International Conference on Computer Engineering and Applications, ICCEA 2010, vol. 02, pp. 154–157. IEEE Computer Society, Washington, DC, USA (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Edmondson, J., Gokhale, A. (2011). Design of a Scalable Reasoning Engine for Distributed, Real-Time and Embedded Systems. In: Xiong, H., Lee, W.B. (eds) Knowledge Science, Engineering and Management. KSEM 2011. Lecture Notes in Computer Science(), vol 7091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25975-3_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-25975-3_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25974-6
Online ISBN: 978-3-642-25975-3
eBook Packages: Computer ScienceComputer Science (R0)