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