HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Process innovation: reengineering work through information technology
Process innovation: reengineering work through information technology
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
A logic for programming database transactions
Logics for databases and information systems
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An event-condition-action language for XML
Proceedings of the 11th international conference on World Wide Web
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Distributed and Parallel Databases
The Elog Web Extraction Language
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Agent-Oriented Enterprise Modeling Based on Business Rules
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Advanced SQL 1999: Understanding Object-Relational, and Other Advanced Features
Advanced SQL 1999: Understanding Object-Relational, and Other Advanced Features
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
Driving and Monitoring Provisional Trust Negotiation with Metapolicies
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
Rule Languages for Security and Privacy in Cooperative Systems
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Combining ECA Rules with Process Algebras for the Semantic Web
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
Theory and Practice of Logic Programming
Reasoning Web
Verifying integrity constraints on web sites
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic logics: meaning and utility
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Web Semantics: Science, Services and Agents on the World Wide Web
Reactivity on the web: paradigms and applications of the language XChange
Journal of Web Engineering
Realizing business processes with ECA rules: benefits, challenges, limits
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Extending an OWL web node with reactive behavior
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Ten theses on logic languages for the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Flavours of XChange, a rule-based reactive language for the (semantic) web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Rules and Ontologies for the Semantic Web
Reasoning Web
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Challenges for Rule Systems on the Web
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Are your rules online? four web rule essentials
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
RIF centered rule interchange in the semantic web
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
A personalized framework for medication treatment management in chronic care
IEEE Transactions on Information Technology in Biomedicine - Special section on affective and pervasive computing for healthcare
Relationships and data sanitization: a study in scarlet
Proceedings of the 2010 workshop on New security paradigms
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Linked rules: principles for rule reuse on the web
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Computers and Electronics in Agriculture
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
A semantic policy sharing and adaptation infrastructure for pervasive communities
Proceedings of the 21st international conference companion on World Wide Web
International Journal of Metadata, Semantics and Ontologies
Context Based Adaptation of Semantic Rules in Smart Buildings
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
Rules play an increasingly important role in a variety of SemanticWeb applications as well as in traditional IT systems. As a universal medium for publishing information, the Web is envisioned to become the place for publishing, distributing, and exchanging rule-based knowledge. Realizing the importance and the promise of this vision, W3C has created the Rule Interchange Format Working Group (RIF WG) and chartered it to develop an interchange format for rules in alignment with the existing standards in the Semantic Web architecture stack. However, creating a generally accepted interchange format is by no means a trivial task. First, there are different understandings of what a "rule" is. Researchers and practitioners distinguish between deduction rules, normative rules, production rules, reactive rules, etc. Second, even within the same category of rules, systems use different (often incompatible) semantics and syntaxes. Third, existing Semantic Web standards, such as RDF and OWL, show incompatibilities with many kinds of rule languages at a conceptual level. This article discusses the role that different kinds of rule languages and systems play on the Web, illustrates the problems and opportunities in exchanging rules through a standardized format, and provides a snapshot of the current work of the W3C RIF WG.