Declarative Semantics for the Rule Interchange Format Production Rule Dialect.
Carlos Viegas DamásioJosé Júlio AlferesJoão LeitePublished in: ISWC (1) (2010)
Keyphrases
- production rules
- interchange format
- declarative semantics
- logic programming
- knowledge representation
- semantic web
- deductive databases
- logic programs
- logic programming language
- knowledge based systems
- production system
- knowledge base
- rule base
- operational semantics
- rule language
- business rules
- file formats
- partial order
- knowledge representation and reasoning
- rule engine
- programming language
- software engineering
- knowledge structures
- expert systems
- semantic web rule language
- database
- classification rules
- multistage
- artificial intelligence
- data mining
- databases