org.semanticweb.owl.model
Interface OWLObjectOneOf

All Superinterfaces:

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

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

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