Statistics
Publications
1
Citations
167
H-Index
1
Active since
2000
Ian Horrock is an author specializing in tbox reasoning, computing, and query containment.
Publications per year
2000–2000
1
1
Reasoning with Individuals for the Description Logic SHIQ
Ian Horrock, Ulrike Sattler, Stephan Tobies · ArXiv.org · 2000 · 167 citations · Full text
1–1 of 1