Uses of Interface
org.semanticweb.owlapi.model.OWLHasKeyAxiom

Packages that use OWLHasKeyAxiom

Package	Description
org.semanticweb.owlapi.model
org.semanticweb.owlapi.util

Uses of OWLHasKeyAxiom in org.semanticweb.owlapi.model

Fields in org.semanticweb.owlapi.model with type parameters of type OWLHasKeyAxiom

Modifier and Type	Field and Description
static AxiomType<OWLHasKeyAxiom>	AxiomType.HAS_KEY HasKey

Methods in org.semanticweb.owlapi.model that return OWLHasKeyAxiom

Modifier and Type	Method and Description
OWLHasKeyAxiom	OWLHasKeyAxiom.getAxiomWithoutAnnotations()
OWLHasKeyAxiom	OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce, OWLPropertyExpression<?,?>... properties)
OWLHasKeyAxiom	OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce, Set<? extends OWLPropertyExpression<?,?>> properties)
OWLHasKeyAxiom	OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce, Set<? extends OWLPropertyExpression<?,?>> objectProperties, Set<? extends OWLAnnotation> annotations)

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLHasKeyAxiom

Modifier and Type	Method and Description
Set<OWLHasKeyAxiom>	OWLOntology.getHasKeyAxioms(OWLClass cls) Gets the has key axioms that have the specified class as their subject.

Methods in org.semanticweb.owlapi.model with parameters of type OWLHasKeyAxiom

Modifier and Type	Method and Description
O	OWLLogicalAxiomVisitorEx.visit(OWLHasKeyAxiom axiom) visit OWLHasKeyAxiom type
void	OWLLogicalAxiomVisitor.visit(OWLHasKeyAxiom axiom) visit OWLHasKeyAxiom type
O	OWLAxiomVisitorEx.visit(OWLHasKeyAxiom axiom) visit OWLHasKeyAxiom type
void	OWLAxiomVisitor.visit(OWLHasKeyAxiom axiom) visit OWLHasKeyAxiom type

Uses of OWLHasKeyAxiom in org.semanticweb.owlapi.util

Methods in org.semanticweb.owlapi.util with parameters of type OWLHasKeyAxiom

Modifier and Type	Method and Description
void	StructureWalker.visit(OWLHasKeyAxiom axiom)
void	SimpleRenderer.visit(OWLHasKeyAxiom axiom)
O	OWLObjectVisitorExAdapter.visit(OWLHasKeyAxiom axiom)
void	OWLObjectVisitorAdapter.visit(OWLHasKeyAxiom axiom)
void	OWLObjectTypeIndexProvider.visit(OWLHasKeyAxiom axiom)
void	OWLObjectDuplicator.visit(OWLHasKeyAxiom axiom)
void	OWLObjectComponentCollector.visit(OWLHasKeyAxiom axiom)
void	OWLEntityCollector.visit(OWLHasKeyAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLHasKeyAxiom axiom)
O	OWLAxiomVisitorExAdapter.visit(OWLHasKeyAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLHasKeyAxiom axiom)
void	OWLAxiomTypeProcessor.visit(OWLHasKeyAxiom axiom)
OWLAxiom	NNF.visit(OWLHasKeyAxiom axiom)
Integer	MaximumModalDepthFinder.visit(OWLHasKeyAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLHasKeyAxiom axiom)
void	HashCode.visit(OWLHasKeyAxiom axiom)
void	DLExpressivityChecker.visit(OWLHasKeyAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLHasKeyAxiom axiom)
void	AxiomTypeProvider.visit(OWLHasKeyAxiom axiom) Deprecated.
void	AxiomSubjectProvider.visit(OWLHasKeyAxiom axiom)