Dr. Fodor has contributed to several large software projects: IBM Watson, OpenRuleBench suite of benchmarks for analyzing the performance and scalability of rule systems for the semantic Web, ETALIS declarative complex event processing, and SILK Semantic Inferencing on Large Knowledge. His work on declarative rule languages and logic used as a specification language and implementation framework for knowledge bases was applied in areas ranging from natural language processing to complex event processing and semantic Web. (3W1V)