eu.transformproject.provenance.reasoning
public abstract class ProvenanceReasoning extends java.lang.Object
Constructor and Description |
---|
ProvenanceReasoning() |
Modifier and Type | Method and Description |
---|---|
abstract OWLFacts |
completeValidation() |
abstract OWLFacts |
equivalenceValidation() |
abstract boolean |
isConsistent() |
abstract OWLFacts |
membershipValidation() |
abstract OWLFacts |
propertyValidation() |
abstract OWLFacts |
subsumptionValidation() |
public abstract boolean isConsistent()
public abstract OWLFacts subsumptionValidation()
public abstract OWLFacts equivalenceValidation()
public abstract OWLFacts membershipValidation()
public abstract OWLFacts propertyValidation()
public abstract OWLFacts completeValidation()