You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

A formalization of one of the main claims of “TDP-43 represses cryptic exon inclusion in FTD/ALS gene UNC13A” by Rosa Ma et al. 20211


Rosa Ma et al. claimed in previous work that the protein TDP-43 represses cryptic exon inclusion in the gene UNC13A. We present here a formalization of that claim, stating that all things of class “TAR DNA binding protein” that are in the context of a thing of class “UNC13A” generally have a relation of type “inhibits” to a thing of class “inclusion of cryptic exon” in the same context.


Rosa Ma et al. [2] state that “Here we show that TDP-43 represses a cryptic exon splicing event in UNC13A.”. We present here a formalization of the main scientific claim from this quote by using a semantic template called the super-pattern [1].


Our formalization looks as follows:

CONTEXT-CLASS (“in the context of all…”):UNC13A
SUBJECT-CLASS (“things of type…”):TAR DNA binding protein
RELATION-TYPE (“have a relation of type…”):inhibits
OBJECT-CLASS (“to things of type…”):inclusion of cryptic exon

In the context class we use the “UNC13A” (Q18036664) class from Wikipedia. In subject class, we use the ”TAR DNA binding protein” (Q21133247) from Wikidata. In the object class we used the “inclusion of cryptic exon” (VariO_0504) class from OBO ontology.

3.RDF code

This is our formalization as a nanopublication in TriG format:

@prefix this: <> .
@prefix sub: <> .
@prefix np: <> .
@prefix dct: <> .
@prefix nt: <> .
@prefix npx: <> .
@prefix xsd: <> .
@prefix rdfs: <> .
@prefix orcid: <> .
@prefix prov: <> .
@prefix sp: <> .

sub:Head {
  this: np:hasAssertion sub:assertion ;
    np:hasProvenance sub:provenance ;
    np:hasPublicationInfo sub:pubinfo ;
    a np:Nanopublication .
sub:assertion {
  sub:spi a <> ;
    rdfs:label "The protein TDP-43 represses cryptic exon inclusion in the gene UNC13A." ;
    sp:hasContextClass <> ;
    sp:hasSubjectClass <> ;
    sp:hasQualifier sp:generallyQualifier ;
    sp:hasRelation sp:inhibits ;
    sp:hasObjectClass <> .
sub:provenance {
  sub:activity a sp:FormalizationActivity ;
    prov:used sub:quote , <> ;
    prov:wasAssociatedWith orcid:0000-0003-2310-3013 .
  sub:assertion prov:wasGeneratedBy sub:activity .
  sub:quote prov:value "Here we show that TDP-43 represses a cryptic exon splicing event in UNC13A." ;
    prov:wasQuotedFrom <> .
sub:pubinfo {
  sub:sig npx:hasAlgorithm "RSA" ;
TqSGKzy8AnMKNZ7tgd3KATKBPLQiawisIxx0BFpxw50yA2spZhv2bEpdni9wUOGa1MG+0sKC6bo2DnjxxxeA/wIDAQAB" ;
hgWULwH8hesWGqhWgY0cLlmGsXtS4ft5GVU7o60AO5HMCAM=" ;
    npx:hasSignatureTarget this: .
  this: dct:created "2021-10-26T13:03:28.286Z"^^xsd:dateTime ;
    dct:creator orcid:0000-0003-2310-3013 ;
    npx:introduces sub:spi ;
    <> <> ;
    nt:wasCreatedFromProvenanceTemplate <> ;
    nt:wasCreatedFromPubinfoTemplate <> ,
<> ;
    nt:wasCreatedFromTemplate <> .



C.I. Bucur, T. Kuhn, D. Ceolin and J. van Ossenbruggen, Expressing high-level scientific claims with formal semantics, in: Proceedings of the 11th Knowledge Capture Conference, 2021. doi:10.1145/3460210.3493561.


X. Rosa Ma, M. Prudencio, Y. Koike, S.C. Vatsavayai, G. Kim, F. Harbinski, C.M. Rodriguez, H.B. Schmidt, B.B. Cummings, D.W. Wyatt, K. Kurylo, G. Miller, S. Mekhoubad, N. Sallee, K. Jansen-West, C.N. Cook, S. Pickles, B. Oskarsson, N.R. Graff-Radford, B.F. Boeve, D.S. Knopman, R.C. Petersen, D.W. Dickson, E.M. Green, W.W. Seeley, L. Petrucelli and A.D. Gitler, TDP-43 represses cryptic exon inclusion in FTD/ALS gene UNC13A, biorxiv. doi:10.1101/2021.04.02.438213.