Query

Every GraphQL schema has a root type for both queries and mutations. The query type defines GraphQL operations that retrieve data from the server.

Fields

generatedAxiom (GeneratedAxiom)

A GeneratedAxiom

Argument	Type	Description
`id`	`Int!`	The id of the GeneratedAxiom

gitAuthorization (Boolean)

Tells whether or not a public key has git access

Argument	Type	Description
`action`	`GitAction!`	The action to authorize
`keyId`	`Int!`	The ID of the public key for authorization
`repositoryId`	`ID!`	The ID of the repository for authorization

language (Language)

A Language for the given ID

Argument	Type	Description
`id`	`ID!`	The ID of the Langauge

languageMapping (LanguageMapping)

A LanguageMapping for the given ID

Argument	Type	Description
`id`	`Int!`	The ID of the LangaugeMapping

logic (Logic)

A Logic for the given ID

Argument	Type	Description
`id`	`ID!`	The ID of the Langauge

logicMapping (LogicMapping)

A LogicMapping for the given ID

Argument	Type	Description
`id`	`ID!`	The ID of the LogicMapping

me (User)

The currently signed in user

organizationalUnit (OrganizationalUnit)

The organizational unit for the given ID

Argument	Type	Description
`id`	`ID!`	ID of the organizational unit

premiseSelection (PremiseSelection)

A PremiseSelection

Argument	Type	Description
`id`	`Int!`	The id of the PremiseSelection

reasoner (Reasoner)

A Reasoner

Argument	Type	Description
`id`	`ID!`	The id of the Reasoner

reasonerConfiguration (ReasonerConfiguration)

A ReasonerConfiguration

Argument	Type	Description
`id`	`Int!`	The id of the ReasonerConfiguration

reasoningAttempt (ReasoningAttempt)

A ReasoningAttempt

Argument	Type	Description
`id`	`Int!`	The id of the ReasoningAttempt

repository (Repository)

The repository for the given ID

Argument	Type	Description
`id`	`ID!`	ID of the repository

search (SearchResult!)

Search Ontohub

Argument	Type	Description
`query`	`String!`	The query string

serialization (Serialization)

A Serialization for the given ID

Argument	Type	Description
`id`	`ID!`	The ID of the Serialization

signature (Signature)

A Signature

Argument	Type	Description
`id`	`Int!`	The id of the Signature

signatureMorphism (SignatureMorphism)

A SignatureMorphism

Argument	Type	Description
`id`	`Int!`	The id of the SignatureMorphism

version (Version!)

The version of the running backend