The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web

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

Volumn 5138 LNAI, Issue , 2008, Pages 345-351

  Bikakis, Antonis ^a,b   Papatheodorou, Constantinos ^b   Antoniou, Grigoris ^a,b  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF CRETE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INFORMATION THEORY; SEMANTIC WEB; SEMANTICS;

DEFEASIBLE LOGICS; DEFEASIBLE REASONINGS; DESKTOP APPLICATIONS; ONTOLOGICAL KNOWLEDGES; TOOL SUITES; WEB APPLICATIONS;

APPLICATIONS;

EID: 55349112898     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87881-0_31     Document Type: Conference Paper

References (14)

1. McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview W3C Recommendation (2004), http://www.w3.org/TR/owl-features/
2. Grosof, B.N., Horrocks, I., Volz, R., Decker. S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48-57 (2003)
3. Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2), 165-209 (1998)
4. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. WSJ 3(1), 41-60 (2005)
5. Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002, LNCS, vol. 2342, pp. 364-378, Springer, Heidelberg (2002)
6. Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL Rules Language. In: WWW 2004: Proceedings of the 13th international conference on World Wide Web, pp. 723-731. ACM Press, New York (2004)
7. Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering 19(2), 233-245 (2006)
8. Bassiliades, N., Antoniou, G., Vlahavas, I.P.: DR-DEVICE: A Defeasible Logic System for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134-148, Springer, Heidelberg (2004)
9. Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: RuleML (2002)
10. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: WLP, pp. 206-210 (2006)
11. Antoniou, G., Bikakis, A., Dimaresis, N., Genetzakis, M., Georgalis, G., Governatori, G., Karouzaki, E., Kazepis, N., Kosmadakis, D., Kritsotakis, M., Lilis, G., Papadogiannakis, A., Pediaditis, P., Terzakis, C., Theodosaki, R., Zeginis, D.: Proof explanation for a nonmonotonic semantic web rules language. Data and Knowledge Engineering 64(3), 662-687 (2008)
12. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory Pract. Log. Program 6(6), 703-735 (2006)
13. RuleML: The RuleML Initiative website (2006), http://www.ruleml.org/
14. Antoniou, G., Dimaresis, N., Governatori, G.: A system for modal and deontic defeasible reasoning. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 609-613, Springer, Heidelberg (2007)