Extractor to recognise strings in different representations.
Check whether the given id belongs to a string.
Retrieve the id of a string; add the string to the database if it does not exist yet.
Query the string for an id.
Query the string for an id. If no string belongs to the id, an exception is thrown.
Query the string for an id.
Query the string for an id. If no string belongs to the id, an exception is thrown.
Query the string for an id.
Query the string for an id. If no string belongs to the id, an exception is thrown.
Check whether the given term represents a concrete string.
Retrieve the id of a string in list representation; add the string to the database if it does not exist yet.
Retrieve the id of a string in list representation; add the string to the database if it does not exist yet.
Check whether the given term represents a concrete string, and return the string.
Return the concrete string represented by the given term, throw an exception if the term does not represent a concrete string.
Check whether the given term represents a concrete string, and return the string.