A system for nonmonotonic rules on the web

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

Volumn 3323 LNCS, Issue , 2004, Pages 23-36

  Antoniou, G ^a   Bikakis, A ^a   Wagner, G ^b  

^a UNIVERSITY OF CRETE   (Greece)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS RULES; DECLARATIVE SEMANTICS; DEFEASIBLE REASONING; DEFEASIBLE RULES; INCONSISTENT INFORMATION; NONMONOTONIC; ONTOLOGY INTEGRATION; RULE-BASED APPROACH;

LINGUISTICS; LOGIC PROGRAMMING; MARKUP LANGUAGES; ONTOLOGY; PROGRAM TRANSLATORS; SEMANTIC WEB; SEMANTICS; C (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES; SEMANTIC WEB;

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

References (29)

1. nd International Workshop on the Semantic Web, Hongkong, May 1, 2001.
2. st International Semantic Web Conference. Springer, LNCS 2342, 394-398
3. G. Antoniou and M. Arief (2002). Executable Declarative Business rules and their use in Electronic Commerce. In Proc. ACM Symposium on Applied Computing
4. G. Antoniou, D. Billington and M.J. Maher (1999). On the analysis of regulations using defeasible rules. In Proc. 32nd Hawaii International Conference on Systems Science
5. G. Antoniou, D. Billington, G. Governatori and M.J. Maher (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic 2, 2 (2001): 255 - 287
6. G. Antoniou, M. J. Maher and D. Billington (2000). Defeasible Logic versus Logic Programming without Negation as Failure. Journal of Logic Programming 41,1 (2000): 45-57
7. G. Antoniou, M.J. Maher (2002). Embedding Defeasible Logic into Logic Programs. In Proc. ICLP 2002, 393-404
8. R. Ashri, T. Payne, D. Marvin, M. Surridge and S. Taylor (2004). Towards a Semantic Web Security Infrastructure. In Proc. of Semantic Web Services 2004 Spring Symposium Series, Stanford University, California
9. T. Berners-Lee, J. Hendler, and O. Lassila (2001). The Semantic Web. Scientific American, 284, 5 (2001): 34-43
10. J. Broekstra, A. Kampman and F. van Harmelen (2003) Sesame: An Architecture for Storin gand Querying RDF Data and Schema Information. In: D. Fensel, J. A. Hendler, H. Lieberman and W. Wahlster (Eds.), Spinning the Semantic Web, MIT Press, 197-222
11. D. Connolly, F. van Harmelen, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider and L. A. Stein (2001). DAML+OIL Reference Description. www.w3.org/TR/daml+oil-reference
12. M. A. Covington, D. Nute and A. Vellino (1997). Prolog Programming in Depth, 2nd ed. Prentice-Hall
13. M. Dean and G. Schreiber (Eds.) (2004). OWL Web Ontology Language Reference. www.w3.org/TR/2004/REC-owl-ref-20040210/
14. A. van Gelder, K. Ross and J. Schlipf (1991). The well-founded semantics for general logic programs. Journal of the ACM38 (1991): 620-650
15. G. Governatori, M. Dumas, A. ter Hofstede and P. Oaks (2001). A formal approach to legal negotiation. In Proc. ICAIL 2001, 168-177
16. B. N. Grosof (1997). Prioritized conflict handing for logic programs. In Proc. of the 1997 International Symposium on Logic Programming, 197-211
17. B. N. Grosof, M. D. Gandhe and T. W. Finin: SweetJess: Translating DAMLRuleML to JESS. RuleML 2002. In: Proc. International Workshop on Rule Markup Languages for Business Rules on the Semantic Web
18. B. N. Grosof, I. Horrocks, R. Volz and S. Decker (2003). Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. 12th Intl. Conf. on the World Wide Web (WWW-2003), ACM Press
19. B. N. Grosof and T. C. Poon (2003). SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In Proc. 12th International Conference on World Wide Web. ACM Press, 340 - 349
20. A. Levy and M.-C. Rousset (1998). Combining Horn rules and description logics in CARIN. Artificial Intelligence 104, 1-2 (1998):165 - 209
21. N. Li, B. N. Grosof and J. Feigenbaum (2003). Delegation Logic: A Logic-based Approach to Distributed Authorization. In: ACM Transactions on Information Systems Security 6,1 (2003)
22. M. J. Maher, A. Rock, G. Antoniou, D. Billington and T. Miller (2001). Efficient Defeasible Reasoning Systems. International Journal of Tools with Artificial Intelligence 10,4 (2001): 483-501
23. V.W. Marek and M. Truszczynski (1993). Nonmonotonic Logics; Context Dependent Reasoning. Springer Verlag
24. D. Nute (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning. Oxford University Press
25. RuleML. The Rule Markup Language Initiative. www.ruleml.org
26. D.D. Touretzky, J.F. Horty and R.H. Thomason. (1987). A Clash of Intuitions: The Current State of Nonmonotonic Inheritence Systems. In Proc. IJCAI-87, 476-482, Morgan Kaufmann, 1987.
27. N. Vassiliades, G. Antoniou and Y. Vlahavas (2004). RD-DEVICE: A Defeasible Reasoning Systems for the Web. Submitted.
28. XSB, Logic Programming and Deductive Database System for Unix and Windows. xsb.sourceforge.net
29. Lex & Yacc, dinosaur.compilertools.net