A new logic-based approach for the specification and discovery of semantic web services
Başlık çevirisi mevcut değil.
- Tez No: 766101
- Danışmanlar: Belirtilmemiş.
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2014
- Dil: İngilizce
- Üniversite: Doğu Akdeniz Üniversitesi-Eastern Mediterranean University
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 104
Özet
Ag hizmetlerini ve hedefler s¸eklinde belirtilmis¸ kullanıcı gereksinimlerini es¸les¸tirmek, ˘ semantik ag hizmetleri kes¸finde yapılması kolay olmayan bir s¸eydir. Es¸les¸tirmede ˘ en c¸ok kullanılan, ancak tatminkar olmayan yaklas¸ım, kume tabanlı olandır. Bu ¨ yaklas¸ımda, hem kullanıcı, hem de ag hizmeti istedikleri ve ihtiyac¸ duydukları nes- ˘ neleri deklare ederler. Boylece, es¸les¸tirme basit nesne k ¨ umeleri kars¸ılas¸tırmasına ¨ don¨ us¸¨ ur. Bu yaklas¸ım, kullanıcının ihtiyacı olan is¸levsellik, veya hizmetin sundu ¨ gu˘ is¸levsellik hakkında hic¸ bir s¸ey soylememesinden dolayı yetersizdir. Bu tezde, k ¨ ume ¨ tabanlı es¸les¸tirmeye alternatif olarak, FLORA-2 mantık sisteminde gerc¸ekles¸tirildigi˘ s¸ekliyle F-Logic dilini kullanarak, hizmet yeteneklerini ve kullanıcı isteklerini mantık ifadeleri s¸eklinde belirtip, es¸les¸tirmenin mantıksal c¸ıkarım ac¸ısından ne anlama geldigini ac¸ıkc¸a tanımlayıp, FLORA-2 sistemini kullanan mantık tabanlı bir kes¸if ajanı ve ˘ es¸les¸tirme makinesi gerc¸ekles¸tiriyoruz. Ag hizmetleri, hedefler ve ontolojiler gibi se- ˘ mantik ag elemanlarını belirtebilmek ic¸in, FLOG4SWS adını verdi ˘ gimiz bir FLORA- ˘ 2 alt dili tanımlıyoruz. Sonuc¸ olarak ortaya c¸ıkan gerc¸ekles¸tirilmesi tamamlanmıs¸, tamamen mantıksal c¸ıkarıma dayalı, F-Logic ile olan yakın ilis¸kilerinden dolayı Web Service Modeling Ontology (WSMO) ve Web Service Modeling Language (WSML) diline dogrudan uyarlanabilen bir es¸les¸tirme makinesi ve kes¸if ajanıdırTezde ayrıca, yeni dil (FLOG4SWS) ve mantıksal c¸ıkarım tabanlı kes¸if ajanının gerc¸ekles¸tirmesine gec¸meden once, bize daha iyi bir alternatifin yolunu gostermesi ¨ ac¸ısından, WSML'in kuvvetli ve zayıf yonlerini aras¸tırdık. F-Logic kuramı aras¸tırmalarımız ¨ esnasında, F-Logic molekullerinin birles¸tirme algoritmasında bir hata kes¸fettik ve bu ¨ algoritmanın duzeltilmis¸ s¸eklini de sunuyoruz.
Özet (Çeviri)
Matching Web services and client requirements in the form of goals is a significant challenge in the discovery of Semantic Web services. The most common but unsatisfactory approach to matching is set-based, where both the client and Web service declare what objects they require, and what objects they can provide. Matching then becomes the simple task of comparing sets of objects. This approach is inadequate because it says nothing about the functionality required by the client, or the functionality provided by the Web service. As a viable alternative to the set-based approach, in this thesis we use the F-Logic language as implemented in the FLORA-2 logic system to specify Web service capabilities and client requirements in the form of logic statements, clearly define what a match means in terms of logical inference, and implement a logic based discovery agent and matching engine using the FLORA-2 system. In order to be able to specify Semantic Web elements such as Web services, goals, ontologies, we define a sub-language of FLORA-2, which we call FLOG4SWS. The result is a practical, fully implemented matching engine and discovery agent based purely on logical inference for Web service discovery, with direct applicability to Web Service Modeling Ontology (WSMO) and Web Service Modeling Language (WSML), since F-Logic is intimately related to both. Before going to the implementation of new language (FLOG4SWS) and logical inference based discovery agent we investigate the strong as well as weak aspects of WSML in order to guide us in the search for a better alternative. In our studies into the theory of F-Logic, we discovered a mistake in the unification algorithm for F-Logic molecules, and we present a corrected version of the algorithm in this thesis as well.
Benzer Tezler
- Kıvrım geometrisi ve felsefesi: Bir türev olarak mimarlık
Geometry and philosophy of folding: Architecture as a derivative
TUĞBA MENŞUR
Yüksek Lisans
Türkçe
2023
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
PROF. DR. NURBİN PAKER KAHVECİOĞLU
- IEEE 1149.1 standardı kullanarak test edilebilir lojik devre tasarımı
Testable lojik circit design by using IEEE 1149.1 standard
A.BETÜL TUNCER
Yüksek Lisans
Türkçe
1992
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. AHMET DERVİŞOĞLU
- Yapı bilgi modellemesi (5D) ile maliyet yönetiminin avantaj ve dezavantajlarının tespiti
Determining advantages and disadvantages of 5D BIM cost management
FARUK GÜLERSES
Yüksek Lisans
Türkçe
2018
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. ESİN ERGEN PEHLEVAN
- Measuring and evaluating the maintainability of microservices
Mikroservislerin sürdürülebilirliğinin ölçülmesi ve değerlendirilmesi
RAHİME YILMAZ
Doktora
İngilizce
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. FEZA BUZLUCA
- Realizing the specification and execution of workflows through the Event Calculus
Olay Cebiri üzerinden iş akışı tanım ve uygulamasının gerçeklenmesi
HÜSEYİN YILMAZ
Yüksek Lisans
İngilizce
2006
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. NİHAN KESİM ÇİÇEKLİ