Matches in LOV for { <http://inference-web.org/2.0/pml-provenance.owl#DeclarativeRule> ?p ?o. }
Showing items 1 to 4 of
4
with 100 items per page.
- DeclarativeRule type Class.
- DeclarativeRule comment "A declarative inference rule can be fully specified by patterns for premises and its conclusion. For example, Modus Ponens, can be specified by the premise patterns ?A, ?A -> ?B and the conclusion pattern ?B.".
- DeclarativeRule label "Declarative Rule".
- DeclarativeRule subClassOf InferenceRule.