Akademik Bilişim '10 10 - 12 Şubat 2010 Muğla

Anlamsal Web Politika Dillerinin KarşılaştırılmasıÖzgü Can, Murat Osman Ünalır[16] Bonatti, P. and Samarati, P., “RegulatingService Access and Information Release onthe Web”, In Conference on Computer andCommunications Security (CCS’00), Athens.(2000).[17] De Coi, J. L., Olmedilla, D., Bonatti, P.A.and Sauro, L., “Protune: A framework for semanticweb policies”, In Proceedings of thePoster and Demonstration Session at the7th International Semantic Web Conference(ISWC2008), Karlsruhe, Germany, October28, volume 401 of CEUR Workshop Proceedings.(2008).[18] Godik, S., Moses, T., eds., “OASIS eXtensibleAccess Control Markup Language(XACML) Version 1.1”, OASIS CommitteeSpecification, http://www.oasis-open.org/committees/download.php/ 4103/ cs -xacmlspecification-1.1.doc,July 24. (2003).[19] Anderson, A, “Comparing WSPL and WS-Policy”, IEEE Policy 2004 Workshop, http://research.sun.com/projects/xacml/ WSPL_vs_WS-Policy_v2.pdf . (2004).[20] De Coi, J. L. and Olmedilla, D., “A Reviewof Trust Management, Security and PrivacyPolicy Languages”, In InternationalConference on Security and Cryptography(SECRYPT 2008), INSTICC Press. (2008).Akademik Bilişim’10 - XII. Akademik Bilişim Konferansı Bildirileri10 - 12 Şubat 2010 Muğla ÜniversitesiKural ve Sorgu Örüntülerinin Düzenlenmesi ile Rete TabanlıBir Çıkarsama Motorunun EniyilenmesiTuğba Özacar Öztürk, Övünç Öztürk, Murat Osman ÜnalırEge Üniversitesi Bilgisayar Mühendisliği Bölümü, İzmir{tugba.ozacar, ovunc.ozturk, murat.osman.unalir}@ege.edu.trÖzet: Bu çalışmada Rete tabanlı bir OWL çıkarsama motorunun gerçekleştirimi ve bir eniyilemebuluşsalı ile çıkarsama motorunun performansının arttırılması anlatılmaktadır. Eniyileme buluşsalı,bilinen bazı eniyileme buluşsallarının değiştirilip, birleştirilmesi sonucu oluşmuş melez birbuluşsaldır. Kullanılan eniyileme buluşsalları kural ve sorgulara ait koşulların sıralarını değiştirerek,kural ve sorgu örüntülerinin yeniden düzenlenmesi prensibine dayanır.Anahtar Sözcükler: Çıkarsama, Rete, kural-tabanlı çıkarsama, eniyileme, kural, sorguOptimizing a Rete-based Inference Engine by Reordering Query and Rule PatternsAbstract: This work implements a Rete-based OWL inference engine and improves the performanceof this inference engine using an optimization. The optimization heuristic is a hybrid onethat modifies and mixes some well known optimization heuristics. The heuristics, that are used inthis work, are based on reordering query and rule conditions.Keywords: Reasoning, Rete, rule-based reasoning, optimization, rule, query3201. GirişBüyük boyutta ve birleşik ontolojileri işleyebilmeyeteneği, bütün anlamsal web araçlarıiçin olduğu gibi çıkarsama araçları için de çokgereklidir. Orta ölçekte ontolojileri iyi sayılabilecekperformanslarla işleyebilen kural tabanlıçıkarsama araçları olmasına rağmen, büyükölçekte ontolojiler için aynı şeyi söylemekmümkün değildir [1]. Bunun nedeni çıkarsamaişleminin zaman ve performans gereksinimininyüksek olmasıdır. Bir başka sorun, çıkarsamamotorlarının, veri değişikliklerinde çıkarsamasürecini en baştan başlatmalarıdır. Verilerinsıklıkla değiştiği durumlarda Rete [2][3] gibialgoritmaları kullanmak mantıklıdır. Rete, öncedenbulunmuş sonuçları hatırlayarak, bunlarıntekrar hesaplanmasını önleyen eniyilenmişbir algoritmadır. Rete yalnızca silinen ve yenieklenen olguları kurallarla test ederek performansıönemli ölçüde arttırır.321Rete, eniyilenmiş bir algoritma olmasına karşın,bu algoritma üzerinde yapılabilecek dahaileri eniyilemeler vardır. Bu çalışmada, bilinenbazı eniyileme buluşsalları [4] anlamsalweb’in ihtiyaçları doğrultusunda güncellenmişve biraraya getirilerek, melez bir buluşsal ortayakonulmuştur.Bir sonraki bölümde Rete tabanlı çıkarsama süreciayrıntılı olarak anlatılmaktadır. Üçüncü bölümde,kural örüntülerinin düzenlenmesi ile ilgilieniyilemeler ve bunların melezlenmesi sunulur.Dördüncü bölümde sunulan eniyilemelerin, büyükölçekli ontolojilerle değerlendirilmesi anlatılmaktadır.Son olarak beşinci bölüm bildiriyi sonlandırırve geleceğe yönelik çalışmaları sunar.2. Rete Tabanlı bir Çıkarsama MotoruRete, eniyilenmiş bir ileriye doğru çıkarsamaalgoritmasıdır. Verimli olmayan bir ileriye doğ-