RuleML/reaction-ruleml

Issues

• dr.xsd does not permit @meta and @vocab on Rule or Implies

  #67 opened 9 years ago by greenTara
  1

• Merge of master branch into 1.02

  #83 opened 9 years ago by greenTara
  0

• Interval should allow empty content

  #86 opened 9 years ago by greenTara
  1

• And in Naf does not validate in dr.xsd, but wrapped in Operator it does

  #87 opened 9 years ago by greenTara
  0

• Mismatch in content model of Operation between Reaction and Consumer

  #84 opened 9 years ago by greenTara
  1

• bash script problems

  #85 opened 9 years ago by greenTara
  0

• Use of name meta for attribute and element causes conflict in JAXB

  #76 opened 10 years ago by greenTara
  1

• Attribute @material is allowed CURIE or IRI content

  #82 opened 9 years ago by greenTara
  1

• Interval constructors (Every, ...) should be allowed wherever functional terms are, in dr.xsd

  #80 opened 9 years ago by greenTara
  0

• Attribute @index should be allowed on the formula edge in Operation, in dr.xsd

  #81 opened 9 years ago by greenTara
  1

• Attribute @style should be allowed in Expr and Plex in dr.xsd

  #79 opened 9 years ago by greenTara
  0

• Operator renamed to Operation

  #77 opened 9 years ago by greenTara
  0

• Uncertainty degree should be allowed in all formulas and rules in dr.xsd

  #78 opened 9 years ago by greenTara
  0

• RuleML 1.02

  #75 opened 9 years ago by greenTara
  1

• IntervalAlgebraOperator.content has redundancies in RNC definition in dr-flat.rnc

  #72 opened 10 years ago by greenTara
  3

• Atom.content is not correct in dr-flat.rnc

  #74 opened 10 years ago by greenTara
  4

• Plex.content is incorrect in dr-flat.rnc

  #73 opened 10 years ago by greenTara
  0

• Expr content model is incorrect in dr-flat.rnc

  #71 opened 10 years ago by greenTara
  0

• RNC derived from flattened XSD needs to remove redundant choice patterns

  #70 opened 10 years ago by greenTara
  0

• RNC generated from flattened XSD needs correct Interval content model

  #69 opened 10 years ago by greenTara
  0

• RNC modules are needed to redefine attribute lists of all Deliberation elements

  #68 opened 10 years ago by greenTara
  1

• Profile does not accept @safety and @size

  #60 opened 10 years ago by greenTara
  0

• Attribute synch between Relax NG and XSD

  #66 opened 10 years ago by greenTara
  1

• Quantifer node - content model and parents

  #65 opened 10 years ago by greenTara
  0

• Implies not allowed in Exists within quantification

  #64 opened 10 years ago by greenTara
  0

• Quantifier is not allowed inside Forall

  #63 opened 10 years ago by greenTara
  0

• Remove alias patterns in RNC schemas

  #19 opened 10 years ago by greenTara
  1

• Quantifier is not allowed inside meta

  #62 opened 10 years ago by greenTara
  0

• Rulebase not allowed inside Operator (connective type) in XSD

  #61 opened 10 years ago by greenTara
  0

• Expr content model

  #58 opened 10 years ago by greenTara
  1

• Documentation for RuleML content model

  #57 opened 10 years ago by greenTara
  2

• Assert attributes missing in XSD

  #59 opened 10 years ago by greenTara
  2

• Content Model for Negations

  #40 opened 11 years ago by greenTara
  11

• Example file ModalDerivationRuleML does not validate with RNC

  #51 opened 11 years ago by greenTara
  3

• On Expr and Fun, @per="effect" is not allowed by original XSD

  #43 opened 11 years ago by greenTara
  10

• key and keyref not allowed when validating against original XSD

  #33 opened 11 years ago by greenTara
  3

• Rewrite documentation in RNC schema

  #18 opened 11 years ago by greenTara
  2

• Two slotted rest variables allowed in Time and Spatial in original XSD

  #35 opened 11 years ago by greenTara
  1

• Update simplified content models in /tmp

  #16 opened 11 years ago by greenTara
  1

• Autogeneration of instances

  #23 opened 11 years ago by greenTara
  5

• Convert to validate against monolithic schema design pattern

  #20 opened 11 years ago by greenTara
  1

• Empty Interval elements

  #41 opened 11 years ago by greenTara
  5

• Modularize schema

  #17 opened 11 years ago by greenTara
  2

• Redefinition of content models from Deliberation RuleML

  #34 opened 11 years ago by greenTara
  0

• Rule is not in the content models of Assert, Retract, Forall and Rulebase

  #31 opened 11 years ago by greenTara
  0

• Driver schema

  #26 opened 11 years ago by greenTara
  2

• Create a new directory for test suites

  #21 opened 11 years ago by greenTara
  0

• Delete old comment

  #12 opened 11 years ago by greenTara
  1

• start pattern

  #14 opened 11 years ago by greenTara
  0

• Create distinct patterns for <Time> as a term and <Time> as a formula

  #13 opened 11 years ago by greenTara
  2