Kural ve Sorgu Örüntülerinin Düzenlenmesi ile Rete Tabanlı bir Çıkarsama Motorunun Eniyilenmesi Dr. Tuğba Özacar Öztürk tugba.ozacar@ege.edu.tr Ege Üniversitesi Bilgisayar Mühendisliği

Giriş Rete tabanlı bir OWL çıkarsama motorunun gerçekleştirimi Çıkarsama motoru üzerinde bir eniyileme buluşsalının uygulanması eniyileme buluşsalı bilinen bazı eniyileme buluşsallarını yeniden düzenler ve birleştirir Performans analizi Testlerde Lehigh Üniversitesi Karşılaştırmalı Değerlendirmesi kullanılmaktadır

Motivasyon Büyük boyutta ve birleşik ontolojileri işleyebilme yeteneği, bütün anlamsal web araçları için olduğu gibi çıkarsama araçları için de çok gereklidir. Ontolojideki değişikliklerle başa çıkabilen ve yüksek performanslı kural tabanlı bir çıkarsama motoru

İçerik Ontolojideki değişliklerle başa çıkabilen bir ileriye zincirleme algoritması: RETE RETE üzerinde uygulanan eniyileme buluşsalları Kısıtlayıcı Koşulları Öncelikli Olarak Yerleştirmek Ortak Değişkene Sahip Koşulları Ardışık Olarak Dizmek Eniyileme buluşsallarının yeniden düzenlenmesi ve birleştirilmesi: Melez Buluşsal Performans analizi Sonuçlar

I. RETE Algoritması

II. Kısıtlayıcı Koşulları Öncelikli Olarak Yerleştirme Buluşsalı Amaç: kısıtlayıcı koşulları öncelikli olarak yerleştirerek, Rete ağının orta kısmında oluşan yükü azaltmak Kısıtlayıcı koşullara sahip koşulları belirlemek az sayıda ontoloji üçlüsüyle eşleşen koşullar daha az değişkene sahip koşullar kompleks yüklemlere sahip koşullar

II. Ortak Değişkene Sahip Koşulları Ardışık Olarak Dizme Buluşsalı Amaç: ortak değişkene sahip koşulları ardışık olarak dizerek, Rete ağının orta kısımlarında oluşan yükü hafifletmek Eğer bir kuralın n. koşulu, n-1. koşul ile ortak bir değişkene (x), sahip ise n-1. gerçeklemede, x üzerinde oluşmuş kısıtlar sonucu E(kn)'in boyutları azalır

III. Melez Buluşsal Adım 1: C (r1) ← null C(r)'ye ait en kısıtlayıcı koşulu (x), bul ve x'i C(r)'den silerek, C (r1)'ye ekle Adım 2: eğer C (r) ≠∅ ise x ∈ C (r) olmak üzere, l ile en fazla sayıda ortak değişkene sahip koşullar içinde en kısıtlayıcı olanını (x), belirle ve x'i C(r)'den silerek, C (r1)'ye ekle Adım 2 değilse r'yi döndür

IV. Performans Analizi

V. Sonuçlar Bu çalışmada, Rete tabanlı bir çıkarsama motorunun zaman ve bellek gereksinimlerini azaltmak amacıyla, bu çıkarsama motoru üzerinde, sorgu örüntülerini yeniden düzenleyen melez bir eniyileme uygulanmıştır. Eniyileme buluşsalı beklendiği gibi sorgu performansını arttırmıştır. Fakat sistem hala gelişime açıktır.

Teşekkürler