Closed greenTara closed 10 years ago
In the xsd (dr.xsd) and the corresponding RelaxNG XML (dr.rng) this distinction into predicate sorts (frame/object) and functional sorts (terms) is implemented by two groups “extended-signature-function-sorts.content” and “extended-signature-predicate-sorts.content”.
In the manually adapted RelaxNG compact schema (dr.rnc) I added this distinction manually as suggested.
Please pull the latest dr.rnc.
-Adrian
Von: Tara Athan [mailto:notifications@github.com] Gesendet: Dienstag, 28. Januar 2014 00:51 An: RuleML/reaction-ruleml Betreff: [reaction-ruleml] Create distinct patterns for
These would be of the form Time_term = element Time {Time.type} Time_formula = element Time {Time.type} Only one of these should be reifiable. In particular, the formula should be reifiable because there is no need to reify a term. Node.choice |= Time_formula These patterns are used in different places SimpleKeyTerm.choice |= Time_term SimpleFormula-node.choice |= Time_formula Similarly for Spatial, Interval. The patterns for these could diverge. For example, we usually allow an @type attribute on simple terms, but not on formulas. Also, Time-term might take an @iri. In contrast, Time-formula might take a child in Fuzzy RuleML, or an , which would not be allowed for a term in strict DR 1.0. — Reply to this email directly or view it on GitHub.
Closed by 29217025f4c28df90e41429b0f4485c240a0ad54
These would be of the form
Time_term = element Time {Time.type} Time_formula = element Time {Time.type}
Only one of these should be reifiable. In particular, the formula should be reifiable because there is no need to reify a term.
Node.choice |= Time_formula
These patterns are used in different places
SimpleKeyTerm.choice |= Time_term
SimpleFormula-node.choice |= Time_formula
Similarly for Spatial, Interval.
The patterns for these could diverge. For example, we usually allow an @type attribute on simple terms, but not on formulas. Also, Time-term might take an @iri. In contrast, Time-formula might take a <degree> child in Fuzzy RuleML, or an <oid>, which would not be allowed for a term in strict DR 1.0.