Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Design and Implementation of the Ariel Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Agent-Oriented Enterprise Modeling Based on Business Rules
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Challenges for Rule Systems on the Web
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Towards a language for rule-enhanced business process modeling
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
| Hi-index | 0.00 |
A general web rule (markup) language has several purposes. It may serve as a lingua franca to exchange rules between different systems and tools. It may be used to express derivation rules for enriching web ontologies by adding definitions of derived concepts or for defining data access permissions; to describe and publish the reactive behaviour of a system in the form of reaction rules; and to provide a complete XML-based specification of a software agent. Further uses may arise in novel web applications. In this paper, we consider the problem of how to design a general web rule language that can be used for these and for future emerging purposes. Given the great diversity of rule concepts and existing rule languages, such a language will consist of several overlapping sublanguages that share a common metamodel. The development of this rule metamodel is a difficult conceptualisation and integration problem.