org.semanticweb.owlapi.model
Interface OWLObjectOneOf

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, SWRLPredicate

All Known Implementing Classes:

OWLObjectOneOfImpl

public interface OWLObjectOneOf
extends OWLAnonymousClassExpression

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents an ObjectOneOf class expression in the OWL 2 Specification.

Method Summary

OWLClassExpression	asObjectUnionOf() Simplifies this enumeration to a union of singleton nominals
java.util.Set<OWLIndividual>	getIndividuals() Gets the individuals that are in the oneOf.

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

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing

Method Detail

getIndividuals

java.util.Set<OWLIndividual> getIndividuals()

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.

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})