Ian Horrocks

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner

2015 · Journal of Artificial Intelligence Research

Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for many applications. Query answering is, however, computationally very expensive, which has led to the development of query answering procedures that sacrifice either expressive …

Knowledge-based Transfer Learning Explanation

2018 · arXiv (Cornell University)

Machine learning explanation can significantly boost machine learning's application in decision making, but the usability of current methods is limited in human-centric explanation, especially for transfer learning, an important machine learning branch that aims at …

Dual Box Embeddings for the Description Logic EL ⁺⁺

2024

OWL ontologies, whose formal semantics are rooted in Description Logic (DL), have been widely used for knowledge representation. Similar to Knowledge Graphs (KGs), ontologies are often incomplete, and maintaining and constructing them has proved challenging. …