Anlamsal web için RDF tabanlı bir çıkarsama motoru tasarımı

Bu tez kapsamında, anlamsal web ontolojileri ile çıkarsama yapmaya yönelik bir araç tasarımı gerçekleştirilmiştir. Anlamsal web ontolojilerinin saklandığı sunucuların sorgulanması için, kural tabanlı bir çıkarsama motoru tasarlanmış ve bu motorun temel bileşenleri C# dili ile gerçekleştirilmiştir. Ontoloji sunucusu üzerindeki çıkarsama motoru, ontoloji sorgulama, ontoloji tutarlılığını test etme, ontoloji kapanışını bulma olarak sıralanabilecek çıkarsama servislerini sağlamaktır. Bu servislere değişik platformlardan ulaşılabilmesi için, servislerin web servisleri olarak tanımlanması planlanmaktadır. Son olarak belirtilmesi gereken nokta, çıkarsama motorunun eksiksiz çıkarsama yapması planlanmamaktadır. Çıkarsama işlemi, anlatım gücü üzerinde kısıtlama yapılmamış diller üzerinde, ileriye doğru ve geriye doğru zincirleme mekanizmaları ile gerçekleştirilmektedir.