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

Packages that use OWLAllValuesFrom

edu.stanford.smi.protegex.owl.compactparser
edu.stanford.smi.protegex.owl.inference.dig.translator
edu.stanford.smi.protegex.owl.model
edu.stanford.smi.protegex.owl.model.classparser.compact
edu.stanford.smi.protegex.owl.model.classparser.manchester
edu.stanford.smi.protegex.owl.model.impl
edu.stanford.smi.protegex.owl.model.util
edu.stanford.smi.protegex.owl.model.visitor
edu.stanford.smi.protegex.owl.prose
edu.stanford.smi.protegex.owl.ui.classform.form
edu.stanford.smi.protegex.owl.ui.conditions
edu.stanford.smi.protegex.owl.writer.rdfxml.renderer

Uses of OWLAllValuesFrom in edu.stanford.smi.protegex.owl.compactparser

Methods in edu.stanford.smi.protegex.owl.compactparser that return OWLAllValuesFrom

OWLAllValuesFrom

OWLCompactParser.OWLAllValuesFrom(RDFProperty property) Deprecated.

Uses of OWLAllValuesFrom in edu.stanford.smi.protegex.owl.inference.dig.translator

Methods in edu.stanford.smi.protegex.owl.inference.dig.translator with parameters of type OWLAllValuesFrom

boolean	DefaultDIGRenderer.render(OWLAllValuesFrom allRestriction, Document doc, Node parentNode)
boolean	DIGRenderer.render(OWLAllValuesFrom allRestriction, Document doc, Node parentNode)

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

Methods in edu.stanford.smi.protegex.owl.model that return OWLAllValuesFrom

OWLAllValuesFrom	OWLModel.createOWLAllValuesFrom()
OWLAllValuesFrom	OWLModel.createOWLAllValuesFrom(RDFProperty property, RDFResource filler)
OWLAllValuesFrom	OWLModel.createOWLAllValuesFrom(RDFProperty property, RDFSLiteral[] oneOfValues)

Uses of OWLAllValuesFrom in edu.stanford.smi.protegex.owl.model.classparser.compact

Methods in edu.stanford.smi.protegex.owl.model.classparser.compact that return OWLAllValuesFrom

OWLAllValuesFrom

CompactParser.OWLAllValuesFrom(RDFProperty property)

Uses of OWLAllValuesFrom in edu.stanford.smi.protegex.owl.model.classparser.manchester

Methods in edu.stanford.smi.protegex.owl.model.classparser.manchester that return OWLAllValuesFrom

OWLAllValuesFrom

ManchesterOWLParser.OWLAllValuesFrom(RDFProperty property)

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

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

class

DefaultOWLAllValuesFrom The default implementation of OWLAllValuesFrom.

Methods in edu.stanford.smi.protegex.owl.model.impl that return OWLAllValuesFrom

OWLAllValuesFrom	AbstractOWLModel.createOWLAllValuesFrom()
OWLAllValuesFrom	AbstractOWLModel.createOWLAllValuesFrom(RDFProperty property, RDFResource filler)
OWLAllValuesFrom	AbstractOWLModel.createOWLAllValuesFrom(RDFProperty property, RDFSLiteral[] oneOfValues)

Methods in edu.stanford.smi.protegex.owl.model.impl with parameters of type OWLAllValuesFrom

private static boolean	DefaultOWLNamedClass.isOverloadedAllValuesFrom(OWLAllValuesFrom restriction, Collection restrictions)
private Collection	DefaultRDFSNamedClass.getUnionRangeClassesHelper(OWLAllValuesFrom allValuesFrom, RDFProperty property)

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

Methods in edu.stanford.smi.protegex.owl.model.util that return OWLAllValuesFrom

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.

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

void	DLExpressivityChecker.visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)
void	ModelMetrics.visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)

Uses of OWLAllValuesFrom in edu.stanford.smi.protegex.owl.model.visitor

Methods in edu.stanford.smi.protegex.owl.model.visitor with parameters of type OWLAllValuesFrom

void	OWLModelVisitor.visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)
void	OWLModelVisitorAdapter.visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)

Uses of OWLAllValuesFrom in edu.stanford.smi.protegex.owl.prose

Methods in edu.stanford.smi.protegex.owl.prose with parameters of type OWLAllValuesFrom

private static String

ProseGen.getProseFromAllRestriction(OWLAllValuesFrom restrCls)

Uses of OWLAllValuesFrom in edu.stanford.smi.protegex.owl.ui.classform.form

Methods in edu.stanford.smi.protegex.owl.ui.classform.form with parameters of type OWLAllValuesFrom

private boolean

ClassFormSwitchableType.isClosureAxiom(OWLNamedClass namedClass, List classes, OWLAllValuesFrom allValuesFrom) Checks if a given OWLAllValuesFrom restriction is a closure axiom for any existential restriction from a given list.

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

Methods in edu.stanford.smi.protegex.owl.ui.conditions that return OWLAllValuesFrom

static OWLAllValuesFrom	AddClosureAxiomAction.performAction(OWLNamedClass namedClass, OWLSomeValuesFrom someValuesFrom) Deprecated. please use the more generic version
static OWLAllValuesFrom	AddClosureAxiomAction.performAction(OWLNamedClass namedClass, OWLExistentialRestriction restriction)

Uses of OWLAllValuesFrom in edu.stanford.smi.protegex.owl.writer.rdfxml.renderer

Methods in edu.stanford.smi.protegex.owl.writer.rdfxml.renderer with parameters of type OWLAllValuesFrom

void	RDFAxiomRenderer.visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)
void	RDFAxiomRenderer.RenderableAxiomsChecker.visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)
void	RDFResourceRenderer.visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom) Renders an allValuesFrom, or universal restriction and its various properties such as owl:onProperty, owl:allValuesFrom