org.apache.marmotta.kiwi.reasoner.model.program

Class Justification

java.lang.Object

org.apache.marmotta.kiwi.reasoner.model.program.Justification

public class Justification
extends Object

Reason Maintenance: A justification for the existence of a triple. The justification contains a reference to the triple it supports and references to the triples and rules that support this justification.

A justification is created and stored each time a reasoning rule infers new triples. Each of the inferred triples will be supported by the rules and base triples that were used in the inference. This makes both explanations and maintenance much simpler, i.e. when a base triple is deleted, we can remove all justifications that contain it and then remove all inferred triples that are no longer supported by any justification.

User: sschaffe

Constructor Summary

Constructors

Constructor and Description
Justification()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object o)
Date	getCreatedAt()
long	getId()
Set<Rule>	getSupportingRules()
Set<KiWiTriple>	getSupportingTriples()
KiWiTriple	getTriple()
int	hashCode()
void	setCreatedAt(Date createdAt)
void	setId(long id)
void	setSupportingRules(Set<Rule> supportingRules)
void	setSupportingTriples(Set<KiWiTriple> supportingTriples)
void	setTriple(KiWiTriple triple)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Justification

public Justification()

Method Detail

getId

public long getId()

setId

public void setId(long id)

getTriple

public KiWiTriple getTriple()

setTriple

public void setTriple(KiWiTriple triple)

getSupportingTriples

public Set<KiWiTriple> getSupportingTriples()

setSupportingTriples

public void setSupportingTriples(Set<KiWiTriple> supportingTriples)

getSupportingRules

public Set<Rule> getSupportingRules()

setSupportingRules

public void setSupportingRules(Set<Rule> supportingRules)

getCreatedAt

public Date getCreatedAt()

setCreatedAt

public void setCreatedAt(Date createdAt)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object