org.semanticweb.owlapi.model.axiomproviders

Interface HasKeyAxiomProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface HasKeyAxiomProvider

HasKey provider interface.

Method Summary

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

Method Detail

getOWLHasKeyAxiom

default OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                         Collection<? extends OWLPropertyExpression> properties)

Parameters:

ce - class expression

properties - Cannot be null or contain nulls.

Returns:

a hasKey axiom on given arguments

getOWLHasKeyAxiom

default OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                         OWLPropertyExpression... properties)

Parameters:

ce - class expression

properties - Cannot be null or contain nulls.

Returns:

a hasKey axiom on given arguments

getOWLHasKeyAxiom

OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                 Collection<? extends OWLPropertyExpression> objectProperties,
                                 Collection<OWLAnnotation> annotations)

Parameters:

ce - class expression

objectProperties - Cannot be null or contain nulls.

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

a hasKey axiom on given arguments and annotations