org.semanticweb.owl.model
Interface OWLObjectOneOf

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousDescription, OWLDescription, OWLObject, OWLPropertyRange

All Known Implementing Classes:

OWLObjectOneOfImpl

public interface OWLObjectOneOf
extends OWLAnonymousDescription

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

Method Summary

OWLDescription	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.owl.model.OWLDescription

accept, accept, asOWLClass, getComplementNNF, getNNF, isAnonymous, isLiteral, isOWLNothing, isOWLThing

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

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

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

asObjectUnionOf

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