A defeasible logic reasoner for the semantic web

International Journal on Semantic Web and Information Systems

Volumn 2, Issue 1, 2006, Pages 1-41

  Bassiliades, Nick ^a   Antoniou, Grigoris ^b   Vlahavas, Ioannis ^a  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

^b Institute of Computer Science   (Greece)

Author keywords

Defeasible logic; RDF; Reasoning; Rule markup language; Rules; Semantic brokering

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; MARKUP LANGUAGES; METADATA; WEB CRAWLER;

DEFEASIBLE LOGIC; DEFEASIBLE REASONING; INCONSISTENT INFORMATION; ONTOLOGY INTEGRATION; OPERATIONAL SEMANTICS; REASONING; RULE MARKUP LANGUAGES; RULES;

SEMANTIC WEB;

EID: 33750256251     PISSN: 15526283     EISSN: 15526291     Source Type: Journal    
DOI: 10.4018/jswis.2006010101     Document Type: Article

References (46)

1. Alexaki, S., Christophides, V., Karvounarakis, G., Plexousakis, D., & Tolle, K. (2001). The ICS-FORTH RDFSuite: Managing voluminous RDF description bases. Proceedings of the 2nd International Workshop on the Semantic Web, Hong-Kong.
2. Antoniou, G., & Arief, M. (2002). Executable declarative business rules and their use in electronic commerce. Proceedings of the ACM Symposium on Applied Computing.
3. Antoniou, G. (2002). Nonmonotonic rule systems on top of ontology layers. Proceedings of the 1st Int. Semantic Web Conference (pp. 394-398). Springer.
4. Antoniou, G., Bikakis, A. (2004). A system for nonmonotonic rules on the Web.
5. Antoniou, G., Billington, D., Maher, M.J. (1999). On the analysis of regulations using defeasible rules. Proceedings of the 32nd Hawaii International Conference on Systems Science.
6. Antoniou, G., Billington, D., Governatori, G., Maher, M.J. (2001). Representation results for defeasible logic. ACM Trans. on Computational Logic, 2(2), 255-287.
7. Antoniou, G., Billington, D., Governatori, G., & Maher M.J. (2000). A flexible framework for defeasible logics. Proceedings of the AAAI/IAAI 2000 (pp. 405-410). AAAI/MIT Press.
8. Antoniou, G., & Harmelen, F. van (2004). A Semantic Web primer. MIT Press.
9. Antoniou, G., Maher, M. J., & Billington, D. (2000a). Defeasible logic versus logic programming without negation as failure. Journal of Logic Programming, 42(1), 45-57.
10. Antoniou, G., Maher, M. J., & Billington, D. (2000b). Defeasible logic versus logic programming without negation as failure. Journal of Logic Programming, 41(1), 45-57.
11. Ashri, R., Payne, T., Marvin, D., Surridge, M., & Taylor, S. (2004). Towards a Semantic Web security infrastructure. Proceedings of the Semantic Web Services, Spring Symposium Series, Stanford University, California.
12. Bassiliades, N., & Vlahavas, I. (2003). Capturing RDF descriptive semantics in an object oriented knowledge base system. Proceedings of the 12th Int. WWW Conf. (WWW2003), Budapest.
13. Bassiliades, N., & Vlahavas, I. (2004, November 8). R-DEVICE: A deductive RDF rule language. In G. Antoniou & H. Boley (Eds.), Proceedings of the 3rd Int. Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004) (pp. 65-80). Hiroshima, Japan: Springer-Verlag
14. Bassiliades, N., Vlahavas, I., & Sampson, D. (2003). Using logic for querying XML data. Web-Powered Databases, 1, 1- 35.
15. Bassiliades, N., Vlahavas, I., & Elmagarmid, A.K. (2000). E DEVICE: An extensible active knowledge base system with multiple rule type support. IEEE TKDE, 12(5), 824-844.
16. Berners-Lee, T., Hendler, J., & Lassila, O. (2001). The Semantic Web. Scientific American, 284(5), 34-43.
17. Boley, H., & Tabet, S. (2005). The rule markup initiative. Retrieved from www.ruleml.org/.
18. Broekstra, J., Kampman, A., & van Harmelen, F. (2003). Sesame: An architecture for storing and querying RDF data and schema information. In D. Fensel, J. A. Hendler, H. Lieberman, & W. Wahlster (Eds.), Spinning the Semantic Web (pp. 197-222). MIT Press.
19. CLIPS Basic Programming Guide (v. 6.23) (2005). Retrieved from www.ghg.net/clips/CLIPS.html.
20. Connolly, D., van Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., & Stein, L.A. (2001). DAML+OIL Reference Description. Retrieved from www.w3c.org/TR/daml+oil-reference.
21. nd ed.). Prentice-Hall.
22. Dumas, M., Governatori, G., Hofstede, A. ter, & Oaks, P. (2003). A formal approach to negotiating agents development. Electronic Commerce Research and Applications, 1(2), 193-207.
23. van Gelder, A., Ross, K., & Schlipf, J. (1991). The well-founded semantics for general logic programs. Journal of the ACM, 38, 620-650.
24. Governatori, G. (2005). Representing business contracts in RuleML. International Journal of Cooperative Information Systems, 14(2-3), 181-216.
25. Grosof, B. N., & Poon, T. C. (2003). SweetDeal: Representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. Proc. 12th Int. Conf. on World Wide Web (pp. 340-349). ACM Press.
26. Grosof, B. N. (1997). Prioritized conflict handing for logic programs. Proc. of the 1997 Int. Symposium on Logic Programming (pp. 197-211).
27. Grosof, B. N., Horrocks, I., Volz, R., & Decker, S. (2003). Description logic programs: Combining logic programs with description logic. Proc. of the 12th Intl. Conf. on the World Wide Web (WWW-2003) (pp. 48-57). ACM Press.
28. Grosof, B.N., Gandhe, M.D., & Finin, T.W. (2002). SweetJess: Translating DAMLRuleML to JESS. Proc. Int. Workshop on Rule Markup Languages for Business Rules on the Semantic Web (RuleML 2002).
29. Hayes, P. (2004). RDF Semantics. W3C Recommendation. Retrieved from www.w3c.org/TR/rdf-mt/.
30. Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., & Tsarkov, D. (2005). OWL rules: A proposal and prototype implementation. Web Semantics: Science, Services and Agents on the World Wide Web, 3(1), 23-40.
31. Kakas, A.C., Mancarella, P., & Dung, P.M. (1994). The acceptability semantics for logic programs. Proc. of the 11th Int. Conf. on Logic Programming (pp. 504- 519). MIT Press.
32. Levy, A., & Rousset, M.-C. (1998). Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2), 165-209.
33. Li, N., Grosof, B. N., & Feigenbaum, J. (2003). Delegation logic: A logic-based approach to distributed authorization. ACM Trans. on Information Systems Security, 6(1).
34. Maher, M. J. (2001). Propositional defeasible logic has linear complexity. Logic Programming Theory and Practice, 1(6), 691-711.
35. Maher, M. J., & Governatori, G. (1999). A semantic decomposition of defeasible logics. Proc. AAAI'99 (pp. 299-305).
36. Maher, M.J. (2002). A model-theoretic semantics for defeasible logic. Proc. Workshop on Paraconsistent Computational Logic (pp. 67-80).
37. Maher, M.J., Rock, A., Antoniou, G., Billington, D., & Miller, T. (2001). Efficient defeasible reasoning systems. Int. Journal of Tools with Artificial Intelligence, 10(4), 483-501.
38. Marek, V.W., & Truszczynski, M. (1993). Nonmonotonic logics: Context dependent reasoning. Springer-Verlag.
39. McBride, B. (2001). Jena: Implementing the RDF model and syntax specification. Proc. 2nd Int. Workshop on the Semantic Web.
40. McGuinness, D.L., & van Harmelen, F. (2004). OWL Web Ontology Language: Overview. Retrieved from http://www.w3c.org/TR/owl-features/.
41. Motik, B., Sattler, U., & Studer, R. (2005). Query answering for OWL-DL with rules. Journal of Web Semantics.
42. Nute, D. (1994). Defeasible logic. Handbook of logic in artificial intelligence and logic programming (vol. 3): Nonmonotonic reasoning and uncertain reasoning. Oxford University Press.
43. Seaborne, A., & Reggiori, A. (2002). RDF query and rule languages use cases and examples survey. Retrieved from rdfstore.sourceforge.net/2002/06/24/ rdfquery/.
44. Touretzky, D.D., Horty, J.F., & Thomason, R.H. (1987). A clash of intuitions: The current state of nonmonotonic inheritance systems. Proc. IJCAI-87 (pp. 476- 482). Morgan Kaufmann.
45. Wagner, G. (2003). Web rules need two kinds of negation. Proc. First Workshop on Semantic Web Reasoning, LNCS 2901 (pp. 33-50). Springer.
46. Xalan-Java XSLT processor (n.d.). Retrieved from xml.apache.org/xalan-j/.