Pellet: A practical OWL-DL reasoner

LUBM: A benchmark for OWL knowledge base systems

Yuanbo Guo, Zhengxiang Pan, Jeff Heflin · Journal of Web Semantics · 2005 · 1.3K citations

Computing, Computer Science, Knowledge Representation +15

Jena

Jeremy J. Carroll, Ian Dickinson, Chris Dollin et al. · 2004 · 913 citations

Computing, Computer Science, Information Systems +14

Reducing OWL entailment to description logic satisfiability

Ian Horrocks, Peter F. Patel‐Schneider · Journal of Web Semantics · 2004 · 389 citations

Computing, Computer Science, Formal Methods +15

An Overview of Tableau Algorithms for Description Logics

Franz Baader, Ulrike Sattler · Studia Logica · 2001 · 388 citations

Computing, Computer Science, Formal Methods +11

A tableaux decision procedure for SHOIQ

Ian Horrocks, Ulrike Sattler · Research Explorer (The University of Manchester) · 2005 · 367 citations

Computing, Computer Science, Algorithms +10