[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Version Control Commit by tara_athan
Author: tara_athan Date: 2012-12-22 15:26:44 -0500 (Sat, 22 Dec 2012) New Revision: 48 Web View: https://tools.oasis-open.org/version-control/browse/wsvn/legalruleml/trunk/schemas/?rev=48&sc=1 Modified: trunk/schemas/relaxng/modules/rule_module.rnc trunk/schemas/rsd/lrml4xsd.xsd trunk/schemas/rsd/spec.xsd trunk/schemas/simplified/lrml4xsd.rnc_simplified.rnc Log: The rule module (modules/rule_module.rnc) is modified to allow a more expressive content model in the head of constitutive rules. In particular, conjunctions, disjunctions, implications, equivalence and quantifications are allowed. The Relax NG schema is written in such a way that the expressivity of rules can, with minor modifications, be coordinated with the expressivity of implications, or varied independently.
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]