Package org.openprovenance.prov.validation

Class Inference

java.lang.Object

org.openprovenance.prov.validation.Inference

public class Inference
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Hashtable<String,ActivityEntry>	activityEntries
Hashtable<String,EntityEntry>	entityEntries
Hashtable<QualifiedName,Set<QualifiedName>>	specializationTable

Constructor Summary

Constructors

Constructor	Description
Inference(Indexer indexer, Types typeChecker)

Method Summary

Modifier and Type	Method	Description
boolean	addEntry(Hashtable<QualifiedName,Set<QualifiedName>> table, QualifiedName specific, QualifiedName general)
Hashtable<QualifiedName,Set<QualifiedName>>	computeAlternateClosure(Config config)
Hashtable<QualifiedName,Set<QualifiedName>>	computeSpecializationClosure(Config config)
void	computeTransitiveClosure(Hashtable<QualifiedName,Set<QualifiedName>> table)
ActivityEntry	getOrCreateActivityEntry(String activityURI)
EntityEntry	getOrCreateEntityEntry(String entityURI)
void	inferIntervalBeginningAndEnds(Config config)
void	specializationAttributesInference(Config config)
void	specializationIsNotReflexive()
void	specializationIsNotReflexive(Config config)
String	summary()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

specializationTable

public Hashtable<QualifiedName,Set<QualifiedName>> specializationTable

activityEntries

public Hashtable<String,ActivityEntry> activityEntries

entityEntries

public Hashtable<String,EntityEntry> entityEntries

Constructor Detail

Inference

public Inference(Indexer indexer,
                 Types typeChecker)

Method Detail

inferIntervalBeginningAndEnds

public void inferIntervalBeginningAndEnds(Config config)

addEntry

public boolean addEntry(Hashtable<QualifiedName,Set<QualifiedName>> table,
                        QualifiedName specific,
                        QualifiedName general)

computeSpecializationClosure

public Hashtable<QualifiedName,Set<QualifiedName>> computeSpecializationClosure(Config config)

computeAlternateClosure

public Hashtable<QualifiedName,Set<QualifiedName>> computeAlternateClosure(Config config)

computeTransitiveClosure

public void computeTransitiveClosure(Hashtable<QualifiedName,Set<QualifiedName>> table)

specializationIsNotReflexive

public void specializationIsNotReflexive(Config config)

specializationIsNotReflexive

public void specializationIsNotReflexive()

specializationAttributesInference

public void specializationAttributesInference(Config config)

summary

public String summary()

getOrCreateActivityEntry

public ActivityEntry getOrCreateActivityEntry(String activityURI)

getOrCreateEntityEntry

public EntityEntry getOrCreateEntityEntry(String entityURI)