RuleML reaction-ruleml issues

RuleML / reaction-ruleml

Reaction RuleML

http://reaction.ruleml.org

8 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

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

#87 greenTara opened 9 years ago
0
Interval should allow empty content

#86 greenTara closed 9 years ago
1
bash script problems

#85 greenTara opened 9 years ago
0
Mismatch in content model of Operation between Reaction and Consumer

#84 greenTara closed 9 years ago
1
Merge of master branch into 1.02

#83 greenTara closed 9 years ago
0
Attribute @material is allowed CURIE or IRI content

#82 greenTara closed 9 years ago
1
Attribute @index should be allowed on the formula edge in Operation, in dr.xsd

#81 greenTara closed 9 years ago
1
Interval constructors (Every, ...) should be allowed wherever functional terms are, in dr.xsd

#80 greenTara closed 9 years ago
0
Attribute @style should be allowed in Expr and Plex in dr.xsd

#79 greenTara closed 9 years ago
0
Uncertainty degree should be allowed in all formulas and rules in dr.xsd

#78 greenTara closed 9 years ago
0
Operator renamed to Operation

#77 greenTara closed 9 years ago
0
Use of name meta for attribute and element causes conflict in JAXB

#76 greenTara opened 9 years ago
1
RuleML 1.02

#75 greenTara closed 9 years ago
1
Atom.content is not correct in dr-flat.rnc

#74 greenTara opened 9 years ago
4
Plex.content is incorrect in dr-flat.rnc

#73 greenTara opened 9 years ago
0
IntervalAlgebraOperator.content has redundancies in RNC definition in dr-flat.rnc

#72 greenTara opened 9 years ago
3
Expr content model is incorrect in dr-flat.rnc

#71 greenTara opened 9 years ago
0
RNC derived from flattened XSD needs to remove redundant choice patterns

#70 greenTara opened 9 years ago
0
RNC generated from flattened XSD needs correct Interval content model

#69 greenTara opened 9 years ago
0
RNC modules are needed to redefine attribute lists of all Deliberation elements

#68 greenTara opened 9 years ago
1
dr.xsd does not permit @meta and @vocab on Rule or Implies

#67 greenTara closed 9 years ago
1
Attribute synch between Relax NG and XSD

#66 greenTara opened 9 years ago
1
Quantifer node - content model and parents

#65 greenTara closed 9 years ago
0
Implies not allowed in Exists within quantification

#64 greenTara closed 9 years ago
0
Quantifier is not allowed inside Forall

#63 greenTara closed 9 years ago
0
Quantifier is not allowed inside meta

#62 greenTara closed 9 years ago
0
Rulebase not allowed inside Operator (connective type) in XSD

#61 greenTara closed 9 years ago
0
Profile does not accept @safety and @size

#60 greenTara closed 9 years ago
0
Assert attributes missing in XSD

#59 greenTara closed 9 years ago
2
Expr content model

#58 greenTara closed 9 years ago
1
Documentation for RuleML content model

#57 greenTara closed 9 years ago
2
Inherit in Driver and Update Content Model

#56 greenTara closed 10 years ago
0
Testing and Fixing

#55 greenTara closed 10 years ago
0
Full Modularizatino

#54 greenTara closed 10 years ago
0
one auto-generated instance from updated XSD

#53 greenTara closed 10 years ago
0
adding generic Operator for formulas

#52 greenTara closed 10 years ago
0
Example file ModalDerivationRuleML does not validate with RNC

#51 greenTara closed 10 years ago
3
modules for @per = effect and modal, plus bugs and documentation

#50 greenTara closed 10 years ago
1
adding or editing tool tips in RNC

#49 greenTara closed 10 years ago
1
update monolithic content model documents

#48 greenTara closed 10 years ago
0
negation update

#47 greenTara closed 10 years ago
0
Alias renaming

#46 greenTara closed 10 years ago
0
Re issues #4 #36 #41 #43

#45 greenTara closed 10 years ago
0
fixing negation approach

#44 greenTara closed 10 years ago
0
On Expr and Fun, @per="effect" is not allowed by original XSD

#43 greenTara closed 10 years ago
10
fixing negation approach

#42 greenTara closed 10 years ago
0
Empty Interval elements

#41 greenTara closed 10 years ago
5
Content Model for Negations

#40 greenTara opened 10 years ago
11
partial resolution of issues #4 and #20, and refactored test and exa directories

#39 greenTara closed 10 years ago
0
refactor for schema design pattern, plus add normalizer

#38 greenTara closed 10 years ago
0