http://www.estrellaproject.org/lkif-core/lkif-rules.owl#Rule
Class rules:Rule
Annotations
rdfs:comment
An LKIF rule, based on swrl:Impl
Class Axioms
rdfs:subClassOf
role:Epistemic_Role
role:played_by
some (
expression:Expression
and
mereo:Composition
)
role:played_by
all
mereo:Composition
Other Properties
rdf:type
owl:Class
References
as rdfs:domain (
rules:rule_predicate
)
as rdfs:range (
rules:rebuts
,
rules:prior
,
rules:rule_predicate
)
as rdfs:subClassOf (
rules:Argument
,
rules:Valid_Rule
)
Generated with
TopBraid Composer
by
TopQuadrant, Inc.