Rule interchange on the Web

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

Volumn 4636 LNCS, Issue , 2007, Pages 269-309

  Boley, Harold ^a   Kifer, Michael ^b   Pǎtrânjan, Paula Lavinia ^c   Polleres, Axel ^d  

^a UNIVERSITY OF NEW BRUNSWICK   (Canada)

^b USA   (United States)

^c UNIVERSITY OF MUNICH   (Germany)

^d NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC PUBLISHING; FORMAL LANGUAGES; LOGIC PROGRAMMING; SEMANTICS; SYNTACTICS; WEB SERVICES;

RULE BASED KNOWLEDGE; RULE LANGUAGES;

SEMANTIC WEB;

EID: 38149090959     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74615-7_5     Document Type: Conference Paper

References (66)

1. Angele, J., Boley, H., de Bruijn, J., Fensel, D., Hitzler, P., Kifer, M., Krummenacher, R., Lausen, H., Polleres, A., Studer, R.: Web Rule Language (WRL), W3C member submission (September 2005)
2. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
3. Battle, S., Bernstein, A., Boley, H., Grosof, B., Grüninger, M., Hull, R., Kifer, M., Martin, D., McGuinness, D.L., McIlraith, S., Su, J., Tabet, S.: Semantic web services framework (SWSF)
4. Berstel, B., Bonnard, P., Bry, F., Eckert, M., Pãtrânjan, P.-L.: Reactive Rules on the Web. In: Reasoning Web - Third International Summer School 2007, Tutorial Lectures (2007) In preparation.
5. Bonifati, A., Braga, D., Campi, A., Ceri, S.: Active XQuery. In: 18th Int. Conf. on Data Engineering (ICDE2002), San Jose, California (2002)
6. Bailey, J., Bry, F., Eckert, M., Pãtrânjan, P.-L.: Flavours of XChange, a rule-based reactive language for the (Semantic) Web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, Springer, Heidelberg (2005)
7. Biron, P.V., Malhotra, A. (eds): XML Schema Part 2: Datatypes, 2nd edn. W3C Recommendation (October 2004)
8. Boley, H., Kifer, M. (eds.): RIF Core Design, W3C Editor's Draft (30 March 2007)
9. Beckett, D.: Turtle - Terse RDF Triple Language (April 2006) Available at http://www.dajobe.org/2004/01turtle/
10. Bry, F., Eckert, M., Patranjan, P.-L.: Reactivity on the web: Paradigms and applications of the language xchange. Journal of Web Engineering 5(1), 3-24 (2006)
11. Bry, F., Eckert, M., Pãtrânjan, P.-L.: Reactivity on the Web: Paradigms and applications of the language XChange. J. of Web Engineering 5(1), 3-24 (2006)
12. Bry, F., Eckert, M., Pãtrânjan, P.-L., Romanenko, I.: Realizing business processes with eca rules: Benefits, challenges, limits. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 10-11. Springer, Heidelberg (2006)
13. Baumgartner, R., Flesca, S., Gottlob, G., Nieuwenhuis, R., Voronkov, A.: The elog web extraction language. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, Springer, Heidelberg (2001)
14. Behrends, E., Fritzen, O., May, W., Schenk, F.: Combining ECA Rules with Process Algebras for the Semantic Web. In: Proceedings of Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, Georgia, USA, November 10-11, 2006, pp. 29-38 (2006)
15. Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-270, University of Toronto, April 1992, Revised: (February 1994), http://www.cs.toronto.edu/ ~bonner/transaction-logic.html
16. Bonner, A.J., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 5, pp. 117-166. Kluwer Academic Publishers, Dordrecht (1998)
17. Berners-Lee, T.: Web for Real People, April 2005. Keynote Speech at the 14th World Wide Web Conference (WWW2005). Slides available at http://www.w3.org/2005/Talks/0511-keynote-tbl/ [BM05] Bry, F., Marchiori, M.: Ten theses on logic languages for the Semantic Web. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, Springer, Heidelberg (2005)
18. Bonatti, P.A., Olmedilla, D.: Driving and monitoring provisional trust negotiation with metapolicies. In: IEEE Int. Workshop on Policies for Distributed Systems and Networks, IEEE Computer Society Press, Los Alamitos (2005)
19. Bonatti, P.A.: Rule languages for security and privacy in cooperative systems. In: 29th Annual International Computer Software and Appli-cations Conference (COMPSAC 2005), Edinburgh, Scotland, UK, July 25-28, 2005, pp. 268-269 (2005)
20. Bailey, J., Poulovassilis, A., Wood, P.T.: An event-condition-action language for XML. In: Proc. Int. World Wide Web Conf. pp. 486-495. ACM, New York (2002)
21. Bry, F., Schwertel, U.: REWERSE - reasoning on the Web. AgentLink News, 15 (2004)
22. Business Rules Group (2005), www.businessrulesgroup.org
23. Cabeza, D., Hermenegildo, M.: Distributed www programming using (ciao-)prolog and the pillow library. Theory and Practice of Logic Programming 1(3), 251-282 (2001)
24. Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187-230 (1993)
25. Chen, W., Kifer, M., Warren, D.S.: HILOG: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187-230 (1993)
26. Davenport, T.H.: Process Innovation: Reengineering Work through Information Technology. Havard Business School Press, Boston, Massachusetts (1993)
27. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On representational issues about combinations of classical theories with nonmonotonic rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol. 4092, Springer, Heidelberg (2006)
28. Dean, M., Schreiber, C., Bechhofer, S., Harmelen, F.v., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference, W3C Recommendation (February 2004)
29. Delugach, H. (ed.): Iso common logic (2006) available at http://philebus.tamu.edu/cl/
30. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Transactions on Database Systems 22(3), 364-418 (1997)
31. Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web. LNCS, vol. 4126, pp. 93-127. Springer, Heidelberg (2006)
32. EU-Rent Case Study (2005), www.eurobizrules.org/ebrc2005/eurentcs/eurent. htm
33. European Business Rules Conference (2005), www.eurobizrules.org
34. Fernandez, M.F., Florescu, D., Levy, A.Y., Suciu, D.: Verifying integrity constraints on web sites. In: IJCAI, pp. 614-619 (1999)
35. Fitting, M.: Fixpoint semantics for logic programming - a survey. Theoretical Computer Science 278(1-2), 25-51 (2002)
36. Furche, T., Linse, B., Bry, F., Plexousakis, D., Gottlob, G.: Rdf querying: Language constructs and evaluation methods compared. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web. LNCS, vol. 4126, pp. 1-52. Springer, Heidelberg (2006)
37. Forgy, C.: RETE: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19, 17-37 (1982)
38. Ginsberg, A., Hirtle, D., McCabe, F., Patranjan, P.-L. (eds.): RIF Core Design. W3C Working Draft
39. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, RA., Bowen, K. (eds.) 5th Int'l Conf. on Logic Programming, pp. 1070-1080. The MIT Press, Cambridge, Massachusetts (1988)
40. Van Gelder, A., Ross, K., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: 7th ACM Symposium on Principles of Database Systems, Austin, Texas, pp. 221-230. ACM, New York (1988)
41. Hall, J.: Business rules boot camp. In: Tutorial at the European Business Rules Conference (2005)
42. Hayes, P.: RDF semantics. Technical report, W3C, W3C Recommendation (February 2004), http://www.w3.org/TR/rdf-mt/
43. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML, W3C Member Submission (2004)
44. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741-843 (1995)
45. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3), 499-562 (2006)
46. Melton, J.: Advanced SQL 1999: Understanding Object-Relational, and Other Advanced Features. Elsevier Science Inc. New York, USA (2002)
47. Malhotra, A., Melton, J., Walsh, N. (eds.): XQuery 1.0 and XPath 2.0 Functions and Operators, W3C Recommendation (January 2007), available at http://www.w3.org/TR/xpath-functions/
48. May, W., Schenk, F., von Lienen, E.: Extending an OWL Web Node with Reactive Behavior. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 134-148. Springer, Heidelberg (2006)
49. Prud'hommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF, W3C Candidate Recommendation (2006), available at http://www.w3.org/TR/rdf- sparql-query/
50. Polleres, A.: From SPARQL to rules (and back). In: Proceedings of the 16th World Wide Web Conference (WWW 2007) Banff, Canada, May 2007. Accepted for publication, technical report version (2007), available at http://www.polleres. net/publications/GIA-TR-2006-11-28.pdf
51. Papamarkos, G., Poulovassilis, A., Wood, P.T.: Event-condition-action rule languages for the Semantic Web. In: Bressan, S., Chaudhri, A.B., Lee, M.L., Yu, J.X., Lacroix, Z. (eds.) CAiSE 2002 and VLDB 2002. LNCS, vol. 2590, pp. 309-327. Springer, Heidelberg (2003)
52. Potamianos, S., Stonebraker, M.: The postgres rule system. In: Widom, J., Ceri, S. (eds.) Active Database Systems - Triggers and Rules for Advanced Database Processing, pp. 44-61. Springer, Berlin, (1996)
53. Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax, W3C Recommendation (February 2004)
54. Pãtrânjan, P.-L.: The Language XChange: A Declarative Approach to Reactivity on the Web. Dissertation/Ph.D. thesis, Institute of Computer Science, LMU, Munich, 2005. PhD Thesis, Institute for Informatics, University of Munich (2005)
55. Rosati, R.: Integrating Ontologies and Rules: Semantic and Computational Issues. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web. LNCS, vol. 4126, pp. 128-151. Springer, Heidelberg (2006)
56. Schaffert, S.: Xcerpt: A Rule-Based Query and Transformation Language for the Web. PhD thesis, University of Munich (October 2004)
57. Shoham, Y.: Nonmonotonic logics: Meaning and utility. In: Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI-87), pp. 388-393. Morgan Kaufmann, San Francisco (1987)
58. Schenk, S., Staab, S.: Networked rdf graphs. Technical Report Arbeitsberichte des Fachbereichs Informatik 3/2007, Institut für Informatik, Universität Koblenz-Landau (2007)
59. Swift, T., Warren, D.S.: Efficiently implementing slg resolution (January 1994)
60. ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. Journal of Web Semantics 3(2) (2005)
61. The Business Rules Group. Defining business rules - what are they really? (2000) Available at www.businessrulesgroup.org
62. Taveter, K., Wagner, G.: Agent-oriented enterprise modeling based on business rules. In: ER, pp. 527-540 (2001)
63. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1) (2003)
64. Wagner, C., Giurca, A., Lukichev, S.: A Usable Interchange Format for Rich Syntax Rules Integrating OCL, RuleML and SWRL. In: Hitzler, P., Wache, H., Eiter, T. (eds.) RoW2006 Reasoning on the Web Workshop at WWW2006 (2006)
65. Wielemaker, J., Huang, Z., van der Meij, L.: Swi-prolog and the web. manuascript (2006), http://hcs.science.uva.nl/projects/SWI-Prolog/articles/TPLP- plweb.pdf
66. Widom, J.: The starburst active database rule system. Knowledge and Data Engineering 8(4), 583-595 (1996)