{-# OPTIONS --safe --cubical #-}

module OWL2.Examples.OBOGraph.Json.Semantics where

open import OWL2.Prelude
import OWL2.Portable.Check.SemanticSupport as CheckSemantic
import OWL2.Portable.Semantics as Sem

import OWL2.Examples.OBOGraph.Json.AllValuesFromEdges as AllValuesFromEdges
import OWL2.Examples.OBOGraph.Json.ABox as ABox
import OWL2.Examples.OBOGraph.Json.EquivNodeSetTest as EquivNodeSetTest
import OWL2.Examples.OBOGraph.Json.LogicalDefinitionTest as LogicalDefinitionTest
import OWL2.Examples.OBOGraph.Json.Nucleus as Nucleus
import OWL2.Examples.OBOGraph.Json.ObsoletionExample as ObsoletionExample
import OWL2.Examples.OBOGraph.Json.PropertyChainAllValues as PropertyChainAllValues
import OWL2.Examples.OBOGraph.Json.RO as RO
import OWL2.Examples.OBOGraph.Json.ROCore as ROCore
import OWL2.Examples.OBOGraph.Json.SYMP as SYMP
import OWL2.Examples.OBOGraph.Json.UO as UO

allValuesFromEdgesTranslation : Sem.SemanticTranslation
allValuesFromEdgesTranslation =
  Sem.partialTranslateOntologyDocument AllValuesFromEdges.ontologyDocument

aboxTranslation : Sem.SemanticTranslation
aboxTranslation =
  Sem.partialTranslateOntologyDocument ABox.ontologyDocument

equivNodeSetTestTranslation : Sem.SemanticTranslation
equivNodeSetTestTranslation =
  Sem.partialTranslateOntologyDocument EquivNodeSetTest.ontologyDocument

logicalDefinitionTestTranslation : Sem.SemanticTranslation
logicalDefinitionTestTranslation =
  Sem.partialTranslateOntologyDocument LogicalDefinitionTest.ontologyDocument

nucleusTranslation : Sem.SemanticTranslation
nucleusTranslation =
  Sem.partialTranslateOntologyDocument Nucleus.ontologyDocument

obsoletionExampleTranslation : Sem.SemanticTranslation
obsoletionExampleTranslation =
  Sem.partialTranslateOntologyDocument ObsoletionExample.ontologyDocument

propertyChainAllValuesTranslation : Sem.SemanticTranslation
propertyChainAllValuesTranslation =
  Sem.partialTranslateOntologyDocument PropertyChainAllValues.ontologyDocument

roTranslation : Sem.SemanticTranslation
roTranslation =
  Sem.partialTranslateOntologyDocument RO.ontologyDocument

roCoreTranslation : Sem.SemanticTranslation
roCoreTranslation =
  Sem.partialTranslateOntologyDocument ROCore.ontologyDocument

sympTranslation : Sem.SemanticTranslation
sympTranslation =
  Sem.partialTranslateOntologyDocument SYMP.ontologyDocument

uoTranslation : Sem.SemanticTranslation
uoTranslation =
  Sem.partialTranslateOntologyDocument UO.ontologyDocument

allValuesFromEdgesComplete :
  Sem.CompleteSemanticTranslation AllValuesFromEdges.ontologyDocument
allValuesFromEdgesComplete =
  CheckSemantic.completeSemanticTranslationFromClean
    AllValuesFromEdges.ontologyDocument
    tt

aboxComplete :
  Sem.CompleteSemanticTranslation ABox.ontologyDocument
aboxComplete =
  CheckSemantic.completeSemanticTranslationFromClean ABox.ontologyDocument tt

equivNodeSetTestComplete :
  Sem.CompleteSemanticTranslation EquivNodeSetTest.ontologyDocument
equivNodeSetTestComplete =
  CheckSemantic.completeSemanticTranslationFromClean
    EquivNodeSetTest.ontologyDocument
    tt

logicalDefinitionTestComplete :
  Sem.CompleteSemanticTranslation LogicalDefinitionTest.ontologyDocument
logicalDefinitionTestComplete =
  CheckSemantic.completeSemanticTranslationFromClean
    LogicalDefinitionTest.ontologyDocument
    tt

nucleusComplete :
  Sem.CompleteSemanticTranslation Nucleus.ontologyDocument
nucleusComplete =
  CheckSemantic.completeSemanticTranslationFromClean
    Nucleus.ontologyDocument
    tt

obsoletionExampleComplete :
  Sem.CompleteSemanticTranslation ObsoletionExample.ontologyDocument
obsoletionExampleComplete =
  CheckSemantic.completeSemanticTranslationFromClean
    ObsoletionExample.ontologyDocument
    tt

propertyChainAllValuesComplete :
  Sem.CompleteSemanticTranslation PropertyChainAllValues.ontologyDocument
propertyChainAllValuesComplete =
  CheckSemantic.completeSemanticTranslationFromClean
    PropertyChainAllValues.ontologyDocument
    tt

roComplete :
  Sem.CompleteSemanticTranslation RO.ontologyDocument
roComplete =
  CheckSemantic.completeSemanticTranslationFromClean RO.ontologyDocument tt

roCoreComplete :
  Sem.CompleteSemanticTranslation ROCore.ontologyDocument
roCoreComplete =
  CheckSemantic.completeSemanticTranslationFromClean
    ROCore.ontologyDocument
    tt

sympComplete :
  Sem.CompleteSemanticTranslation SYMP.ontologyDocument
sympComplete =
  CheckSemantic.completeSemanticTranslationFromClean SYMP.ontologyDocument tt

uoComplete :
  Sem.CompleteSemanticTranslation UO.ontologyDocument
uoComplete =
  CheckSemantic.completeSemanticTranslationFromClean UO.ontologyDocument tt