org.dbe.studio.tools.ontologyviewer.metamodels.odm
Class OdmEnumeratedClass

java.lang.Object
  org.dbe.studio.tools.ontologyviewer.metamodels.odm.OdmOntologyClass
      org.dbe.studio.tools.ontologyviewer.metamodels.odm.OdmEnumeratedClass

public class OdmEnumeratedClass

extends OdmOntologyClass

An exhaustive enumeration of individuals that together form the instances of a class. A class description of the "enumeration" kind is defined with the owl:oneOf property. The value of this built-in OWL property must be a list of individuals that are the instances of the class. This enables a class to be described by exhaustively enumerating its instances. The class extension of a class described with owl:oneOf contains exactly the enumerated individuals, no more, no less. The list of individuals is typically represented with the help of the RDF construct rdf:parseType="Collection", which provides a convenient shorthand for writing down a set of list elements.

Field Summary

(package private) java.util.Vector

oneOf

Fields inherited from class org.dbe.studio.tools.ontologyviewer.metamodels.odm.OdmOntologyClass

annotationProps, classExtension, datatypeProperties, disjointWithClasses, equivalentClasses, id, name, objectProperties, ontology, subClassOf, superClassOf

Constructor Summary

OdmEnumeratedClass()

OdmEnumeratedClass(OdmOntology ontology, java.lang.String name, java.lang.String id)

OdmEnumeratedClass(OdmOntology ontology, java.lang.String name, java.lang.String id, java.util.Vector oneOf)

Method Summary

void	addIndividual(OdmOntologyClassInst individual)
java.util.Vector	getOneOf()
void	removeIndividual(OdmOntologyClassInst individual)
void	setOneOf(java.util.Vector oneOf)

Methods inherited from class org.dbe.studio.tools.ontologyviewer.metamodels.odm.OdmOntologyClass

addAnnotationProp, addClassInstance, addDatatypeProperty, addDisjointWithClass, addEquivalentClass, addObjectProperty, addSubClass, addSuperClass, findDatatypeProperty, getAnnotationProps, getClassExtension, getDatatypeProperties, getDisjointWithClasses, getEquivalentClasses, getId, getName, getObjectProperties, getOntology, getSubClassOf, getSuperClassOf, removeAnnotationProp, removeClassInstance, removeDatatypeProperty, removeDisjointWithClass, removeEquivalentClass, removeObjectProperty, removeSubClass, removeSuperClass, setAnnotationProps, setClassExtension, setDatatypeProperties, setId, setName, setObjectProperties, setOntology

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

oneOf

java.util.Vector oneOf

Constructor Detail

OdmEnumeratedClass

public OdmEnumeratedClass()

OdmEnumeratedClass

public OdmEnumeratedClass(OdmOntology ontology,
                          java.lang.String name,
                          java.lang.String id)

Parameters:

ontology -

name -

id -

OdmEnumeratedClass

public OdmEnumeratedClass(OdmOntology ontology,
                          java.lang.String name,
                          java.lang.String id,
                          java.util.Vector oneOf)

Method Detail

setOneOf

public void setOneOf(java.util.Vector oneOf)

getOneOf

public java.util.Vector getOneOf()

addIndividual

public void addIndividual(OdmOntologyClassInst individual)

removeIndividual

public void removeIndividual(OdmOntologyClassInst individual)