Uses of Interface
edu.stanford.smi.protegex.owl.model.OWLExistentialRestriction

Packages that use OWLExistentialRestriction

edu.stanford.smi.protegex.owl.model
edu.stanford.smi.protegex.owl.model.impl
edu.stanford.smi.protegex.owl.model.util
edu.stanford.smi.protegex.owl.ui.classform.component.property
edu.stanford.smi.protegex.owl.ui.conditions

Uses of OWLExistentialRestriction in edu.stanford.smi.protegex.owl.model

Subinterfaces of OWLExistentialRestriction in edu.stanford.smi.protegex.owl.model

interface	OWLHasValue A class representing an owl:hasValue restriction.
interface	OWLSomeValuesFrom A some-values-from OWLRestriction.

Uses of OWLExistentialRestriction in edu.stanford.smi.protegex.owl.model.impl

Classes in edu.stanford.smi.protegex.owl.model.impl that implement OWLExistentialRestriction

class	DefaultOWLHasValue A Cls representing a hasValue restriction.
class	DefaultOWLSomeValuesFrom The default implementation of OWLSomeValuesFrom.

Uses of OWLExistentialRestriction in edu.stanford.smi.protegex.owl.model.util

Methods in edu.stanford.smi.protegex.owl.model.util with parameters of type OWLExistentialRestriction

static OWLAllValuesFrom	ClosureAxiomFactory.addClosureAxiom(OWLNamedClass namedClass, OWLExistentialRestriction restriction)
static OWLAllValuesFrom	ClosureAxiomFactory.getClosureAxiom(OWLNamedClass namedClass, OWLExistentialRestriction restriction) Checks whether a closure axiom exists for a given class/property pair.
private static Iterator	ClosureAxiomFactory.getClosureAxiomCandidates(OWLNamedClass namedClass, OWLExistentialRestriction restriction)

Uses of OWLExistentialRestriction in edu.stanford.smi.protegex.owl.ui.classform.component.property

Methods in edu.stanford.smi.protegex.owl.ui.classform.component.property that return OWLExistentialRestriction

OWLExistentialRestriction

PropertyFormTableModel.getRestriction(int row)

Uses of OWLExistentialRestriction in edu.stanford.smi.protegex.owl.ui.conditions

Methods in edu.stanford.smi.protegex.owl.ui.conditions with parameters of type OWLExistentialRestriction

static OWLAllValuesFrom

AddClosureAxiomAction.performAction(OWLNamedClass namedClass, OWLExistentialRestriction restriction)