The Incredible ELK

FYPO: the fission yeast phenotype ontology

(2013) M. A. Harris et al.   BIOINFORMATICS

Scalable Authoritative OWL Reasoning for the Web

(2013) Aidan Hogan et al.   International Journal on Semantic Web and Information Systems

Identifying aberrant pathways through integrated analysis of knowledge in pharmacogenomics

(2012) R. Hoehndorf et al.   BIOINFORMATICS

A strategy for building neuroanatomy ontologies

(2012) David Osumi-Sutherland et al.   BIOINFORMATICS

Semantic integration of physiology phenotypes with an application to the Cellular Phenotype Ontology

(2012) Robert Hoehndorf et al.   BIOINFORMATICS

A novel approach to ontology classification

(2012) Birte Glimm et al.   Journal of Web Semantics

Computational tools for comparative phenomics: the role and promise of ontologies

(2012) Georgios V. Gkoutos et al.   MAMMALIAN GENOME

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

(2011) Adam Meissner   International Journal of Applied Mathematics and Computer Science

Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes

(2011) Despoina Magka et al.   JOURNAL OF AUTOMATED REASONING

Lexically suggest, logically define: Quality assurance of the use of qualifiers and expected results of post-coordination in SNOMED CT

(2011) Alan Rector et al.   JOURNAL OF BIOMEDICAL INFORMATICS

WebPIE: A Web-scale Parallel Inference Engine using MapReduce

(2011) Jacopo Urbani et al.   Journal of Web Semantics

Incremental Classification of Description Logics Ontologies

(2010) Bernardo Cuenca Grau et al.   JOURNAL OF AUTOMATED REASONING

Automata-Based Axiom Pinpointing

(2010) Franz Baader et al.   JOURNAL OF AUTOMATED REASONING