A New Logic Based Approach for the Specification and Discovery of SemanticWeb Services
Doctor of Philosophy in Computer Engineering. Thesis (M.S. Eastern Mediterranean University, Faculty of Engineering, Dept. of Computer Engineering, 2014. Supervisor: Assoc. Prof. Dr. Zeki Bayram.