A new version of this content is available. Please click here to read it.

Call for Papers: The 10th International Web Rule Symposium

December 7, 2015 at 9:59 AM
will be held at Stony Brook University, from July 5 to July 8. Past events were held in Sardinia (IT, 2002), Hiroshima (JP, 2004), Galway (IR, 2005), Athens (USA, 2006), Orlando (2007, 2008), Las Vegas (2009), Washington DC (2010), Barcelona (2011), Ft. Lauderdale (2011), Montpellier (2012), Seattle (2013), Prague (2014) and Berlin (2015).

RuleML 2016 will host multiple special tracks, as well as hosting the 10th International Rule Challenge, and the 6th RuleML Doctoral Consortium and Industry.

Important Dates

Register Title and Abstract in Easychair March 11, 2016
Paper Submission: March 18, 2016
Author Notification May 4, 2016
Camera Ready May 18, 2016
Conference: 5-8 July, 2016
Theory and Practice of Logic Programming A selection of the best papers from all tracks will be invited to be revised and extended for the post-conference publication in

a Special Issue of Cambridge journal

Theory and Practice of Logic Programming.

Special topic tracks

Smart Contracts, Blockchain and Rules

Smart Contracts have emerged as means to digitize and (semi-)automatically enforce (legal) contracts, backed by technologies --- a set of recent technologies that appeared the first time in the context of the cryptocurrencies bitcoin, but are now being transitioned to different domains.

Due to the relevance of rules in Smart Contracts, it is natural that the emerging area of Smart Contracts finds a relevant venue for dissemination and that RuleML uses this opportunity to expand the applicability of rule technologies.

Constraint Handling Rules

This track will bring together practitioners, interested in the theory and applications of Constraint Handling Rules ( ), including abductive reasoning, multi-agent systems, natural language processing, compilation, scheduling, spatial-temporal reasoning, testing and verification, and type systems.

Topics (not limited to): Semantics, Analysis, Methodologies, Applications, Extensions, Related Approaches

Event Driven Architectures and Active Database Systems

This special track will bring together practitioners, interested in the theory and applications of active databases.

Topics (not limited to): Complex Event Processing ( ), Active Database systems, Semantic Complex Event Processing, Stream Reasoning, Event-driven and Rule-based Systems for the Internet of Things ( )

Legal Rules and Reasoning

This track will bring together practitioners, interested in the legal rules and reasoning. Legal rules are interpretations of one or more norms formalized using logical rules in the form of antecedent and consequent.

Topics (not limited to): Learning from legal texts, Modeling normative rules, Regulatory compliance by rules, Modeling legislation, XML, standards for documents, Legal ontology, Semantic Web in Legal Domain, Legal Open Data and Rules, Reasoning about normative rules, Normative rules extraction by natural language processing.

Rule- and Ontology-Based Data Access and Transformation

This track solicits contributions on theoretical and practical aspects of rule- and ontology-based data access and transformation.

Topics (not limited to): Logics and rule languages of particular interest to data access or transformation, Tractability and intractability results for rule- and ontology-based systems in the presence of large amounts of data, Interactions between rules and in the presence of large amounts of data, Rule- and ontology-based data integration, Rule and ontology-driven user interfaces for data access, Implementations of R&OBDA&T systems, Reports on applications and lessons learnt

Rule Induction and Learning Track

This track will bring together practitioners, interested in and other learning aspects of learning rules and reasoning.

Topics (not limited to): Inductive rule learning, Classification rules, Association rules, Learning rules for the semantic web, Preference rules, Rule-based recommender systems, Relational learning, Learning business rules, Descriptive rule learning, Predictive rule learning

There will be 2 Semantic Web Meetups:
  1. The Stony Brook Semantic Web Meetup: http://www.meetup.com/Stony-Brook-Semantic-Web/ (coordinators: Erich Bremer and Jonas Almeida).
  2. The New York Semantic Web Meetup: http://www.meetup.com/semweb-25/ (coordinators: Marco Neumann and Chris Welty).