Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
OMG Data-Distribution Service: Architectural Overview
ICDCSW '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
KAoS Policy Management for Semantic Web Services
IEEE Intelligent Systems
An ontology-based publish/subscribe system
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
S-ToPSS: semantic Toronto publish/subscribe system
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Non-conservative extension of a peer in a P2P inference system
AI Communications
A Lexical Database Filter for Efficient Semantic Publish/Subscribe Message Oriented Middleware
ICCEA '10 Proceedings of the 2010 Second International Conference on Computer Engineering and Applications - Volume 02
Dynamic Policy-Driven Quality of Service in Service-Oriented Systems
ISORC '10 Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Towards scalable instance retrieval over ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
| Hi-index | 0.00 |
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.