A General Markup Framework for Integrity and Derivation Rules

Dagstuhl Seminar Proceedings

Volumn 5371, Issue , 2006, Pages

  Wagner, Gerd ^a   Giurca, Adrian ^a   Lukichev, Sergey ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

integrity rules derivation rules; rule markup languages; rule meta models

Indexed keywords

MARKUP LANGUAGES; SYNTACTICS; VISUAL LANGUAGES;

CLASS MODELS; DERIVATION RULES; INTEGRITY RULE DERIVATION RULE; METAMODELING; OBJECT MANAGEMENT; RULE DERIVATION; RULE MARKUP LANGUAGES; RULE META-MODEL; RULES LANGUAGES; SEMANTIC WEB RULES;

MODELING LANGUAGES;

EID: 84979015468     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Clark, K.L., Negation as Failure, in: Gallaire, H., and Minker, J. (eds.), Logic and Data Bases, Plenum Press, NY, pp.293-322, 1978.
2. Gelfond, M., Lifschitz, V., The stable model semantics for logic programming In Proc. of ICLP-88, pp. 1070-1080.
3. Gelfond, M., Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, vol. 9, pp. 365-385, 1991.
4. Wagner, G., How to Design a General Rule Markup Language, Proceedings of the Workshop XML Technologies for the Semantic Web (XSW 2002), HU Berlin, Insti tut fur Informatik, June 2002, Lecture Notes in Informatics, Gesellschaft f. Informatik.
5. Wagner, G., Antoniou, G., Tabet, S., and Boley, H.,The Abstract Syntax of RuleML Towards a General Web Rule Language Framework, Rule Markup Initiative (RuleML), http://www.ruleml.org
6. Wagner, G., Web Rules Need Two Kind of Negations, in Proc. of Principles and Practice of Semantic Web Reasoning, PPSWR 2003, pp.33-50.
7. DOM Model, W3C Recommendation, http://www.w3.org/DOM/
8. Jess, Sandia Lab., http://herzberg.ca.sandia.gov/jess/
9. Model Driven Architecture (MDA), OMG, http://www.omg.org/cgi-bin/doc?mdaguide
10. MS OutLook, Microsoft Corp., http://www.microsoft.com
11. Object Constraint Language (OCL), v2.0, http://www.omg.org/docs/ptc/03-1014.pdf
12. Object Management Group (OMG), http://www.omg.org
13. Oracle Views, Oracle Corp., http://oracle.com
14. Resource Description Framework (RDF), W3 Recommendation, http://www.w3.org/RDF/
15. Semantic Web Rule Language (SWRL), http://www.daml.org/swrl
16. Standard Query Language (SQL1999)
17. Web Ontology Language (OWL), W3 Recommendation, http://www.w3.org/2004/OWL/
18. XML Metadata Interchange (XMI), http://www.omg.org/technology/documents/formal/xmi.htm
19. XSB, http://xsb.sourceforge.net/