3 Terms and Definitions
3.1 abstract pattern
a pattern in a rule that has been parameterized to enable reuse
3.2 abstract rule
a collection of assertions which can be included in other rules but which does not fire itself
3.3 active pattern
a pattern belonging to the active phase
3.4 active phase
one particular phase, whose patterns are used for validation
3.5 assertion
a natural-language assertion with corresponding assertion test and ancillary attributes: assertions are marked up with assert and report elements
3.6 assertion test
an assertion modelled or implemented by a boolean query; an assertion test "succeeds" or "fails"
3.7 correct schema
schema that satisfies all the requirements of this part of ISO/IEC 19757
3.8 diagnostic
named natural language statements providing information to end-users of validators concerning the expected and actual values together with repair hints
3.9 elaborated rule context expression
a single rule context expression which explicitly disallows items selected by lexically previous rule contexts in the same pattern
3.10 good schema
a correct schema with queries which terminate and do not add constraints to those of the natural-language assertions. Note: It may not be possible to compute that a schema is good.
3.11 implementation
an implementation of a Schematron validator
3.12 name
a token with no whitespace characters
3.13 natural-language assertion
a natural-language statement expressing some part of a pattern; a natural-language assertion is "met" or "unmet"
3.14 pattern
a named structure in instances specified in a schema by a lexically-ordered collection of rules
3.15 phase
a named, unordered collection of patterns; patterns may belong to more than one phase; two names, #ALL and #DEFAULT, are reserved with particular meanings
3.16 progressive validation
the validation of constraints in stages determined or grouped to some extent by the schema author rather than, for example, entirely determined by document order
3.17 query language binding
a named set, specified in a document called a Query Language Binding, of the languages and conventions used for assertion tests, rule-context expressions and so on, by a particular Schematron implementation. Schematron is defined as a framework, with a default query language binding, but other query language bindings are possible. 6.4 specifies the information to be required by a query language binding and Annex C defines the default query language binding for Schematron.
3.18 rule
unordered collection of assertions with a rule-context expression and ancillary attributes
3.19 rule context
a selection of elements; a rule is said to fire when an information item matches its query
3.20 rule-context expression
a query to specify subjects; a rule-context is said to match an information item when that information item has not been matched by any lexically-previous rule context expressions in the same pattern and the information item is one of the information items that the query would specify
3.21 schema
specification of a set of XML documents
3.22 subject
a particular information item which corresponds to the object of interest of the natural-language assertions and typically is matched by the context expression of a rule
3.23 valid with respect to a schema
member of the set of XML documents described by the schema: an instance document is valid if no assertion tests in fired rules of active patterns fail
3.24 variable
a constant value, evaluated within the parent schema, phase, pattern or rule and scoped within the parent schema, phase, pattern or rule