Uses of Class
org.dllearner.utilities.owl.PropertyContext

Packages that use PropertyContext

Package	Description
org.dllearner.utilities.owl	OWL utility classes (file manipulation, converting between different formats, orderings on OWL structures etc.).

Uses of PropertyContext in org.dllearner.utilities.owl

Methods in org.dllearner.utilities.owl that return types with arguments of type PropertyContext

Modifier and Type	Method and Description
static SortedSet<PropertyContext>	ConceptTransformation.getForallContexts(org.semanticweb.owlapi.model.OWLClassExpression description) Gets the "contexts" of all \forall occurrences in a description.

Methods in org.dllearner.utilities.owl with parameters of type PropertyContext

Modifier and Type	Method and Description
int	PropertyContext.compareTo(PropertyContext context)