org.semanticweb.owlapi.model

Interface OWLObjectOneOf

All Superinterfaces:

AsOWLClass, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasOperands<OWLIndividual>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, Serializable, SWRLPredicate

All Known Implementing Classes:

OWLObjectOneOfImpl

public interface OWLObjectOneOf
extends OWLAnonymousClassExpression, HasOperands<OWLIndividual>

Represents an ObjectOneOf class expression in the OWL 2 Specification.

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

Modifier and Type	Method and Description
default void	accept(OWLClassExpressionVisitor visitor) Accepts a visit from an OWLExpressionVisitor.
default <O> O	accept(OWLClassExpressionVisitorEx<O> visitor)
default void	accept(OWLObjectVisitor visitor) Accepts a visitor
default <O> O	accept(OWLObjectVisitorEx<O> visitor) Accepts a visitor
OWLClassExpression	asObjectUnionOf() Simplifies this enumeration to a union of singleton nominals.
default java.util.stream.Stream<?>	components()
default ClassExpressionType	getClassExpressionType() Gets the class expression type for this class expression.
default Set<OWLIndividual>	getIndividuals() Deprecated. use the stream method
default int	hashIndex()
java.util.stream.Stream<OWLIndividual>	individuals() Gets the individuals that are in the oneOf.
default java.util.stream.Stream<OWLIndividual>	operands() Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent classes axiom.
default int	typeIndex()

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnonymousClassExpression

isAnonymous

Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression

asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

getNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressions

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature

getSignature, signature

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals

anonymousIndividuals, getAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature

classesInSignature, getClassesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature

getObjectPropertiesInSignature, objectPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature

dataPropertiesInSignature, getDataPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature

getIndividualsInSignature, individualsInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature

datatypesInSignature, getDatatypesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature

annotationPropertiesInSignature, getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasComponents

componentsAnnotationsFirst, componentsWithoutAnnotations

Methods inherited from interface org.semanticweb.owlapi.model.AsOWLClass

asOWLClass, isOWLClass

Method Detail

components

default java.util.stream.Stream<?> components()

Specified by:

components in interface HasComponents

Returns:

components as a stream

hashIndex

default int hashIndex()

Specified by:

hashIndex in interface HasHashIndex

Returns:

index for this type. This is not a hashcode for instances, rather a hashcode for the types.

typeIndex

default int typeIndex()

Specified by:

typeIndex in interface HasIndex

Returns:

index for this type. This is not a hashcode for instances, rather a sorting index for the types.

getClassExpressionType

default ClassExpressionType getClassExpressionType()

Description copied from interface: OWLClassExpression

Gets the class expression type for this class expression.

Specified by:

getClassExpressionType in interface OWLClassExpression

Returns:

The class expression type

getIndividuals

@Deprecated
default Set<OWLIndividual> getIndividuals()

Deprecated. use the stream method

Gets the individuals that are in the oneOf. These individuals represent the exact instances (extension) of this class expression.

Returns:

The individiauls that are the values of this ObjectOneOf class expression.

individuals

java.util.stream.Stream<OWLIndividual> individuals()

Gets the individuals that are in the oneOf. These individuals represent the exact instances (extension) of this class expression.

Returns:

The individiauls that are the values of this ObjectOneOf class expression.

operands

default java.util.stream.Stream<OWLIndividual> operands()

Description copied from interface: HasOperands

Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent classes axiom.

Specified by:

operands in interface HasOperands<OWLIndividual>

Returns:

The operands.

asObjectUnionOf

OWLClassExpression asObjectUnionOf()

Simplifies this enumeration to a union of singleton nominals.

Returns:

This enumeration in a more standard DL form. simp({a}) = {a} simp({a0, ... , {an}) = unionOf({a0}, ... , {an})

accept

default void accept(OWLObjectVisitor visitor)

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Parameters:

visitor - The visitor

accept

default <O> O accept(OWLObjectVisitorEx<O> visitor)

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Type Parameters:

O - visitor return type

Parameters:

visitor - The visitor

Returns:

visitor value

accept

default void accept(OWLClassExpressionVisitor visitor)

Description copied from interface: OWLClassExpression

Accepts a visit from an OWLExpressionVisitor.

Specified by:

accept in interface OWLClassExpression

Parameters:

visitor - The visitor that wants to visit

accept

default <O> O accept(OWLClassExpressionVisitorEx<O> visitor)

Specified by:

accept in interface OWLClassExpression

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return value