Abstract:
ABSTRACT: The aim of this thesis is to analyze and evaluate the Web service Modeling Language (WSML) as the formal language of Web service Modeling Ontology (WSMO) and
then provide a number of improvement recommendations for obtained deficiencies in WSML. In order to facilitate understanding of our work, this thesis also briefly provides background information about web services, semantic web, semantic web ontology languages, Web Service Modeling Ontology and conceptual syntax of Web Service Modeling Language as well as logical formalism used by WSML. In this thesis, WSML has been critically analyzed and evaluated in detail by developing semantic web service for “University Course Registration” using the WSML rule variant and first order logic. At the end of the thesis the weak and missing parts of WSML were defined and possible suggestions were made for improvement.
Keywords: Web service modeling language, web service modeling ontology, web services,
semantic web, ontology.
……………………………………………………………………………………………………………………………………………………………………………………………………………………
ÖZ: Bu tezin amacı, web servisi gelistirmek için, Web Servisleri Modelleme Ontolojisi tarafandan, formal bir dil olarak kullanılan Web Servisi Modelleme dilini detaylı olarak inceleyerek değerlendirmek ve WSML’in eksik yönlerinini ortaya çıkartıp, gelistirici bazı tavsiyerde bulanmaktır. Ayrıca tezde, yaptığımız çalısmanın daha iyi anlasılması için web servisleri, anlamsal ağ, anlamsal ağ ontoloji dilleri, web servisi modelleme ontolojisi ve web servisi modelleme dili hakkında kısa açıklamalar verilmektedir. Bu tez de , WSML rule ve first order logic kullanılarak tanımladığımız “üniversite ders kayıt” web servisi üzerinden Web Servisi Modelleme dilini elestrisel olarak inceleyip ve sonucunda Web Servisi Modelleme dilinin güçsüz ve eksik yönlerini bularak, WSML’in gelistirilmesi için mümkün olan önerilerde bulunduk. Anahtar Kelimeler: Web servisi modelleme dili, web servisleri modelleme ontolojisi, web servisi, anlamsal ağ, ontoloji.
Description:
Master of Science in Computer Engineering. Thesis (M.S.)--Eastern Mediterranean University, Faculty of Engineering, Dept. of Computer Engineering, 2013. Supervisor: Assoc. Prof. Dr. Zeki Bayram.
