Semantic Specifications for the Rewrite Rule Machine.
Joseph A. GoguenPublished in: Concurrency: Theory, Language, And Architecture (1989)
Keyphrases
- high level
- association rules
- semantic information
- semantic similarity
- domain specific
- semantic web
- rule learning
- semantic content
- semantic search
- semantic network
- semantic features
- formal specification
- semantic web technologies
- semantic constraints
- active databases
- rule sets
- semantic annotation
- domain independent
- production rules
- parallel machines
- flowshop
- classification rules
- semantic level
- semantically equivalent
- delay insensitive