Found

The document has moved here.


Apache/2.2.3 (CentOS) Server at tw.rpi.edu Port 80

Instance Data

pmlp:DeclarativeRule
rdf:type owl:Class
rdfs: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.@en
rdfs:label Declarative Rule@en
rdfs:subClassOf pmlp:InferenceRule

Inlinks


Source(s) Prefix:Namespace Used Expandable Class(es)