public class IntegerEntityManagerImpl extends Object implements IntegerEntityManager
Modifier and Type | Field and Description |
---|---|
static String |
anonymousEntity |
static String |
auxiliaryEntity |
bottomClassId, bottomDataPropertyId, bottomObjectPropertyId, firstUsableIdentifier, topClassId, topDataPropertyId, topObjectPropertyId
Constructor and Description |
---|
IntegerEntityManagerImpl()
Constructs a new identifier generator.
|
Modifier and Type | Method and Description |
---|---|
Integer |
createAnonymousEntity(IntegerEntityType type,
boolean auxiliary)
Creates a new entity of a certain type.
|
Integer |
createNamedEntity(IntegerEntityType type,
String name,
boolean auxiliary)
Creates a new entity of a certain type.
|
Integer |
createOrGetClassIdForIndividual(Integer individual)
Returns the class identifier corresponding to the given individual.
|
Integer |
createOrGetInverseObjectPropertyOf(Integer propertyId)
Returns the inverse object property of the given object property.
|
boolean |
equals(Object o) |
Set<Integer> |
getAuxiliaryInverseObjectProperties()
Returns the auxiliary inverse object properties.
|
Integer |
getAuxiliaryNominal(Integer individual)
This method gives the auxiliary nominal related to a specific individual.
|
Set<Integer> |
getAuxiliaryNominals()
Returns the set of auxiliary nominals.
|
Set<Integer> |
getEntities(IntegerEntityType type)
Returns the set of identifiers of entities of a certain type.
|
Set<Integer> |
getEntities(IntegerEntityType type,
boolean auxiliary)
Returns either the set of identifiers of auxiliary entities or the set of
identifiers of non-auxiliary entities.
|
Integer |
getIndividual(Integer auxNominal)
This method gives the individual related to a specific auxiliary nominal.
|
Set<Integer> |
getIndividuals()
Returns the set of individuals.
|
String |
getName(Integer identifier)
Returns the name defined for a certain entity.
|
IntegerEntityType |
getType(Integer identifier)
Returns the entity type for the given identifier
|
int |
hashCode() |
boolean |
isAuxiliary(Integer identifier)
Tells whether the given identifier corresponds to an auxiliary entity.
|
boolean |
isEntity(Integer identifier)
Tell whether the given identifier corresponds to a registered entity
|
boolean |
proposeInverseObjectPropertyOf(Integer firstProperty,
Integer secondProperty)
Proposes the association of an object property to another object property
as one the inverse object property of the other one.
|
int |
size()
Returns the number of created entities, either auxiliary or
non-auxiliary.
|
String |
toString() |
public static final String anonymousEntity
public static final String auxiliaryEntity
public IntegerEntityManagerImpl()
public Integer createAnonymousEntity(IntegerEntityType type, boolean auxiliary)
IntegerEntityManager
createAnonymousEntity
in interface IntegerEntityManager
type
- type of the entityauxiliary
- true
if and only if the created entity is an
auxiliary entitypublic Integer createNamedEntity(IntegerEntityType type, String name, boolean auxiliary)
IntegerEntityManager
createNamedEntity
in interface IntegerEntityManager
type
- type of the entityname
- name for this entityauxiliary
- true
if and only if the created entity is an
auxiliary entitypublic Integer createOrGetClassIdForIndividual(Integer individual)
IntegerEntityManager
createOrGetClassIdForIndividual
in interface IntegerEntityManager
individual
- individual to get the classpublic Integer createOrGetInverseObjectPropertyOf(Integer propertyId) throws IndexOutOfBoundsException
IntegerEntityManager
createOrGetInverseObjectPropertyOf
in interface IntegerEntityManager
propertyId
- property identifier to create an inverse object propertyIndexOutOfBoundsException
- if the property identifier is greater than the last auxiliary
property createdpublic Set<Integer> getAuxiliaryInverseObjectProperties()
IntegerEntityManager
getAuxiliaryInverseObjectProperties
in interface IntegerEntityManager
public Integer getAuxiliaryNominal(Integer individual)
IntegerEntityManager
getAuxiliaryNominal
in interface IntegerEntityManager
individual
- the individualnull
if the individual does
not have any related auxiliary nominal.public Set<Integer> getAuxiliaryNominals()
IntegerEntityManager
getAuxiliaryNominals
in interface IntegerEntityManager
public Set<Integer> getEntities(IntegerEntityType type)
IntegerEntityManager
getEntities
in interface IntegerEntityManager
type
- type of the entitypublic Set<Integer> getEntities(IntegerEntityType type, boolean auxiliary)
IntegerEntityManager
getEntities
in interface IntegerEntityManager
type
- type of the entityauxiliary
- true
for auxiliary entities only,
false
for non-auxiliary entities onlypublic Integer getIndividual(Integer auxNominal)
IntegerEntityManager
getIndividual
in interface IntegerEntityManager
auxNominal
- the auxiliary nominalnull
if the auxiliary
nominal does not have any related individual.public Set<Integer> getIndividuals()
IntegerEntityManager
getIndividuals
in interface IntegerEntityManager
public String getName(Integer identifier)
IntegerEntityManager
getName
in interface IntegerEntityManager
identifier
- entity to get the namepublic IntegerEntityType getType(Integer identifier)
IntegerEntityManager
getType
in interface IntegerEntityManager
identifier
- entity identifierpublic boolean isAuxiliary(Integer identifier)
IntegerEntityManager
isAuxiliary
in interface IntegerEntityManager
identifier
- entity identifiertrue
if and only if the given identifier corresponds
to an auxiliary entitypublic boolean isEntity(Integer identifier)
IntegerEntityManager
isEntity
in interface IntegerEntityManager
identifier
- entity identifiertrue
if and only if the given identifier corresponds
to a registered entitypublic boolean proposeInverseObjectPropertyOf(Integer firstProperty, Integer secondProperty) throws IndexOutOfBoundsException
IntegerEntityManager
proposeInverseObjectPropertyOf
in interface IntegerEntityManager
firstProperty
- an object propertysecondProperty
- an object propertytrue
if and only if the proposal was acceptedIndexOutOfBoundsException
public int size()
IntegerEntityManager
size
in interface IntegerEntityManager
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.