@Deprecated public class OWLMinimizer extends Object
Modifier and Type | Field and Description |
---|---|
static org.semanticweb.HermiT.Reasoner |
r
Deprecated.
|
Constructor and Description |
---|
OWLMinimizer()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
static <T> Set<T> |
filterMinimal(Set<T> elements,
BiPredicate<T,T> predicate)
Deprecated.
|
static <T> Set<T> |
filterMinimalParallel(Set<T> elements,
BiPredicate<T,T> predicate)
Deprecated.
|
static boolean |
isSubsumedBy(org.semanticweb.owlapi.model.OWLClassExpression c1,
org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated.
|
static org.semanticweb.owlapi.model.OWLClassExpression |
minimizeConjunction(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
Deprecated.
|
static boolean |
subsumes(org.semanticweb.owlapi.model.OWLClassExpression c1,
org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated.
|
public static final org.semanticweb.HermiT.Reasoner r
public OWLMinimizer()
public static final boolean isSubsumedBy(org.semanticweb.owlapi.model.OWLClassExpression c1, org.semanticweb.owlapi.model.OWLClassExpression c2)
public static final boolean subsumes(org.semanticweb.owlapi.model.OWLClassExpression c1, org.semanticweb.owlapi.model.OWLClassExpression c2)
public static final <T> Set<T> filterMinimal(Set<T> elements, BiPredicate<T,T> predicate)
public static final <T> Set<T> filterMinimalParallel(Set<T> elements, BiPredicate<T,T> predicate)
public static final org.semanticweb.owlapi.model.OWLClassExpression minimizeConjunction(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
Copyright © 2010–2019 Francesco Kriegel. All rights reserved.