110 likes | 269 Views
Kural ve Sorgu Örüntülerinin Düzenlenmesi ile Rete Tabanlı b ir Çı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
E N D
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
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
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.