Towards a general web rule language

International Journal of Web Engineering and Technology

Volumn 2, Issue 2-3, 2005, Pages 181-206

  Wagner, Gerd ^a,d,e   Damasio, Carlos Viegas ^b,f   Antoniou, Grigoris ^c,g  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^c INSTITUTE OF COMPUTER SCIENCE   (Greece)

^d RuleMLorg   (Germany)

^e REWERSEnet   (Germany)

^f REWERSE European Network of Excellence   (Portugal)

^g UNIVERSITY OF CRETE   (Greece)

Author keywords

Rule markup language; Rule metamodel; Rules; Semantic web

Indexed keywords

DATA ACQUISITION; FORMAL LANGUAGES; MATHEMATICAL MODELS; METADATA; SEMANTICS; XML;

RULE MARKUP LANGUAGE; RULE METAMODEL; SEMANTIC WEB; WEB ONTOLOGIES;

WORLD WIDE WEB;

EID: 31544454132     PISSN: 14761289     EISSN: 17419212     Source Type: Journal    
DOI: 10.1016/j.abb.2005.06.015     Document Type: Article

References (12)

1. Boley, H., Tabet, S. and Wagner, G. (2001) 'Design rationale of RuleML: a markup language for semantic web rules,' in Proc. Semantic Web Working Symposium (SWWS '01), Stanford University, July/August 2001.
2. Gelfond, M. and Lifschitz, V. (1998) 'The stable model semantics for logic programming', in R.A. Kowalski and K A. Bowen (Eds) Proc. of ICLP, MIT Press, pp. 1070-1080.
3. Grosof, B., Horrocks, I., Volz, R. and Decker, S.(2003) 'Description logic programs: Combining logic programs with description logic,' in Proceedings of WWW 2003, Budapest, Hungary, May 2003, pp. 117-132.
4. Hanson, E. (1996) 'The design and implementation of the Ariel active database rule system,' IEEE Transactions on Knowledge and Data Engineering, Vol. 8, No. 1, pp. 157-172.
5. Herre, H. and Wagner, G. (1997) 'Stable models are generated by a stable chain', J. of Logic Programming, Vol. 30, No. 2, pp. 165-177.
6. Herre, H., Jaspars, J. and Wagner, G. (1999) 'Partial logics with two kinds of negation as a foundation of knowledgebased reasoning', in D.M. Gabbay and H. Wansing (Eds) What Is Negation?, Oxford University Press.
7. McCarthy, D. and Dayal, U. (1989) 'The architecture of an active database management system', in Proceedings of ACM SIGMOD, May, pp.215-223.
8. Taveter, K. and Wagner, G. (2001) 'Agent-oriented enterprise modelling based on business rules', in H.S. Kunii, S. Jajodia and A. Solvberg (Eds) Proc. of 20th Int. Conf. on Conceptual modelling (ER2001), Yokohama, Japan, November 2001, Springer-Verlag, LNCS 2224, pp.527-540.
9. van Gelder, A. (1988) 'Negation as failure using tight derivations for general logic programs', in Foundations of Deductive Databases and Logic Programming, San Mateo (CA): Morgan Kaufmann, pp. 149-176.
10. van Gelder, A. (1989) 'The alternating fixpoint of logic programs with negation', in Proceedings of the ACM Symposium on Principles of Database Systems (PODS-89), pp. 1-10.
11. Wagner, G. (2003) 'Web rules need two kinds of negation', in F. Bry, N. Henze, and J. Maluszynski (Eds) Proceedings of Principles and Practice of Semantic Web Reasoning PPSWR 2003. Springer-Verlag LNCS 2901, December 2003.
12. Widom, J. (1996)'The Starburst active database rule system', IEEE Transactions on Knowledge and Data Engineering, Vol. 8, No. 4, pp.583-595.