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

Packages that use OWLMaxCardinality

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.writer.rdfxml.renderer

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

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

OWLMaxCardinality

OWLCompactParser.OWLMaxCardinality(RDFProperty slot) Deprecated.

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

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

boolean	DefaultDIGRenderer.render(OWLMaxCardinality maxCardiRestriction, Document doc, Node parentNode)
boolean	DIGRenderer.render(OWLMaxCardinality maxCardiRestriction, Document doc, Node parentNode)

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

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

OWLMaxCardinality	OWLModel.createOWLMaxCardinality()
OWLMaxCardinality	OWLModel.createOWLMaxCardinality(RDFProperty property, int value)
OWLMaxCardinality	OWLModel.createOWLMaxCardinality(RDFProperty property, int value, RDFSClass qualifier)

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

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

OWLMaxCardinality

CompactParser.OWLMaxCardinality(RDFProperty slot)

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

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

OWLMaxCardinality

ManchesterOWLParser.OWLMaxCardinality(RDFProperty slot)

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

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

class

DefaultOWLMaxCardinality A Cls representing a maximumCardinality restriction.

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

OWLMaxCardinality	AbstractOWLModel.createOWLMaxCardinality()
OWLMaxCardinality	AbstractOWLModel.createOWLMaxCardinality(RDFProperty property, int value)
OWLMaxCardinality	AbstractOWLModel.createOWLMaxCardinality(RDFProperty property, int value, RDFSClass qualifier)

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

private static boolean

DefaultOWLNamedClass.isOverloadedMaxCardinality(OWLMaxCardinality restriction, Collection restrictions)

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

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

void	DLExpressivityChecker.visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)
void	ModelMetrics.visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)

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

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

void	OWLModelVisitor.visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)
void	OWLModelVisitorAdapter.visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)

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

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

private static String

ProseGen.getProseFromMaxCardiRestriction(OWLMaxCardinality restrCls)

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

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

void	RDFAxiomRenderer.visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)
void	RDFAxiomRenderer.RenderableAxiomsChecker.visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)
void	RDFResourceRenderer.visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)