Browser2: http://inference-web.org/2.0/pml-provenance.owl#DeclarativeRule

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)

http://inference-web.org/2.0/pml-provenance.owl

(view original document)

Prefix Map

http://www.w3.org/1999/02/22-rdf-syntax-ns#

(view original document)

http://www.w3.org/2000/01/rdf-schema#

(view original document)

http://www.w3.org/2002/07/owl#

(view original document)

http://www.w3.org/2000/10/swap/reason#

(view original document)

http://inferenceweb.stanford.edu/2004/03/iw.owl#

(view original document)

http://inferenceweb.stanford.edu/2004/07/iw.owl#

(view original document)

http://inference-web.org/2.0/pml-provenance.owl#

(view original document)

http://inference-web.org/2.0/pml-justification.owl#

(view original document)

http://inference-web.org/2.0/pml-owl.owl#

(view original document)

http://inference-web.org/2.0/ds.owl#

(view original document)

Expandable Class(es)