Toward cognitive support for OWL justifications

A Complexity Measure

Thomas J. McCabe · IEEE Transactions on Software Engineering · 1976 · 5.8K citations

Computing, Computer Science, Algorithms +15

The even more irresistible SROIQ

Ian Horrocks, Oliver Kutz, Ulrike Sattler · 2006 · 845 citations

Computing, Computer Science, Knowledge Representation +15

Cognitive processes in propositional reasoning.

Lance J. Rips · Psychological Review · 1983 · 450 citations

Social Sciences, Behavioral Sciences, Psychology +11

Non-standard reasoning services for the debugging of description logic terminologies

Stefan Schlobach, Ronald Cornet · Data Archiving and Networked Services (DANS) · 2003 · 423 citations

Computing, Computer Science, Formal Methods +15

Swoop: A Web Ontology Editing Browser

Aditya Kalyanpur, Bijan Parsia, Evren Sirin et al. · Journal of Web Semantics · 2005 · 288 citations

Computing, Computer Science, Information Systems +16