Kural ve Sorgu rntlerinin Dzenlenmesi ile Rete Tabanl
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ş n Rete tabanlı bir OWL çıkarsama motorunun gerçekleştirimi n Çıkarsama motoru üzerinde bir eniyileme buluşsalının uygulanması n eniyileme buluşsalı bilinen bazı eniyileme buluşsallarını yeniden düzenler ve birleştirir n Performans analizi n Testlerde Lehigh Üniversitesi Karşılaştırmalı Değerlendirmesi kullanılmaktadır
Motivasyon n 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. n Ontolojideki değişikliklerle başa çıkabilen ve yüksek performanslı kural tabanlı bir çıkarsama motoru
İçerik I. II. III. IV. V. Ontolojideki değişliklerle başa çıkabilen bir ileriye zincirleme algoritması: RETE üzerinde uygulanan eniyileme buluşsalları n Kısıtlayıcı Koşulları Öncelikli Olarak Yerleştirmek n 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ı n Amaç: kısıtlayıcı koşulları öncelikli olarak yerleştirerek, Rete ağının orta kısmında oluşan yükü azaltmak n Kısıtlayıcı koşullara sahip koşulları belirlemek az sayıda ontoloji üçlüsüyle eşleşen koşullar n daha az değişkene sahip koşullar n kompleks yüklemlere sahip koşullar n
II. Ortak Değişkene Sahip Koşulları Ardışık Olarak Dizme Buluşsalı n 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 n 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 n Adım 1: C (r 1) ← null n C(r)'ye ait en kısıtlayıcı koşulu (x), bul ve x'i C(r)'den silerek, C (r 1)'ye ekle n Adım 2: n eğer C (r) ≠∅ ise n n 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 (r 1)'ye ekle Adım 2 değilse n r'yi döndür
IV. Performans Analizi
V. Sonuçlar n 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. n Eniyileme buluşsalı beklendiği gibi sorgu performansını arttırmıştır. Fakat sistem hala gelişime açıktır.
TEŞEKKÜRLER
- Slides: 11