PPaperPicks

Ian Horrocks

11 papers at tracked venues · 7 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ICLR ×2ISWC ×2NeurIPS ×2WWW ×2AAAI ×1ECAI ×1KR ×1

Frequent coauthors

Matthew Morris
DBLP profile ↗ORCID search ↗
×3
Hui Yang
DBLP profile ↗ORCID search ↗
×1
Peter Crocker
DBLP profile ↗ORCID search ↗
×1
Mathias Jackermeier
DBLP profile ↗ORCID search ↗
×1
Xiaxia Wang
DBLP profile ↗ORCID search ↗
×1
Yuan He
DBLP profile ↗ORCID search ↗
×1
Jieying Chen
DBLP profile ↗ORCID search ↗
×1
Xinyue Zhang
DBLP profile ↗ORCID search ↗
×1
Jingchuan Shi
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Language Models as Ontology Encoders
    ISWC 2025 ·
    Hui Yang
    DBLP profile ↗ORCID search ↗
  2. Semantic Technology in Your Pocket
    ISWC 2025 ·
    Peter Crocker
    DBLP profile ↗ORCID search ↗
  3. Sound Logical Explanations for Mean Aggregation Graph Neural Networks
    NeurIPS 2025 ·
    Matthew Morris
    DBLP profile ↗ORCID search ↗
  4. Dual Box Embeddings for the Description Logic EL++
    WWW 2024 ·
    Mathias Jackermeier
    DBLP profile ↗ORCID search ↗
  5. Faithful Rule Extraction for Differentiable Rule Learning Models
    ICLR 2024 ·
    Xiaxia Wang
    DBLP profile ↗ORCID search ↗
  6. Language Models as Hierarchy Encoders
    NeurIPS 2024 ·
    Yuan He
    DBLP profile ↗ORCID search ↗
  7. Ontology Text Alignment: Aligning Textual Content to Terminological Axioms
    ECAI 2024 ·
    Jieying Chen
    DBLP profile ↗ORCID search ↗
  8. Optimised Storage for Datalog Reasoning
    AAAI 2024 ·
    Xinyue Zhang
    DBLP profile ↗ORCID search ↗
  9. Orbit-Equivariant Graph Neural Networks
    ICLR 2024 ·
    Matthew Morris
    DBLP profile ↗ORCID search ↗
  10. Relational Graph Convolutional Networks Do Not Learn Sound Rules
    KR 2024 ·
    Matthew Morris
    DBLP profile ↗ORCID search ↗
  11. Taxonomy Completion via Implicit Concept Insertion
    WWW 2024 ·
    Jingchuan Shi
    DBLP profile ↗ORCID search ↗