eu.transformproject.provenance.reasoning

Class ProvenanceReasoning

java.lang.Object

eu.transformproject.provenance.reasoning.ProvenanceReasoning

public abstract class ProvenanceReasoning
extends java.lang.Object

A class for reasoning about provenance data: consistency, subsumption, equivalency, membership and property validation.

Author:

Roxana Ma. Danger Mercaderes

Constructor Summary

Constructors

Constructor and Description
ProvenanceReasoning()

Method Summary

Methods

Modifier and Type	Method and Description
abstract OWLFacts	completeValidation()
abstract OWLFacts	equivalenceValidation()
abstract boolean	isConsistent()
abstract OWLFacts	membershipValidation()
abstract OWLFacts	propertyValidation()
abstract OWLFacts	subsumptionValidation()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvenanceReasoning

public ProvenanceReasoning()

Method Detail

isConsistent

public abstract boolean isConsistent()

subsumptionValidation

public abstract OWLFacts subsumptionValidation()

equivalenceValidation

public abstract OWLFacts equivalenceValidation()

membershipValidation

public abstract OWLFacts membershipValidation()

propertyValidation

public abstract OWLFacts propertyValidation()

completeValidation

public abstract OWLFacts completeValidation()