A defeasible logic reasoner for the semantic web

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

Volumn 3323 LNCS, Issue , 2004, Pages 49-64

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

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

^b INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS RULES; DEDUCTIVE RULE; DEFEASIBLE LOGIC; DEFEASIBLE REASONING; GENERIC RULES; INCONSISTENT INFORMATION; ONTOLOGY INTEGRATION; OPERATIONAL SEMANTICS; PRODUCTION RULES; REASONER; RULE-BASED APPROACH; WEB SOURCES;

LINGUISTICS; MARKUP LANGUAGES; METADATA; ONTOLOGY; QUERY LANGUAGES; SEMANTIC WEB; SEMANTICS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES; SEMANTIC WEB;

EID: 77249171924     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30504-0_5     Document Type: Conference Paper

References (37)

1. Alexaki S., Christophides V., Karvounarakis G., Plexousakis D. and Tolle K., "The ICS-FORTH RDFSuite: Managing Voluminous RDF Description Bases", Proc. 2nd Int. Workshop on the Semantic Web, Hong-Kong, 2001.
2. Antoniou G. and Arief M., "Executable Declarative Business rules and their use in Electronic Commerce", Proc. ACM Symposium on Applied Computing, 2002.
3. Antoniou G., "Nonmonotonic Rule Systems on Top of Ontology Layers", Proc. 1st Int. Semantic Web Conference, Springer, LNCS 2342, pp. 394-398, 2002.
4. Antoniou G., Bikakis A., "A System for Nonmonotonic Rules on the Web", Submitted, 2004.
5. Antoniou G., Billington D. and Maher M.J., "On the analysis of regulations using defeasible rules", Proc. 32nd Hawaii International Conference on Systems Science, 1999.
6. Antoniou G., Billington D., Governatori G. and Maher M.J., "Representation results for defeasible logic", ACM Trans. on Computational Logic, 2(2), 2001, pp. 255-287.
7. Antoniou G., Billington D., Governatori G., Maher M.J, "A Flexible Framework for Defeasible Logics", Proc. AAAI/IAAI 2000, AAAI/MIT Press, pp. 405-410.
8. Antoniou G., Harmelen F. van, A Semantic Web Primer, MIT Press, 2004.
9. Antoniou G., Maher M. J., Billington D., "Defeasible Logic versus Logic Programming without Negation as Failure", Journal of Logic Programming, 41(1), 2000, pp. 45-57.
10. Ashri R., Payne T., Marvin D., Surridge M. and Taylor S., "Towards a Semantic Web Security Infrastructure", Proc. of Semantic Web Services, 2004 Spring Symposium Series, Stanford University, California, 2004. [II] Bassiliades N., Antoniou G. and Vlahavas I., "DR-DEVICE: A Defeasible Logic System for the Semantic Web", Proc. 2nd Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR04), LNCS 3208, Springer-Verlag, 2004.
11. Bassiliades N., Vlahavas I., "Capturing RDF Descriptive Semantics in an Object Oriented Knowledge Base System", Proc. 12th Int. WWW Conf. (WWW2003), Budapest, 2003.
12. Bassiliades N., Vlahavas I., "R-DEVICE: A Deductive RDF Rule Language", accepted for presentation at Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), Hiroshima, Japan, 8 Nov. 2004.
13. Bassiliades N., Vlahavas I., and Sampson D., "Using Logic for Querying XML Data", Web-Powered Databases, Ch. 1, pp. 1-35, Idea-Group Publishing, 2003.
14. Bassiliades N., Vlahavas I., Elmagarmid A.K., "E-DEVICE: An extensible active knowledge base system with multiple rule type support", IEEE TKDE, 12(5), pp. 824-844, 2000.
15. Berners-Lee T., Hendler J., and Lassila O., "The Semantic Web", Scientific American, 284(5), 2001, pp. 34-43.
16. Boley H., Tabet S., The Rule Markup Initiative, www.ruleml.org/
17. Broekstra J., Kampman A. and Harmelen F. van, "Sesame: An Architecture for Storing and Querying RDF Data and Schema Information", Spinning the Semantic Web, Fensel D., Hendler J. A., Lieberman H. and Wahlster W., (Eds.), MIT Press, pp. 197-222, 2003.
18. CLIPS Basic Programming Guide (v. 6.21), www.ghg.net/clips/CLIPS. html
19. Connolly D., Harmelen F. van, Horrocks I., McGuinness D.L., Patel-Schneider P.F., Stein L.A., DAML+OIL Reference Description, 2001, www.w3c.org/TR/daml+oil-reference
20. nd ed., Prentice-Hall, 1997.
21. Gelder A. van, Ross K. and Schlipf J., "The well-founded semantics for general logic programs", Journal of the ACM, Vol. 38, 1991, pp. 620-650.
22. Governatori G., Dumas M., Hofstede A. ter and Oaks P., "A formal approach to legal negotiation", Proc. ICAIL 2001, pp. 168-177, 2001.
23. Grosof B. N. and Poon T. C., "SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions", Proc. 12th Int. Conf. on World Wide Web., ACM Press, pp. 340-349, 2003.
24. Grosof B. N., "Prioritized conflict handing for logic programs", Proc. of the 1997 Int. Symposium on Logic Programming, pp. 197-211, 1997.
25. Grosof B. N., Horrocks I., Volz R. and Decker S., "Description Logic Programs: Combining Logic Programs with Description Logic", Proc. 12th Intl. Conf. on the World Wide Web (WWW-2003), ACM Press, 2003, pp. 48-57.
26. Grosof B.N., Gandhe M.D., Finin T.W., "SweetJess: Translating DAMLRuleML to JESS", Proc. Int. Workshop on Rule Markup Languages for Business Rules on the Semantic Web (RuleML 2002).
27. Hayes P., "RDF Semantics", W3C Recommendation, Feb. 2004, www.w3c.org/TR/rdf-mt/
28. Levy A. and Rousset M.-C., "Combining Horn rules and description logics in CARIN", Artificial Intelligence, Vol. 104, No. 1-2, 1998, pp. 165-209.
29. Li N., Grosof B. N. and Feigenbaum J.,"Delegation Logic: A Logic-based Approach to Distributed Authorization", ACM Trans. on Information Systems Security, 6(1), 2003.
30. Maher M.J., "A Model-Theoretic Semantics for Defeasible Logic", Proc. Workshop on Paraconsistent Computational Logic, pp. 67-80, 2002.
31. Maher M.J., Rock A., Antoniou G., Billington D., Miller T., "Efficient Defeasible Reasoning Systems", Int. Journal of Tools with Artificial Intelligence, 10(4), 2001, pp. 483-501.
32. Marek V.W., Truszczynski M., Nonmonotonic Logics; Context Dependent Reasoning, Springer-Verlag, 1993.
33. McBride B., "Jena: Implementing the RDF Model and Syntax Specification", Proc. 2nd Int. Workshop on the Semantic Web, 2001.
34. Nute D., "Defeasible logic", Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning, Oxford University Press, 1994.
35. Seaborne A., and Reggiori A., "RDF Query and Rule languages Use Cases and Examples survey", rdfstore.sourceforge.net/2002/06/24/rdf-query/
36. Web Ontology Language (OWL), http://www.w3c.org/2004/OWL/
37. Xalan-Java XSLT processor, xml.apache.org/xalan-j/