◍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 2012Show all

1 paper · 1 filter

cs.AI2012★ 135 cited

A Description Logic Primer

Markus Krötzsch, Frantisek Simancik, Ian Horrocks

This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the D…

◍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.