Confluence and Semantics of Constraint Simplification Rules.
Slim AbdennadherThom W. FrühwirthHolger MeussPublished in: Constraints An Int. J. (1999)
Keyphrases
- transformation rules
- deduction rules
- semantic constraints
- logical rules
- rewrite systems
- derivation rules
- active rules
- rule language
- default rules
- formal semantics
- highly expressive
- attribute values
- owl ontologies
- rule sets
- association rules
- uncertain information
- production rules
- preprocessing
- decision rules
- semantic representation
- constraint language
- association rule mining
- domain experts
- rule engine
- logic programming
- update operators
- multiresolution
- knowledge sources