◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Ian Horrocks

University of Oxford

48 papers hereh-index 9248.4k citations504 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author4
  • middle author12
  • last author32

Across the 48 of 48 papers where every author was matched, so the position is known.

fields
  • cs.AI27
  • cs.DB8
  • cs.LO6
  • cs.CL4
  • cs.LG3
affiliations
  • University of Oxford
HomepageORCID 0000-0002-2685-7462
same name
  • Ian Horrocks — 6 papers, h 6
  • Ian Horrocks — 3 papers, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20002023
most citedHypertableau Reasoning for Description Logics

199 citations · 953 across the 42 of their papers we have counts for

collaborators
Showing 2022Show all

3 papers · 1 filter

cs.LG2022★ 3 cited

Cardinality-Minimal Explanations for Monotonic Neural Networks

Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks

In recent years, there has been increasing interest in explanation methods for neural model predictions that offer precise formal guarantees. These include abductive (respectively,…

cs.AI2022

Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching

Yuan He, Jiaoyan Chen, Hang Dong +3

Ontology Matching (OM) plays an important role in many domains such as bioinformatics and the Semantic Web, and its research is becoming increasingly popular, especially with the a…

cs.AI2022★ 1 cited

Contextual Semantic Embeddings for Ontology Subsumption Prediction

Jiaoyan Chen, Yuan He, Yuxia Geng +3

Automating ontology construction and curation is an important but challenging task in knowledge engineering and artificial intelligence. Prediction by machine learning techniques s…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.