Proof explanation in the DR-DEVICE system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4524 LNCS, Issue , 2007, Pages 249-258

  Bassiliades, Nick ^a   Antoniou, Grigoris ^b   Governatori, Guido ^c  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

^b UNIVERSITY OF CRETE   (Greece)

^c UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; SEMANTIC WEB; USER INTERFACES; XML;

DEFEASIBLE REASONING; DR-DEVICE SYSTEMS; PROOF EXPLANATION; RULEML LANGUAGE;

SYSTEMS ANALYSIS;

EID: 38149134448     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_19     Document Type: Conference Paper

References (23)

1. Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Tran. on Knowledge and Data Engineer-ing 19(2), 233-245 (2007)
2. Antoniou, G., et al.: Proof Explanation for the Semantic Web Using Defeasible Logic.(submitted)
3. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. on Computational Logic 2(2), 255-287 (2001)
4. Barwise, J., Etchemendy, J.: The Language of First-Order Logic. Center for the study of Language and Information (1993)
5. Bassiliades, N., Antoniou, G., Vlahavas, I.: A Defeasible Logic Reasoner for the Semantic Web. Int. Journal on Semantic Web and Information Systems 2(1), 1-41 (2006) [6] Bassiliades, N., Kontopoulos, E., Antoniou, G.: A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 172-186. Springer, Heidelberg (2005)
6. Bassiliades, N., Vlahavas, I.: R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata. Int. Journal on Semantic Web and Information Systems 2(2), 24-90 (2006)
7. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL web ontology language reference, W3C Recommendation www.w3.org/TR/owl-ref/ (February 10 2004)
8. Boley, H., Tabet, S.: The Rule Markup Initiative, www.ruleml.org
9. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: Proc. WLP2006 , pp. 206-210 (2006)
10. Grosof, B.N.: Prioritized conflict handing for logic programs. In: Proc. of the 1997 Int. Symposium on Logic Programming, pp. 197-211 (1997)
11. Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: Proc. RuleML (2002)
12. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: In: Proc. 12th Intl. Conf. on the World Wide Web (WWW-2003), pp. 48-57. ACM Press, New York (2003)
13. Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A Proposal and Prototype Implementation. Journal of Web Semantics 3(1), 23-40 (2005)
14. Kontopoulos, E., Bassiliades, N., Antoniou, G.: Visualizing Defeasible Logic Rules for the Semantic Web. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 278-292. Springer, Heidelberg (2006)
15. Levy, A., Rousset, M.-C: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2), 165-209 (1998)
16. Maher, M.J.: A Model-Theoretic Semantics for Defeasible Logic. In: Proc. Workshop on Paraconsistent Computational Logic, pp. 67-80 (2002)
17. McGuinness, D.L., Borgida, A.: Explaining Subsumption in Description Logics. In: Proc. UCAI, pp. 816-821 (1995)
18. McGuinness, D.L., da Silva, P.: Explaining answers from the Semantic Web: the Inference Web approach. Journal of Web Semantics 1(4), 397-413 (2004)
19. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3(1), 41-60 (2005)
20. Shortliffe, E.: Computer-based medical consultations: MYCIN. Elsevier, North-Holland (1976)
21. Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Proc. Int. Semantic Web Conference, pp. 364-378 (2002)
22. Swartout, W., Paris, C., Moore, J.: Explanations in Knowledge Systems: Design for Explainable Expert Systems. IEEE Expert 6(3), 58-64 (1991)
23. Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Małiszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33-50. Springer, Heidelberg (2003)