A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web

Abstract

Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic Web, such as policies and business rules, agent brokering and negotiation, ontology and knowledge merging, etc. However, the syntax of defeasible logic may appear too complex for many users. In this paper we present a graphical authoring tool for defeasible logic rules that acts as a shell for the DR-DEVICE defeasible reasoning system over RDF metadata. The tool helps users to develop a rule base using the OO-RuleML syntax of DR-DEVICE rules, by constraining the allowed vocabulary through analysis of the input RDF namespaces, so that the user does not have to type-in class and property names. Rule visualization follows the tree model of RuleML. The DR-DEVICE reasoning system is implemented on top of the CLIPS production rule system and builds upon an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules.

Διαχείριση Βάσεων Γνώσης Αναιρέσιμης Λογικής Στο Σημασιολογικό Ιστό

“…Στο κεφάλαιο παρουσιάζεται η υλοποίηση επέκτασης του συστήματος DR-DEVICE, η οποία προορίζεται για τη λειτουργία αυτή. Η συγκεκριμένη επέκταση ονομάζεται DRREd (Defeasible Reasoning Rule Editor) [Bassiliades et al, 2005c; και αποτελεί τη διεπαφή του χρήστη με τη μηχανή συμπερασμού DR-DEVICE, παίζοντας το ρόλο του συντάκτη των βάσεων γνώσης αναιρέσιμης λογικής και αποτρέποντας ενδεχόμενα συντακτικά και σημασιολογικά σφάλματα. Το DRREd χειρίζεται την υπό ανάπτυξη βάση γνώσης σαν ένα δένδρο XML, στο οποίο κάθε κόμβος έχει ξεχωριστή σημασιολογία και αντιμετωπίζεται ανάλογα από τον συντάκτη κανόνων.…”