public class OntopRepositoryConnection extends Object implements org.eclipse.rdf4j.repository.RepositoryConnection
| Modifier and Type | Method and Description |
|---|---|
void |
add(File file,
String baseIRI,
org.eclipse.rdf4j.rio.RDFFormat dataFormat,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
add(InputStream in,
String baseIRI,
org.eclipse.rdf4j.rio.RDFFormat dataFormat,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
add(Iterable<? extends org.eclipse.rdf4j.model.Statement> statements,
org.eclipse.rdf4j.model.Resource... contexts) |
<E extends Exception> |
add(org.eclipse.rdf4j.common.iteration.Iteration<? extends org.eclipse.rdf4j.model.Statement,E> statements,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
add(Reader reader,
String baseIRI,
org.eclipse.rdf4j.rio.RDFFormat dataFormat,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
add(org.eclipse.rdf4j.model.Resource subject,
org.eclipse.rdf4j.model.IRI predicate,
org.eclipse.rdf4j.model.Value object,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
add(org.eclipse.rdf4j.model.Statement st,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
add(URL url,
String baseIRI,
org.eclipse.rdf4j.rio.RDFFormat dataFormat,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
begin()
Call this method to start a transaction.
|
void |
begin(org.eclipse.rdf4j.IsolationLevel level) |
void |
clear(org.eclipse.rdf4j.model.Resource... contexts) |
void |
clearNamespaces() |
void |
close() |
void |
commit() |
void |
export(org.eclipse.rdf4j.rio.RDFHandler handler,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
exportStatements(org.eclipse.rdf4j.model.Resource subj,
org.eclipse.rdf4j.model.IRI pred,
org.eclipse.rdf4j.model.Value obj,
boolean includeInferred,
org.eclipse.rdf4j.rio.RDFHandler handler,
org.eclipse.rdf4j.model.Resource... contexts) |
org.eclipse.rdf4j.repository.RepositoryResult<org.eclipse.rdf4j.model.Resource> |
getContextIDs() |
org.eclipse.rdf4j.IsolationLevel |
getIsolationLevel() |
String |
getNamespace(String prefix) |
org.eclipse.rdf4j.repository.RepositoryResult<org.eclipse.rdf4j.model.Namespace> |
getNamespaces() |
org.eclipse.rdf4j.rio.ParserConfig |
getParserConfig() |
org.eclipse.rdf4j.repository.Repository |
getRepository() |
org.eclipse.rdf4j.repository.RepositoryResult<org.eclipse.rdf4j.model.Statement> |
getStatements(org.eclipse.rdf4j.model.Resource subj,
org.eclipse.rdf4j.model.IRI pred,
org.eclipse.rdf4j.model.Value obj,
boolean includeInferred,
org.eclipse.rdf4j.model.Resource... contexts) |
org.eclipse.rdf4j.model.ValueFactory |
getValueFactory() |
boolean |
hasStatement(org.eclipse.rdf4j.model.Resource subj,
org.eclipse.rdf4j.model.IRI pred,
org.eclipse.rdf4j.model.Value obj,
boolean includeInferred,
org.eclipse.rdf4j.model.Resource... contexts) |
boolean |
hasStatement(org.eclipse.rdf4j.model.Statement st,
boolean includeInferred,
org.eclipse.rdf4j.model.Resource... contexts) |
boolean |
isActive()
A boolean flag signaling when a transaction is active.
|
boolean |
isAutoCommit() |
boolean |
isEmpty() |
boolean |
isOpen() |
org.eclipse.rdf4j.query.BooleanQuery |
prepareBooleanQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String query) |
org.eclipse.rdf4j.query.BooleanQuery |
prepareBooleanQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString,
String baseIRI) |
org.eclipse.rdf4j.query.GraphQuery |
prepareGraphQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString) |
org.eclipse.rdf4j.query.GraphQuery |
prepareGraphQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString,
String baseIRI) |
org.eclipse.rdf4j.query.Query |
prepareQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String query) |
org.eclipse.rdf4j.query.Query |
prepareQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString,
String baseIRI) |
org.eclipse.rdf4j.query.TupleQuery |
prepareTupleQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String query) |
org.eclipse.rdf4j.query.TupleQuery |
prepareTupleQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString,
String baseIRI) |
org.eclipse.rdf4j.query.Update |
prepareUpdate(org.eclipse.rdf4j.query.QueryLanguage arg0,
String arg1) |
org.eclipse.rdf4j.query.Update |
prepareUpdate(org.eclipse.rdf4j.query.QueryLanguage arg0,
String arg1,
String arg2) |
String |
reformulate(String sparql) |
void |
remove(Iterable<? extends org.eclipse.rdf4j.model.Statement> statements,
org.eclipse.rdf4j.model.Resource... contexts) |
<E extends Exception> |
remove(org.eclipse.rdf4j.common.iteration.Iteration<? extends org.eclipse.rdf4j.model.Statement,E> statements,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
remove(org.eclipse.rdf4j.model.Resource subject,
org.eclipse.rdf4j.model.IRI predicate,
org.eclipse.rdf4j.model.Value object,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
remove(org.eclipse.rdf4j.model.Statement st,
org.eclipse.rdf4j.model.Resource... contexts) |
void |
removeNamespace(String key) |
void |
rollback() |
void |
setAutoCommit(boolean autoCommit) |
void |
setIsolationLevel(org.eclipse.rdf4j.IsolationLevel level) |
void |
setNamespace(String key,
String value) |
void |
setParserConfig(org.eclipse.rdf4j.rio.ParserConfig config) |
long |
size(org.eclipse.rdf4j.model.Resource... contexts) |
public void add(org.eclipse.rdf4j.model.Statement st,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
add in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void add(Iterable<? extends org.eclipse.rdf4j.model.Statement> statements, org.eclipse.rdf4j.model.Resource... contexts) throws org.eclipse.rdf4j.repository.RepositoryException
add in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void add(File file, String baseIRI, org.eclipse.rdf4j.rio.RDFFormat dataFormat, org.eclipse.rdf4j.model.Resource... contexts) throws IOException, org.eclipse.rdf4j.rio.RDFParseException, org.eclipse.rdf4j.repository.RepositoryException
add in interface org.eclipse.rdf4j.repository.RepositoryConnectionIOExceptionorg.eclipse.rdf4j.rio.RDFParseExceptionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void add(URL url, String baseIRI, org.eclipse.rdf4j.rio.RDFFormat dataFormat, org.eclipse.rdf4j.model.Resource... contexts) throws IOException, org.eclipse.rdf4j.rio.RDFParseException, org.eclipse.rdf4j.repository.RepositoryException
add in interface org.eclipse.rdf4j.repository.RepositoryConnectionIOExceptionorg.eclipse.rdf4j.rio.RDFParseExceptionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void add(InputStream in, String baseIRI, org.eclipse.rdf4j.rio.RDFFormat dataFormat, org.eclipse.rdf4j.model.Resource... contexts) throws IOException, org.eclipse.rdf4j.rio.RDFParseException, org.eclipse.rdf4j.repository.RepositoryException
add in interface org.eclipse.rdf4j.repository.RepositoryConnectionIOExceptionorg.eclipse.rdf4j.rio.RDFParseExceptionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void add(Reader reader, String baseIRI, org.eclipse.rdf4j.rio.RDFFormat dataFormat, org.eclipse.rdf4j.model.Resource... contexts) throws IOException, org.eclipse.rdf4j.rio.RDFParseException, org.eclipse.rdf4j.repository.RepositoryException
add in interface org.eclipse.rdf4j.repository.RepositoryConnectionIOExceptionorg.eclipse.rdf4j.rio.RDFParseExceptionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void add(org.eclipse.rdf4j.model.Resource subject,
org.eclipse.rdf4j.model.IRI predicate,
org.eclipse.rdf4j.model.Value object,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
add in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void clear(org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
clear in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void clearNamespaces()
throws org.eclipse.rdf4j.repository.RepositoryException
clearNamespaces in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void close()
throws org.eclipse.rdf4j.repository.RepositoryException
close in interface AutoCloseableclose in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void commit()
throws org.eclipse.rdf4j.repository.RepositoryException
commit in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void export(org.eclipse.rdf4j.rio.RDFHandler handler,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.rio.RDFHandlerException
export in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.rio.RDFHandlerExceptionpublic void exportStatements(org.eclipse.rdf4j.model.Resource subj,
org.eclipse.rdf4j.model.IRI pred,
org.eclipse.rdf4j.model.Value obj,
boolean includeInferred,
org.eclipse.rdf4j.rio.RDFHandler handler,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.rio.RDFHandlerException
exportStatements in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.rio.RDFHandlerExceptionpublic org.eclipse.rdf4j.repository.RepositoryResult<org.eclipse.rdf4j.model.Resource> getContextIDs()
throws org.eclipse.rdf4j.repository.RepositoryException
getContextIDs in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic String getNamespace(String prefix) throws org.eclipse.rdf4j.repository.RepositoryException
getNamespace in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic org.eclipse.rdf4j.repository.RepositoryResult<org.eclipse.rdf4j.model.Namespace> getNamespaces()
throws org.eclipse.rdf4j.repository.RepositoryException
getNamespaces in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic org.eclipse.rdf4j.rio.ParserConfig getParserConfig()
getParserConfig in interface org.eclipse.rdf4j.repository.RepositoryConnectionpublic org.eclipse.rdf4j.repository.Repository getRepository()
getRepository in interface org.eclipse.rdf4j.repository.RepositoryConnectionpublic org.eclipse.rdf4j.repository.RepositoryResult<org.eclipse.rdf4j.model.Statement> getStatements(org.eclipse.rdf4j.model.Resource subj,
org.eclipse.rdf4j.model.IRI pred,
org.eclipse.rdf4j.model.Value obj,
boolean includeInferred,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
getStatements in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic org.eclipse.rdf4j.model.ValueFactory getValueFactory()
getValueFactory in interface org.eclipse.rdf4j.repository.RepositoryConnectionpublic boolean hasStatement(org.eclipse.rdf4j.model.Statement st,
boolean includeInferred,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
hasStatement in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic boolean hasStatement(org.eclipse.rdf4j.model.Resource subj,
org.eclipse.rdf4j.model.IRI pred,
org.eclipse.rdf4j.model.Value obj,
boolean includeInferred,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
hasStatement in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic boolean isAutoCommit()
throws org.eclipse.rdf4j.repository.RepositoryException
isAutoCommit in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic boolean isEmpty()
throws org.eclipse.rdf4j.repository.RepositoryException
isEmpty in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic boolean isOpen()
throws org.eclipse.rdf4j.repository.RepositoryException
isOpen in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic org.eclipse.rdf4j.query.BooleanQuery prepareBooleanQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String query)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareBooleanQuery in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.BooleanQuery prepareBooleanQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString,
String baseIRI)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareBooleanQuery in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.GraphQuery prepareGraphQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareGraphQuery in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.GraphQuery prepareGraphQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString,
String baseIRI)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareGraphQuery in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.Query prepareQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String query)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareQuery in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.Query prepareQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString,
String baseIRI)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareQuery in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.TupleQuery prepareTupleQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String query)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareTupleQuery in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.TupleQuery prepareTupleQuery(org.eclipse.rdf4j.query.QueryLanguage ql,
String queryString,
String baseIRI)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareTupleQuery in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.Update prepareUpdate(org.eclipse.rdf4j.query.QueryLanguage arg0,
String arg1)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareUpdate in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic org.eclipse.rdf4j.query.Update prepareUpdate(org.eclipse.rdf4j.query.QueryLanguage arg0,
String arg1,
String arg2)
throws org.eclipse.rdf4j.repository.RepositoryException,
org.eclipse.rdf4j.query.MalformedQueryException
prepareUpdate in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionorg.eclipse.rdf4j.query.MalformedQueryExceptionpublic void remove(org.eclipse.rdf4j.model.Statement st,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
remove in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void remove(Iterable<? extends org.eclipse.rdf4j.model.Statement> statements, org.eclipse.rdf4j.model.Resource... contexts) throws org.eclipse.rdf4j.repository.RepositoryException
remove in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void remove(org.eclipse.rdf4j.model.Resource subject,
org.eclipse.rdf4j.model.IRI predicate,
org.eclipse.rdf4j.model.Value object,
org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
remove in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void removeNamespace(String key) throws org.eclipse.rdf4j.repository.RepositoryException
removeNamespace in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void rollback()
throws org.eclipse.rdf4j.repository.RepositoryException
rollback in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void setAutoCommit(boolean autoCommit)
throws org.eclipse.rdf4j.repository.RepositoryException
setAutoCommit in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void setNamespace(String key, String value) throws org.eclipse.rdf4j.repository.RepositoryException
setNamespace in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void setParserConfig(org.eclipse.rdf4j.rio.ParserConfig config)
setParserConfig in interface org.eclipse.rdf4j.repository.RepositoryConnectionpublic long size(org.eclipse.rdf4j.model.Resource... contexts)
throws org.eclipse.rdf4j.repository.RepositoryException
size in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic void begin()
throws org.eclipse.rdf4j.repository.RepositoryException
begin in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic boolean isActive()
isActive in interface org.eclipse.rdf4j.repository.RepositoryConnectionpublic void setIsolationLevel(org.eclipse.rdf4j.IsolationLevel level)
throws IllegalStateException
setIsolationLevel in interface org.eclipse.rdf4j.repository.RepositoryConnectionIllegalStateExceptionpublic org.eclipse.rdf4j.IsolationLevel getIsolationLevel()
getIsolationLevel in interface org.eclipse.rdf4j.repository.RepositoryConnectionpublic void begin(org.eclipse.rdf4j.IsolationLevel level)
throws org.eclipse.rdf4j.repository.RepositoryException
begin in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionpublic <E extends Exception> void add(org.eclipse.rdf4j.common.iteration.Iteration<? extends org.eclipse.rdf4j.model.Statement,E> statements, org.eclipse.rdf4j.model.Resource... contexts) throws org.eclipse.rdf4j.repository.RepositoryException, E extends Exception
add in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionE extends Exceptionpublic <E extends Exception> void remove(org.eclipse.rdf4j.common.iteration.Iteration<? extends org.eclipse.rdf4j.model.Statement,E> statements, org.eclipse.rdf4j.model.Resource... contexts) throws org.eclipse.rdf4j.repository.RepositoryException, E extends Exception
remove in interface org.eclipse.rdf4j.repository.RepositoryConnectionorg.eclipse.rdf4j.repository.RepositoryExceptionE extends Exceptionpublic String reformulate(String sparql) throws OntopConnectionException, OntopInvalidInputQueryException, OntopReformulationException
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.