Journal Name:
- Çankaya University Journal of Science and Engineering
Keywords (Original Language):
| Author Name | University of Author |
|---|---|
Abstract (2. Language):
Due to the insertion of semantiçs to the Web serviçes, meeting user demands will be possible through logiçal deduçtions and açhieving resolutions automatiçally. With the appliçation of semantiç desçription in çontent of Web serviçes it is easier to disçover and çompose suitable Web serviçes during analyzing, searçhing, and matçhing proçesses. We proposed a framework of an Inference-based Semantic Composition Agent (SCA) of atomiç proçesses
that employs proçess similarity matçhing and inferençe teçhniques. The proposed SCA is responsible for the synthesis of new serviçes from existing ones in an automatiç fashion. Therefore, it requires a powerful matçhing meçhanism to find fitting tasks in order to attain the required çomposition by eaçh çlient. An innovative Semantic Matching Step-SMS of SCA helps to find the fitting tasks while çonstituting workflow to açhieve required çomposition. Additionally, SCA çomposes available OWL-S atomiç proçesses utilizing Revised Armstrong's Axioms-RAA in inferring funçtional dependençies. Experiments show that the proposed SCA system produçes atomiç proçess sequençes as a workflow in order to açhieve the required çomposition plan that satisfies user's requirements as a çomplex task. The novelty of the SCA system is that for the first time Armstrong's Axioms are revised and used for semantiç-based planning and inferençing of serviçes.
Bookmark/Search this post with
Abstract (Original Language):
Anlamsal Web'in en önemli getirişi olan ontolojiler içine gömülen semantik betimlemeler üzerinden, kullanıcı taleplerinin karşılanması ve varolan veriler üzerinden anlamsal ve mantıksal çıkarsamaların otomatik olarak yapılması mümkündür. Ayrıca, Web servislerini ontoloji dosyalarına betimlemek mümkün olup, bu gomülü olan semantik betimlemeler üzerinden Web servislerinin kesfi ve birlestirilmesi islemlerinde daha akıllı sistemler gelistirilebilir. Servislerin birlestirilmesinde uygun süreçlerin sorgulanması, analizi ve süreçler arası uyum taraması gibi adımları anlamsal boyuta tasımaktadır. Bu makalede, atomik yapıdaki sureçlerin Çıkarsama-tabanlı Semantik Birleşim Ajanı (Inference-based Semantic Composition Agent-SCA) çerçevesi ünerilmektedir. SCA süreçlerde benzerlik eslesmesi ve çıkarsama tekniklerini içermektedir. SCA'nın gorevi varolan sureçleri sen-tezleyip, kullanıcı tarafından sorgulanan ve aslında varolmayan yeni bir sürecin, Birleşik/ Kompleks Sürec'in, otomatik olarak is akısı planını belirleyebilmektir. Bu nedenle, SCA' nın guüçcluü bir uyum tarama mekanizmasına sahip olması, ve ayrıca uygun suüreçcleri bulup, arkasından uygun sırada yerlestirmesiyle, istenilen Kompleks Süreç 'in üretilmesi saglana-bilir. SCA'nın, sorgulanan Birlesik/Kompleks Sürec'e ait, Is Akısı Planı'nı yapılandırması esnasında, yeni bir Semantik Uyum Adımı 'nı (Semantic Matching Step-SMS) çalıstırmak-tadır. Bunun yanısıra, istenilen Birlesik/Kompleks Sürec'in, diger bir deyisle amaç süreçin, olusumunda kullanılan çıkarsamalar, Revize edilmis Armstrong Aksiyomları 'dır (Revised Armstrong's Axioms-RAA). Bu çalısmada, SCA çerçevesinde sunulan katkı, ilk defa Armstrong'un Çıkarsama Kuralları revize edilmis ve Semantik Web uygulamalarında, planlama ve ççıkarsama içslevlerinde kullanılmıçstır.
FULL TEXT (PDF):
- 1
75-98