org.semanticweb.owl.explanation.impl.blackbox

Interface AxiomAdditionHandler

public interface AxiomAdditionHandler

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 06/05/2011

Method Summary

Methods

Modifier and Type	Method and Description
void	addExtraAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

Method Detail

addExtraAxioms

void addExtraAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)