src/main/scala/uk/ac/ox/cs/rsacomb/approximation/Approximation.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package uk.ac.ox.cs.rsacomb.approximation

import java.io.File
import org.semanticweb.owlapi.model.OWLLogicalAxiom

import uk.ac.ox.cs.rsacomb.ontology.Ontology

/** Ontology approximation technique. */
trait Approximation[T] {

  /** Approximate an ontology.
    *
    * @param ontology input ontology as a list of axioms
    * @return the approximated ontology
    */
  def approximate(ontology: Ontology): T

}