org.semanticweb.owlapitools.decomposition

Class AxiomSelector

java.lang.Object

org.semanticweb.owlapitools.decomposition.AxiomSelector

public class AxiomSelector
extends Object

A filter for axioms

Author:

ignazio

Method Summary

Modifier and Type	Method and Description
static List<OWLAxiom>	selectAxioms(OWLOntology o)
static List<OWLAxiom>	selectAxioms(OWLOntology o, boolean excludeAssertions)
static List<AxiomWrapper>	wrap(List<OWLAxiom> o)

Methods inherited from class java.lang.Object

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

Method Detail

selectAxioms

public static List<OWLAxiom> selectAxioms(OWLOntology o)

Parameters:

o - the ontology to filter

Returns:

list of declarations and logical axioms

selectAxioms

public static List<OWLAxiom> selectAxioms(OWLOntology o,
                                          boolean excludeAssertions)

Parameters:

o - the ontology to filter

excludeAssertions - true if assertions should be excluded

Returns:

list of declarations and logical axioms

wrap

public static List<AxiomWrapper> wrap(List<OWLAxiom> o)

Parameters:

o - axioms to wrap

Returns:

axioms wrapped as AxiomWrapper