src/uk/ac/ox/cs/pagoda/rules/IncrementalProgram.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14

package uk.ac.ox.cs.pagoda.rules;

import java.util.Collection;

import org.semanticweb.HermiT.model.DLClause;
import org.semanticweb.owlapi.model.OWLOntology;

public interface IncrementalProgram {
	
	public OWLOntology getOntology(); 

	public void enrich(Collection<DLClause> delta); 
	
}