Uses of Class
eu.transformproject.provenance.reasoning.OWLFacts

Packages that use OWLFacts

Package	Description
eu.transformproject.provenance.reasoning	Provides the classes necessary for reasoning about the provenance data.

Uses of OWLFacts in eu.transformproject.provenance.reasoning

Methods in eu.transformproject.provenance.reasoning that return OWLFacts

Modifier and Type	Method and Description
abstract OWLFacts	ProvenanceReasoning.completeValidation()
abstract OWLFacts	ProvenanceReasoning.equivalenceValidation()
abstract OWLFacts	ProvenanceReasoning.membershipValidation()
abstract OWLFacts	ProvenanceReasoning.propertyValidation()
abstract OWLFacts	ProvenanceReasoning.subsumptionValidation()