Publications

Authored

• Expressibility of OWL Axioms with Patterns

  ESWC 2021
• A Functional API for OWL

  ISWC 2020
• A Domain Ontology for Task Instructions

  KGSWC 2020
• Completion Reasoning Emulation for the Description Logic EL+

  AAAI-MAKE 2020
• Pseudo-Random ALC Syntax Generation

  ESWC 2018

Supported

• Towards Bridging the Neuro-Symbolic Gap: Deep Deductive Reasoners

  Applied Intelligence 2021
• Towards a Modular Ontology for Space Weather Research

  WOP 2020
• A Method for Automatically Generating Schema Diagrams for OWL Ontologies

  KGSWC 2019