public interface IntegerEntityManager
Modifier and Type | Field and Description |
---|---|
static Integer |
bottomClassId |
static Integer |
bottomDataPropertyId |
static Integer |
bottomObjectPropertyId |
static Integer |
firstUsableIdentifier |
static Integer |
topClassId |
static Integer |
topDataPropertyId |
static Integer |
topObjectPropertyId |
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.
|
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
|
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.
|
static final Integer bottomClassId
static final Integer bottomDataPropertyId
static final Integer bottomObjectPropertyId
static final Integer firstUsableIdentifier
static final Integer topClassId
static final Integer topDataPropertyId
static final Integer topObjectPropertyId
Integer createAnonymousEntity(IntegerEntityType type, boolean auxiliary)
type
- type of the entityauxiliary
- true
if and only if the created entity is an
auxiliary entityInteger createNamedEntity(IntegerEntityType type, String name, boolean auxiliary)
type
- type of the entityauxiliary
- true
if and only if the created entity is an
auxiliary entityname
- name for this entityInteger createOrGetClassIdForIndividual(Integer individual)
individual
- individual to get the classInteger createOrGetInverseObjectPropertyOf(Integer propertyId) throws IndexOutOfBoundsException
propertyId
- property identifier to create an inverse object propertyIndexOutOfBoundsException
- if the property identifier is greater than the last auxiliary
property createdSet<Integer> getAuxiliaryInverseObjectProperties()
Integer getAuxiliaryNominal(Integer individual)
individual
- the individualnull
if the individual does
not have any related auxiliary nominal.Set<Integer> getAuxiliaryNominals()
Set<Integer> getEntities(IntegerEntityType type)
type
- type of the entitySet<Integer> getEntities(IntegerEntityType type, boolean auxiliary)
type
- type of the entityauxiliary
- true
for auxiliary entities only,
false
for non-auxiliary entities onlyInteger getIndividual(Integer auxNominal)
auxNominal
- the auxiliary nominalnull
if the auxiliary
nominal does not have any related individual.Set<Integer> getIndividuals()
String getName(Integer identifier)
identifier
- entity to get the nameIntegerEntityType getType(Integer identifier)
identifier
- entity identifierboolean isAuxiliary(Integer identifier)
identifier
- entity identifiertrue
if and only if the given identifier corresponds
to an auxiliary entityboolean proposeInverseObjectPropertyOf(Integer firstProperty, Integer secondProperty) throws IndexOutOfBoundsException
firstProperty
- an object propertysecondProperty
- an object propertytrue
if and only if the proposal was acceptedIndexOutOfBoundsException
int size()
boolean isEntity(Integer identifier)
identifier
- entity identifiertrue
if and only if the given identifier corresponds
to a registered entityCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.