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

Kural 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ırAkademik Bilişim’10 - XII. Akademik Bilişim Konferansı Bildirileri10 - 12 Şubat 2010 Muğla Üniversitesiboyutlardadır. Koşulların sırası değiştirilmediğinde,artçı koşullarda yapılacak denetleme sayısıartmaktadır. Örnek olarak, koşulları Tablo-2'de verilen 2 numaralı sorguyu inceleyelim.wğinde yalnızca 15 “token” oluşturulmaktadır.Kısacası eniyilenmeden sonra çalışma zamanındadüşüş olmasının nedeni oluşturulan “token”sayısındaki düşüştür.[5] Horrocks, I., Patel-Schneider, P. F.: A Proposalfor an OWL Rules Language Semanticsand Abstract Syntax, Draft Version of 16 October2003[8] Guo, Y., Pan, Z., Heflin, J.: An Evaluationof Knowledge Base Systems for Large OwlDatasets, International Semantic Web Conference.(2004) 274–288Eniyileme işleminden sonra, sorgu koşullarınınsırası c, e, b, f, a, d olacak şekilde değişir.Sorguyu yeniden düzenlemek için en kısıtlayıcıkoşuldan başlanır. En kısıtlayıcı koşul, enküçük “alpha” belleğe sahip c koşuludur. Dahasonra c ile en fazla sayıda ortak değişkene sahipd ve e koşulları seçilir. e koşulu, d’den dahakısıtlayıcı olduğu için ikinci koşul olarak e seçilir.Üçüncü adımda, e ile en fazla sayıda ortakdeğişkene sahip b, d ve f belirlenir. Bunlarıniçinde, en kısıtlayıcı koşul olan b, üçüncü koşuldur.f koşulu, kalan koşullar içerisinde b ileen fazla sayıda ortak değişkene sahip tek koşulolduğu için, dördüncü koşul olarak seçilir.Geri kalan a ve d koşullarının, her ikisi de bkoşulu ile eşit sayıda ortak değişkene sahiptir.Fakat a koşuluna ait “alpha” bellek daha küçükolduğu için, a beşinci koşuldur. Geriye kaland koşulu sıranın en sonuna yerleştirilir. Tablo3, eniyilenmiş sıra ve eniyilenmemiş sıranınçalıştırılması sonucu oluşan “token” sayısınıgöstermektedir.KoşullarTokenSayısıKoşullarTokenSayısıa 1874 c 15a∧b 1834646 c∧e 15a∧b∧c 27519690 c∧e∧b 15a∧b∧c∧d 0 c∧e∧b∧f 0a∧b∧c∧d∧e 0 c∧e∧b∧f∧a 0a∧b∧c∧d∧e∧f 0 c∧e∧b∧f∧a∧d 0Tablo 3. Beta bellekler ve oluşturulan“token”ların sayıları.Sorgu 2’nin eniyilenmiş ve eniyilenmemiş olarakçalıştırılması sonucu oluşan kısmi gerçeklenmelerinboyutlarındaki fark, sorgunun çalışmazamanındaki düşüşü açıklamaktadır. Reteağına bir sorgu eklenmesi sırasında, asıl zamanalan kısım ilgili düğümlerde yeni “token”larınoluşturulmasıdır. Koşul dizisi güncellenmedenönce, Sorgu 2 ağa eklendiğindinde 27519690“token” oluşturulmuştur. Fakat dizi eniyilendi-326Sistemde, sorgular çıkarsama motoruna eklenmedenönce eniyilenmektedir. Eniyilemeyigerçekleştirmek için ek bir süreye gerek duyulsada, bu ek süre sağlanan performans artışı ilekarşılaştırıldığında göz ardı edilebilecek kadarkısadır.5. SonuçlarBu çalışmada, Rete tabanlı bir çıkarsama motorununzaman ve bellek gereksinimleriniazaltmak amacıyla, bu çıkarsama motoru üzerinde,sorgu örüntülerini yeniden düzenleyenmelez bir eniyileme uygulanmıştır. Eniyilemebuluşsalı beklendiği gibi sorgu performansınıarttırmıştır. Fakat sistem hala gelişime açıktır.Daha fazla ve daha çeşitli eniyilemelerle performansdaha da arttırılabilir. Son olarak, bazıçıkarsama araçları daha iyi performans göstersede, anlatılan çıkarsama motorunun veri değişikliklerinedaha dayanıklı olduğu, diğer birdeyişle çıkarsama sürecini yeniden başlatmadığıunutulmamalıdır.6. Kaynaklar[1] Guo, Y., Pan, Z., Heflin, J.: An Evaluationof Knowledge Base Systems for LargeOWL Datasets, International Semantic WebConference (2004) 274-288[2] Forgy, C.: Rete: A Fast Algorithm for theMany Patterns/Many Objects Match Problem.Artificial Intelligence, 19 (1982) 17–37[3] Doorenbos, R.B.: Production matching forlarge learning systems, Technical report, Pittsburgh,PA, USA (2001)[4] Ishida, T.: Optimizing rules in productionsystem programs, National Conference onArtificial Intelligence. (1988) 699–704[6] Fikes, R., Hayes, P., Horrocks, I.: OWL-QL: A Language for Deductive Query Answeringon the Semantic Web, Technical ReportKSL 03-14, Stanford University, Stanford, CA(2003)[7] Staab, S.: Ontologies’ Kisses in Standardization,IEEE Intelligent Systems 17(2002)70–79327[9] Carroll, J.J., Roo, J.D.: Owl Web OntologyLanguage Test Cases (2004)