Deploying defeasible logic rule bases for the semantic web

Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only to humans, as it is today, but to machines as well. Defeasible reasoning, a rule-based approach to reasoning with incomplete and conflicting information, is a powerful tool in many Semantic Web applications. Despite its strong mathematical background, logic, in general, and defeasible logic, in particular, may overload the user with tons of additional complex semantic relationships among data and metadata of the Semantic Web. To this end, a comprehensible, visual representation of these semantic relationships (rules) would help users understand them and make more use of them. This paper presents VDR-DEVICE, a defeasible reasoning system, designed specifically for the Semantic Web environment. VDR-DEVICE is an integrated development environment for deploying and visualizing defeasible logic rule bases on top of RDF Schema ontologies. The system consists of a number of sub-components, which, though developed autonomously, are combined efficiently, forming a flexible framework. The system employs a defeasible reasoning system that supports direct importing and processing of RDF data and RDF Schema ontologies as well as a number of user-friendly rule base and ontology visualization modules.

[1]  Guido Governatori,et al.  Proof Explanation in the DR-DEVICE System , 2007, RR.

[2]  Michael J. Maher,et al.  A Semantic Decomposition of Defeasible Logics , 1999, AAAI/IAAI.

[3]  Kalliopi Kravari,et al.  Object-Oriented Modelling of RDF Schema Ontologies , 2007 .

[4]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[5]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[6]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[7]  Benjamin N. Grosof,et al.  SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions , 2004, Int. J. Electron. Commer..

[8]  Edwina L. Rissland,et al.  CABARET: Rule Interpretation in a Hybrid Architecture , 1991, Int. J. Man Mach. Stud..

[9]  Michael J. Maher,et al.  Defeasible Logic versus Logic Programming without Negation as Failure , 2000, J. Log. Program..

[10]  Frank van Harmelen,et al.  Ontology-based Information Visualization , 2002, Visualizing the Semantic Web.

[11]  Nick Cercone,et al.  CViz: An Interactive Visualization System for Rule Induction , 2000, Canadian Conference on AI.

[12]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[13]  Cheng-Zen Yang,et al.  ISWIVE: an integrated semantic Web interactive visualization environment , 2005, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers).

[14]  Gerd Wagner,et al.  Web Rules Need Two Kinds of Negation , 2003, PPSWR.

[15]  Noriaki Izumi,et al.  Paper Special Section on Knowledge-based Software Engineering a Graphical Rdf-based Meta-model Management Tool , 2022 .

[16]  Holger Giese,et al.  Tool Integration at the Meta-Model Level within the FUJABA Tool Suite , 2003 .

[17]  Nick Bassiliades,et al.  A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web , 2005, RuleML.

[18]  Steve Taylor,et al.  Towards a Semantic Web Security Infrastructure , 2004 .

[19]  Frank Harary,et al.  Graph Theory , 2016 .

[20]  Nick Bassiliades,et al.  Visualizing Defeasible Logic Rules for the Semantic Web , 2006, ASWC.

[21]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[22]  Benjamin N. Grosof.  Prioritized conflict handing for logic programs , 1997, International Conference on Logic Programming.

[23]  Ioannis Vlahavas,et al.  R-DEVICE: an Object-Oriented Knowledge Base System for RDF Metadata , 2006 .

[24]  Michael J. Maher,et al.  A Flexible Framework for Defeasible Logics , 2000, AAAI/IAAI.

[25]  Uri J. Schild,et al.  The use of meta-rules in rule based legal computer systems , 1993, ICAIL '93.

[26]  Miltiadis D. Lytras,et al.  The Semantic Web: Real-World Applications from Industry , 2007, The Semantic Web: Real-World Applications from Industry.

[27]  Roger T. Hartley,et al.  Temporal, spatial, and constraint handling in the Conceptual Programming environment, CP , 1992, J. Exp. Theor. Artif. Intell..

[28]  Susie Stephens,et al.  The Enterprise Semantic Web , 2007, The Semantic Web: Real-World Applications from Industry.

[29]  Asunción Gómez-Pérez,et al.  WEBODE in a Nutshell , 2003, AI Mag..

[30]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[31]  Guido Governatori,et al.  DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[32]  Donald Nute,et al.  A decidable quantified defeasible logic , 1995 .

[33]  P. Dangerfield.  Logic , 1996, Aristotle and the Stoics.

[34]  Frank van Harmelen,et al.  Ontology-Based Information Visualization: Toward Semantic Web Applications , 2006, Visualizing the Semantic Web, 2nd Edition.

[35]  Katrin Erk,et al.  Defeasible logic graphs: I. Theory , 1998, Decis. Support Syst..

[36]  Martin Doerr,et al.  DR-BROKERING: A semantic brokering system , 2007, Knowl. Based Syst..

[37]  Michael J. Maher,et al.  Embedding Defeasible Logic into Logic Programming , 2005, ArXiv.

[38]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies: Framework, Prototype, and Experiment , 2006 .

[39]  Michael J. Maher,et al.  Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[40]  Giorgio Gallo,et al.  Directed Hypergraphs and Applications , 1993, Discret. Appl. Math..

[41]  R. Studer,et al.  Semantic Web Technologies: Trends and Research in Ontology-based Systems , 2006 .

[42]  Henry Kautz,et al.  Hard problems for simple default theories , 1991 .

[43]  Gerd Wagner,et al.  Rule-based agents for the semantic web , 2003, Electron. Commer. Res. Appl..

[44]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[45]  Brian McBride,et al.  Jena: Implementing the RDF Model and Syntax Specification , 2001, SemWeb.

[46]  Joseph O'Rourke,et al.  Handbook of Discrete and Computational Geometry, Second Edition , 1997 .

[47]  Grigoris Antoniou,et al.  Executable declarative business rules and their use in electronic commerce , 2001, SAC '02.

[48]  Roger T. Hartley,et al.  Temporal, spatial, and constraint handling in the Conceptual Programming environment, CP , 1992 .

[49]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[50]  Donald Nute,et al.  Defeasible logic graphs: II. Implementation , 1998, Decis. Support Syst..

[51]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[52]  Mieczyslaw M. Kokar,et al.  An Application of Semantic Web Technologies to Situation Awareness , 2005, International Semantic Web Conference.

[53]  Ioannis P. Vlahavas,et al.  A Defeasible Logic Reasoner for the Semantic Web , 2004, Int. J. Semantic Web Inf. Syst..

[54]  Benjamin N. Grosof,et al.  Supporting Rule System Interoperability on the Semantic Web with SWRL , 2005, SEMWEB.

[55]  Hans Tompits,et al.  dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework , 2006, WLP.

[56]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[57]  Bart Selman,et al.  Hard Problems for Simple Default Logics , 1989, Artif. Intell..

[58]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[59]  Michael J. Maher.  A Model-Theoretic Semantics for Defeasible Logic , 2002, Paraconsistent Computational Logic.

[60]  Holger Giese,et al.  Tool integration at the meta-model level: the Fujaba approach , 2004, International Journal on Software Tools for Technology Transfer.

[61]  Guido Governatori,et al.  A formal approach to protocols and strategies for (legal) negotiation , 2001, ICAIL '01.

[62]  Timothy W. Finin,et al.  SweetJess: Translating DAMLRuleML to JESS , 2002, RuleML.