DR-DEVICE: A defeasible logic system for the semantic Web

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

Volumn 3208, Issue , 2004, Pages 134-148

  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

COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; RECONFIGURABLE HARDWARE;

DEDUCTIVE RULE; DEFEASIBLE LOGIC; DEFEASIBLE REASONING; INCONSISTENT INFORMATION; ONTOLOGY INTEGRATION; OPERATIONAL SEMANTICS; PRODUCTION RULES; RULE-BASED APPROACH;

SEMANTIC WEB;

EID: 35048879638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30122-6_10     Document Type: Article

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., Bikakis A., "A System for Nonmonotonic Rules on the Web", Submitted, 2004.
4. Antoniou G., "Nonmonotonic Rule Systems on Top of Ontology Layers", Proc. Ist Int. Semantic Web Conference, Springer, LNCS 2342, pp. 394-398, 2002.
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., Govematori G. and Maher M.J., "Representation results for defeasible logic", ACM Trans, on Computational Logic, 2(2), 2001, pp. 255-287.
7. Antoniou G., Harmelen F. van, A Semantic Web Primer, MIT Press, 2004 (to appear).
8. 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.
9. 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.
10. Bassiliades N., Vlahavas I., "Capturing RDF Descriptive Semantics in an Object Oriented Knowledge Base System", Proc. 12th Int. WWW Conf. (WWW2003), Budapest, 2003.
11. Bassiliades N., Vlahavas I., "R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata", Technical Report TR-LPIS-141-03, LPIS Group, Dept. of Informatics, Aristotle University of Thessaloniki, Greece, 2003.
12. 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.
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. Bemers-Lee T., Hendler J., and Lassila O., "The Semantic Web", Scientific American, 284(5), 2001, pp. 34-43.
15. Boley H., Tabet S., The Rule Markup Initiative, www.ruleml.org/
16. 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.
17. CLIPS Basic Programming Guide (v. 6.21), www.ghg.net/clips/CLIPS.html
18. Connolly D., Harmelen F. van, Horrocks I., McGuinness D.L., Patel-Schneider P.F., Stein L.A., DAML+OIL Reference Description, 2001, www.w3.org/TR/daml+oil-reference
19. Covington M.A., Nute D., Vellino A., Prolog Programming in Depth, 2 ed., Prentice-Hall, 1997.
20. Dean M. and Schreiber G., (Eds.), OWL Web Ontology Language Reference, 2004, www.w3.org/TR/2004/REC-owl-ref-20040210/
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. Govematori 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., Gandhe M.D., Finin T.W., "SweetJess: Translating DAMLRuIeML to JESS", Proc. Int. Workshop on Rule Markup Languages for Business Rules on the Semantic Web (RuleML 2002).
26. 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.
27. Hayes P., "RDF Semantics", W3C Recommendation, Feb. 2004, www.w3.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., 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.
31. Maher M.J, Govematori G., "A Semantic Decomposition of Defeasible Logics", Proc. AAAI-99, Orlando, USA, AAAI/MIT Press, 1999, pp. 299-305.
32. Maher M.J., "A Model-Theoretic Semantics for Defeasible Logic", Proc. Workshop on Paraconsistent Computational Logic, pp. 67-80, 2002.
33. Marek V.W., Truszczynski M., Nonmonotonic Logics; Context Dependent Reasoning, Springer-Verlag, 1993.
34. McBride B., "Jena: Implementing the RDF Model and Syntax Specification", Proc. 2nd Int. Workshop on the Semantic Web, 2001.
35. Nute D., "Defeasible logic", Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning, Oxford University Press, 1994.
36. Seaborne A., and Reggiori A., "RDF Query and Rule languages Use Cases and Examples survey", rdfstore.sourceforge.net/2002/06/24/rdf-query/
37. Xalan-Java XSLTprocessor, xml.apache.org/xalan-j/