Algorithms. In: Proceedings of the World Congress on Neural Networks (WCNN'95). Washington, D.C. July 17–21, 1995. pp. 628–635. Honavar, V. (1992). Some Biases for Efficient Learning of Spatial, Temporal, and Spatio-Temporal Patterns. In: Proceedings of International Joint Conference on Neural Networks. Beijing, China. Knowledge representation and semantic web Santhanam, G.R., Basu, S. and Honavar, V. (2013) Verifying preferential equivalence and subsumption via model checking. In International Conference on Algorithmic DecisionTheory (pp. 324–335). Springer Berlin Heidelberg. Tao, J., Slutzki, G., and Honavar, V. (2012). PSpace Tableau Algorithms for Acyclic Modalized ALC. Journal of Automated Reasoning. Vol. 49. pp. 551–582 Santhanam, G., Suvorov, Y., Basu, S., and Honavar, V. (2011). Verifying Intervention Policies for Countering Infection Propagation over Networks: A Model Checking Approach. In: Proceedings of the Twenty-Fifth Conference on Artificial Intelligence (AAAI-2011). pp. 1408–1414. Sanghvi, B., Koul, N., and Honavar, V. (2010). Identifying and Eliminating Inconsistencies in Mappings across Hierarchical Ontologies. In: Springer-Verlag Lecture Notes in Computer Science Vol. 6427, pp. 999–1008. Berlin: Springer. Santhanam, G., Basu, S., and Honavar, V. (2010). Efficient Dominance Testing for Unconditional Preferences. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). pp. 590–592. AAAI Press. Santhanam, G., Basu, S., and Honavar, V. (2010). Dominance Testing Via Model Checking. In: Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10). pp. 357–362. AAAI Press. Bao, J., Voutsadakis G., Slutzki, G. Honavar:, V. (2009). Package-Based Description Logics. In: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Lecture Notes in Computer Science Vol. 5445, pp. 349–371 Bao, J., Voutsadakis, G., Slutzki, G., and Honavar, V. (2008). On the Decidability of Role Mappings between Modular Ontologies. In: Proceedings of the 23nd Conference on Artificial Intelligence (AAAI-2008), Menlo Park, CA: AAAI Press, pp. 400–405 Bao, J., Slutzki, G., and Honavar, V. (2007). A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies.. In: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-2007). Vancouver, Canada. Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies. pp. 1304–1309. AAAI Press. Bao, J., Slutzki, G., and Honavar, V. (2007). Privacy-Preserving Reasoning on the Semantic Web. IEEE/WIC/ACM Conference on Web Intelligence. IEEE. pp. 791–797 Bao, J., Caragea, D., and Honavar, V. (2006). On the Semantics of Linking and Importing in Modular Ontologies.In: Proceedings of the International Semantic Web Conference (ISWC 2006), Lecture Notes in Computer Science, Berlin: Springer. Lecture Notes in Computer Science Vol. 4273, pp.