Research topic

Neuro-symbolic methods in Bioinformatics

This IRI: https://leechuck.de/kg-browser/id/topic/neuro-symbolic-ai
owl:sameAs https://borg.kaust.edu.sa/kg/topic/neuro-symbolic-ai · rdf:type borg:Topic

We work on methods that integrate symbolic knowledge with statistical learning. This includes mapping entities in formal ontologies into vector spaces while preserving their semantic relations. We develop embedding frameworks for Description Logics (e.g., EL++ and ALC) that provide mathematical guarantees for logical soundness and approximate the interpretation of formalized theories.

Section
Foundations
Keywords
ontology embeddings, description logic, geometric embeddings, EL++, ALC, neuro-symbolic AI, knowledge graph embedding, mOWL

Connections

related papers borg:linkedPaper

related projects borg:linkedProject

related people borg:linkedPerson

related courses borg:linkedCourse

Referenced by

research topics borg:topic

Open in the interactive graph →

JSON-LD (this resource)
{
  "@context": {
    "schema": "https://schema.org/",
    "foaf": "http://xmlns.com/foaf/0.1/",
    "prov": "http://www.w3.org/ns/prov#",
    "dct": "http://purl.org/dc/terms/",
    "borg": "https://borg.kaust.edu.sa/kg/ns/",
    "borg-id": "https://borg.kaust.edu.sa/kg/",
    "owl": "http://www.w3.org/2002/07/owl#"
  },
  "@id": "https://leechuck.de/kg-browser/id/topic/neuro-symbolic-ai",
  "@type": "borg:Topic",
  "owl:sameAs": {
    "@id": "https://borg.kaust.edu.sa/kg/topic/neuro-symbolic-ai"
  },
  "schema:name": "Neuro-symbolic methods in Bioinformatics",
  "borg:shortName": "Neuro-symbolic AI",
  "borg:section": "Foundations",
  "schema:abstract": "We work on methods that integrate symbolic knowledge with statistical learning. This includes mapping entities in formal ontologies into vector spaces while preserving their semantic relations. We develop embedding frameworks for Description Logics (e.g., EL++ and ALC) that provide mathematical guarantees for logical soundness and approximate the interpretation of formalized theories.",
  "borg:keyword": [
    "ontology embeddings",
    "description logic",
    "geometric embeddings",
    "EL++",
    "ALC",
    "neuro-symbolic AI",
    "knowledge graph embedding",
    "mOWL"
  ],
  "borg:linkedPaper": [
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/10.1093/bib/bbaa199"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/10.1093/bioinformatics/btae237"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/10.1093/bioinformatics/btz595"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/10.1371/journal.pcbi.1008453"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/10.3897/biss.3.37048"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Alshahrani2022"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/alsharani17"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Alsulami2026"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Althagafi2024"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Chen2025"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/datascience"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/deepgo"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/deeppvp"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Hinnerichs2021"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Kulmanov2022"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Mashkova2026"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/onto2vec"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/opa2vec"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/smudge"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/ZhapaCamacho2022"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Ashhad2026"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/DBLP:conf/nesy/Zhapa-CamachoH23"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Ghunaim2024"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/kulmanov2019el"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Mashkova2024"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Pei2019"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Sara2018"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Song2026"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Tang2022"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/tang_neural_2023"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/vec2sparql"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/ZhapaCamacho2024"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/ZhapaCamacho2026"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/pub/Hoehndorf2025"
    }
  ],
  "borg:linkedProject": [
    {
      "@id": "https://leechuck.de/kg-browser/id/project/kcsh-pathway-to-impact"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/coe-genai-bcb"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/crg-explainable-ml-ontologies"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/smart-health-peptide-leukemia"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/smart-health-saudi-pangenome"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/ntgc-desert-microbiome"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/cli-mangrove-microbiome"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/crg-functional-metagenomics"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/crg-ibnsina-qi"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/ccf-algorithms-biotech-biomedical"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/crg-complex-variant-prioritization"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/ccf-saudi-population-health"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/cpf-variant-prioritization-improvement"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/crg-bio2vec"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/ccf-microbial-cell-factories"
    }
  ],
  "borg:linkedPerson": [
    {
      "@id": "https://leechuck.de/kg-browser/id/person/robert-hoehndorf"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/mona-alshahrani"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/sarah-alghamdi"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/sumyyah-toonsi"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/sara-althubaiti"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/maxat-kulmanov"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/imane-boudellioua"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/azza-althagafi"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/miguel-angel-rodriguez-garcia"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/zhenwei-tang"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/yang-liu"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/xi-peng"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/rund-tawfiq"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/kexin-niu"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/tengwei-song"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/paul-n-schofield"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/charlotte-hauser"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/malak-althagafi"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/heribert-hirt"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/gabriel-wittum"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/arne-naegel"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/takashi-gojobori"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/georgios-v-gkoutos"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/vladimir-bajic"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/xin-gao"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/michel-dumontier"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/jens-lehmann"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/fernando-zhapa-camacho"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/sakhaa-alsaedi"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/abeer-almutairi"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/daulet-toibazar"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/amal-alhelal"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/md-nurul-muttakin"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/hatoon-al-ali"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/shahad-qatan"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/safana-bakheet"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/sawsan-al-boeisa"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/mahdi-bu-ali"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/asaad-mohammedsaleh"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/ashraf-kibraya"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/person/aleksei-matveev"
    }
  ],
  "borg:linkedCourse": [
    {
      "@id": "https://leechuck.de/kg-browser/id/course/krr-2026"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/neurosymbolic-2026"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/aibio-2025"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/krr-2024"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/neurosymbolic-2024"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/data-analytics-2023"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/krr-2022"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/data-analytics-2021"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/krr-2021"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/krr-2020"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/intro-ai-2019"
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/course/ml-aber-2013"
    }
  ]
}

Machine-readable copy: data.jsonld. Full dataset: kg.jsonld.