Declarative Rule
- Name: Inference
- Description in English: Generalized Modus Ponens. It defines the :rule formula that was used, the :binding of variables in the rule, the :evidence formula which is usually an Extraction used to make the bindings, and :gives is the formula that is the result of the GMP.
- Specification Language: N3
- Source(s):
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
