Proof explanation for a nonmonotonic Semantic Web rules language

Data and Knowledge Engineering

Volumn 64, Issue 3, 2008, Pages 662-687

  Antoniou, Grigoris ^a   Bikakis, Antonis ^a   Dimaresis, Nikos ^a   Genetzakis, Manolis ^a   Georgalis, Giannis ^a   Governatori, Guido ^b   Karouzaki, Efie ^a   Kazepis, Nikolas ^a   Kosmadakis, Dimitris ^a   Kritsotakis, Manolis ^a   Lilis, Giannis ^a   Papadogiannakis, Antonis ^a   Pediaditis, Panagiotis ^a   Terzakis, Constantinos ^a   Theodosaki, Rena ^a   Zeginis, Dimitris ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Defeasible reasoning; Nonmonotonic rule systems; Proof explanation; RuleML; Semantic Web proof layer

Indexed keywords

FORMAL LANGUAGES; LOGIC PROGRAMMING; XML;

AGENT COMMUNICATION; DEFEASIBLE REASONING; NONMONOTONIC RULE SYSTEMS; PROOF EXPLANATION; SEMANTIC WEB PROOF LAYER;

SEMANTIC WEB;

EID: 38749152878     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2007.10.006     Document Type: Article

References (31)

1. D.L. McGuinness, F. van Harmelen, OWL Web Ontology Language Overview W3C Recommendation, 2004, http://www.w3.org/TR/owl-features/.
2. B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: combining logic programs with description logic, in: WWW, 2003, pp. 48-57.
3. Levy A.Y., and Rousset M.C. Combining Horn rules and description logics in CARIN. Artif. Intell. 104 1-2 (1998) 165-209
4. Rosati R. On the decidability and complexity of integrating ontologies and rules. WSJ 3 1 (2005) 41-60
5. M. Sintek, S. Decker, TRIPLE - a query, inference, and transformation language for the Semantic Web, in: International Semantic Web Conference, 2002, pp. 364-378.
6. I. Horrocks, P.F. Patel-Schneider, A proposal for an OWL Rules Language, in: WWW'04: Proceedings of the 13th International Conference on WorldWideWeb, ACM Press, New York, NY, USA, 2004, pp. 723-731.
7. RuleML: The RuleML Initiative website, 2006, http://www.ruleml.org/.
8. Antoniou G., and Bikakis A. DR-Prolog: a system for defeasible reasoning with rules and ontologies on the Semantic Web. IEEE Trans. Know. Data Eng. 19 2 (2007) 233-245
9. N. Bassiliades, N. Antonioux, I.P. Vlahavas, DR-DEVICE: a Defeasible Logic system for the Semantic Web, in: PPSWR, 2004, pp. 134-148.
10. B.N. Grosof, M.D. Gandhe, T.W. Finin, SweetJess: translating DAMLRuleML to JESS, in: RuleML, 2002.
11. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, dlvhex: a system for integrating multiple semantics in an answer-set programming framework, in: WLP, 2006, pp. 206-210.
12. G. Governatori, A. Rotolo, G. Sartor, Temporalised normative positions in defeasible logic, in: ICAIL'05: Proceedings of the 10th International Conference on Artificial intelligence and Law, ACM Press, New York, NY, USA, 2005, pp. 25-34.
13. G. Governatori, A. Rotolo, Defeasible Logic: agency, intention and obligation, in: DEON, 2004, pp. 114-128.
14. T. Skylogiannis, G. Antoniou, N. Bassiliades, G. Governatori, DR-NEGOTIATE - a system for automated agent negotiation with Defeasible Logic-based strategies, in: EEE'05: Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05), Washington, DC, USA, IEEE Computer Society, 2005, pp. 44-49.
15. Antoniou G., Skylogiannis T., Bikakis A., Doerr M., and Bassiliades N. DR-BROKERING: a semantic brokering system. Know. Based Syst. 20 1 (2007) 61-72
16. Weitzner D.J., Hendler J., Berners-Lee T., and Connolly D. Creating a policy-aware web: discretionary, rule-based access for the world wide web. Web and Information Security (2005), IRM Press
17. Antoniou G., Billington D., Governatori G., and Maher M.J. Representation results for defeasible logic. ACM Trans. Comput. Logic 2 2 (2001) 255-287
18. Grosof B.N. Prioritized conflict handing for logic programs. ILPS'97: Proceedings of the 1997 International Symposium on Logic Programming (1997), MIT Press, Cambridge, MA, USA 197-211
19. Antoniou G., Maher M.J., and Billington D. Defeasible Logic versus logic programming without negation as failure. J. Log. Program. 42 1 (2000) 47-57
20. M.J. Maher, A model-theoretic semantics for Defeasible Logic, in: Paraconsistent Computational Logic, 2002, pp. 67-80.
21. Governatori G., Maher M.J., Antoniou G., and Billington D. Argumentation semantics for Defeasible Logic. J. Log. Comput. 14 5 (2004) 675-702
22. Antoniou G., Billington D., Governatori G., and Maher M.J. Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6 6 (2006) 703-735
23. Maher M.J., Rock A., Antoniou G., Billington D., and Miller T. Efficient defeasible reasoning systems. Int. J. Artif. Intell. Tool 10 4 (2001) 483-501
24. JADE: Java Agent Development Framework, 2006, http://jade.tilab.com/.
25. J. Barwise, J. Etchemendy, The language of first-order logic, Center for the Study of Language and Information, 1993.
26. Shortliffe E. Computer-based Medical Consultations: MYCIN (1976), American Elsevier, New York
27. Swartout W., Paris C., and Moore J. Explanations in knowledge systems: design for explainable expert systems. IEEE Expert: Intell. Syst. Appl. 06 3 (1991) 58-64
28. D.L. McGuinness, A. Borgida, Explaining subsumption in description logics, in: IJCAI (1), 1995, pp. 816-821.
29. D. McGuinness, Explaining reasoning in Description Logics, Ph.D. Thesis, New Brunswick, NJ, 1996.
30. McGuinness D.L., and da Silva P.P. Explaining answers from the Semantic Web: the Inference Web approach. J. Web Sem. 1 4 (2004) 397-413
31. da Silva P.P., McGuinness D.L., and Fikes R. A proof markup language for Semantic Web services. Inform. Syst. 31 4 (2006) 381-395