public class ForwardLink extends AbstractConclusion
Conclusion representing derived existential restrictions from this
source Context to a target Context. Intuitively, if a
subclass axiom SubClassOf(:A ObjectSomeValuesFrom(:r :B)) is derived
by inference rules, then a ForwardLink with the relation :r
and the target :B can be produced for the source context with root
:A.| Modifier and Type | Class and Description |
|---|---|
static class |
ForwardLink.ThisBackwardLinkRule
A type of
ModifiableLinkRule created for
ForwardLinks and stored in the Context where it is
produced. |
| Constructor and Description |
|---|
ForwardLink(IndexedPropertyChain relation,
Context target) |
| Modifier and Type | Method and Description |
|---|---|
<R> R |
accept(ConclusionVisitor<R> visitor,
Context context) |
boolean |
addToContextBackwardLinkRule(Context context) |
void |
apply(BasicSaturationStateWriter engine,
Context context) |
boolean |
containsBackwardLinkRule(Context context) |
IndexedPropertyChain |
getRelation() |
Context |
getTarget() |
boolean |
removeFromContextBackwardLinkRule(Context context) |
String |
toString() |
getSourceContextpublic ForwardLink(IndexedPropertyChain relation, Context target)
public IndexedPropertyChain getRelation()
public Context getTarget()
public void apply(BasicSaturationStateWriter engine, Context context)
public <R> R accept(ConclusionVisitor<R> visitor, Context context)
public boolean addToContextBackwardLinkRule(Context context)
public boolean removeFromContextBackwardLinkRule(Context context)
public boolean containsBackwardLinkRule(Context context)
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.