org.semanticweb.owlapi.model

Interface OWLObjectSomeValuesFrom

All Superinterfaces:

AsOWLClass, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLClassExpression>, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLObjectPropertyExpression>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLObjectRestriction, OWLPropertyRange, OWLQuantifiedObjectRestriction, OWLQuantifiedRestriction<OWLClassExpression>, OWLRestriction, Serializable, SWRLPredicate

All Known Implementing Classes:

OWLObjectSomeValuesFromImpl

public interface OWLObjectSomeValuesFrom
extends OWLQuantifiedObjectRestriction

Represents an ObjectSomeValuesFrom 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
default ClassExpressionType	getClassExpressionType() Gets the class expression type for this class expression.
default int	hashIndex()
default int	typeIndex()

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

components, initHashCode

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

getFiller

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

getProperty, isObjectRestriction

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

isDataRestriction

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.AsOWLClass

asOWLClass, isOWLClass

Method Detail

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

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