Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning

Towards providing a suitable tool for building the Rule Layer of the Semantic Web, hex-programs have been introduced as a special kind of logic programs featuring capabilities for higher-order reasoning, interfacing with external sources of computation, and default negation. Their semantics is based on the notion of answer sets, providing a transparent interoperability with the Ontology Layer of the Semantic Web and full declarativity. In this paper, we identify classes of hex-programs feasible for implementation yet keeping the desirable advantages of the full language. A general method for combining and evaluating sub-programs belonging to arbitrary classes is introduced, thus enlarging the variety of programs whose execution is practicable. Implementation activity on the current prototype is also reported.

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

[2]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[3]  Wolfgang Faber,et al.  Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity , 2004, JELIA.

[4]  Hans Tompits,et al.  Nonmonotonic Description Logic Programs: Implementation and Experiments , 2005, LPAR.

[5]  Hans Tompits,et al.  A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming , 2005, IJCAI.

[6]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[7]  Luca Cabibbo,et al.  The Expressive Power of Stratified Logic Programs with Value Invention , 1998, Inf. Comput..

[8]  Georg Gottlob,et al.  Modular Logic Programming and Generalized Quantifiers , 1997, LPNMR.

[9]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[10]  Kenneth A. Ross.  On Negation in HiLog , 1994, J. Log. Program..

[11]  Kenneth A. Ross,et al.  Modular stratification and magic sets for Datalog programs with negation , 1994, JACM.

[12]  Stijn Heymans,et al.  Preferential Reasoning on a Web of Trust , 2005, International Semantic Web Conference.

[13]  Kewen Wang,et al.  Combining Description Logic and Defeasible Logic for the Semantic Web , 2004, RuleML.

[14]  Vladimir Lifschitz,et al.  Splitting a Logic Program , 1994, ICLP.

[15]  Abdul Sattar,et al.  Merging and Aligning Ontologies in dl-Programs , 2005, RuleML.

[16]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[17]  Piero A. Bonatti,et al.  Reasoning with infinite stable models , 2001, Artif. Intell..

[18]  Stefan Decker,et al.  TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.

[19]  Riccardo Rosati,et al.  Towards expressive KR systems integrating datalog and description logics: preliminary report , 1999, Description Logics.

[20]  Stijn Heymans,et al.  Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs , 2005, ESWC.

[21]  Giovambattista Ianni,et al.  External Sources of Computation for Answer Set Solvers , 2005, LPNMR.

[22]  Benjamin N. Grosof,et al.  Combining Rules and Ontologies . A survey . , 2005 .

[23]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[24]  Tommi Syrjänen.  Omega-Restricted Logic Programs , 2001, LPNMR.