Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1109/RULEML.2006.8guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Combining ECA Rules with Process Algebras for the Semantic Web

Published: 10 November 2006 Publication History

Abstract

We describe how Event-Condition-Action (ECA) rules can be combined with Process Algebras like CCS as specification of the action part to obtain a powerful, declarative formalism that also covers intuitively procedural tasks in an appropriate way. Since both formalisms have a concise formal semantics, verification and other kinds of reasoning about such specifications are possible. Using a rule markup with cleanly distinguished rule components allows for such a compositional approach. The approach is currently under implementation in a General ECA Framework for the Web and the Semantic Web.

Cited By

View all
  • (2013)Towards complex actions for complex event processingProceedings of the 7th ACM international conference on Distributed event-based systems10.1145/2488222.2488261(135-146)Online publication date: 29-Jun-2013
  • (2011)A proposal for transactions in the semantic webProceedings of the 15th Portugese conference on Progress in artificial intelligence10.5555/2051115.2051178(690-703)Online publication date: 10-Oct-2011
  • (2011)A framework for semantic recommendations in situational applicationsProceedings of the 16th international conference on Database systems for advanced applications: Part II10.5555/1997251.1997289(413-428)Online publication date: 22-Apr-2011
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings
RULEML '06: Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
November 2006
112 pages
ISBN:0769526527

Publisher

IEEE Computer Society

United States

Publication History

Published: 10 November 2006

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 03 Oct 2024

Other Metrics

Citations

Cited By

View all
  • (2013)Towards complex actions for complex event processingProceedings of the 7th ACM international conference on Distributed event-based systems10.1145/2488222.2488261(135-146)Online publication date: 29-Jun-2013
  • (2011)A proposal for transactions in the semantic webProceedings of the 15th Portugese conference on Progress in artificial intelligence10.5555/2051115.2051178(690-703)Online publication date: 10-Oct-2011
  • (2011)A framework for semantic recommendations in situational applicationsProceedings of the 16th international conference on Database systems for advanced applications: Part II10.5555/1997251.1997289(413-428)Online publication date: 22-Apr-2011
  • (2010)Efficient semantic event processingProceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II10.1007/978-3-642-13489-0_5(60-74)Online publication date: 30-May-2010
  • (2009)An approach for data-driven and logic-based complex Event ProcessingProceedings of the Third ACM International Conference on Distributed Event-Based Systems10.1145/1619258.1619293(1-2)Online publication date: 6-Jul-2009
  • (2009)WSMX 1.0Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications10.1007/978-3-642-02121-3_64(826-830)Online publication date: 31-May-2009
  • (2007)Rule interchange on the webProceedings of the Third international summer school conference on Reasoning Web10.5555/2391482.2391489(269-309)Online publication date: 3-Sep-2007
  • (2007)Reactive rules on the webProceedings of the Third international summer school conference on Reasoning Web10.5555/2391482.2391487(183-239)Online publication date: 3-Sep-2007
  • (2007)r3Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I10.5555/1784607.1784689(933-952)Online publication date: 25-Nov-2007
  • (2007)Rule-based active domain brokering for the semantic webProceedings of the 1st international conference on Web reasoning and rule systems10.5555/1768725.1768747(259-268)Online publication date: 7-Jun-2007

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media