Related references
Note: Only part of the references are listed.FYPO: the fission yeast phenotype ontology
Midori A. Harris et al.
BIOINFORMATICS (2013)
Scalable Authoritative OWL Reasoning for the Web
Aidan Hogan et al.
International Journal on Semantic Web and Information Systems (2013)
Identifying aberrant pathways through integrated analysis of knowledge in pharmacogenomics
Robert Hoehndorf et al.
BIOINFORMATICS (2012)
A strategy for building neuroanatomy ontologies
David Osumi-Sutherland et al.
BIOINFORMATICS (2012)
Semantic integration of physiology phenotypes with an application to the Cellular Phenotype Ontology
Robert Hoehndorf et al.
BIOINFORMATICS (2012)
Lexically suggest, logically define: Quality assurance of the use of qualifiers and expected results of post-coordination in SNOMED CT
Alan Rector et al.
JOURNAL OF BIOMEDICAL INFORMATICS (2012)
A novel approach to ontology classification
Birte Glimm et al.
JOURNAL OF WEB SEMANTICS (2012)
WebPIE: A Web-scale Parallel Inference Engine using MapReduce
Jacopo Urbani et al.
JOURNAL OF WEB SEMANTICS (2012)
Computational tools for comparative phenomics: the role and promise of ontologies
Georgios V. Gkoutos et al.
MAMMALIAN GENOME (2012)
EXPERIMENTAL ANALYSIS OF SOME COMPUTATION RULES IN A SIMPLE PARALLEL REASONING SYSTEM FOR THE ALC DESCRIPTION LOGIC
Adam Meissner
INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE (2011)
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka et al.
JOURNAL OF AUTOMATED REASONING (2011)
Incremental Classification of Description Logics Ontologies
Bernardo Cuenca Grau et al.
JOURNAL OF AUTOMATED REASONING (2010)
Automata-Based Axiom Pinpointing
Franz Baader et al.
JOURNAL OF AUTOMATED REASONING (2010)
PEER-TO-PEER REASONING FOR INTERLINKED ONTOLOGIES
Anne Schlicht et al.
INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING (2010)
The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration
Barry Smith et al.
NATURE BIOTECHNOLOGY (2007)
Optimizing terminological reasoning for expressive description logics
Dmitry Tsarkov et al.
JOURNAL OF AUTOMATED REASONING (2007)
Debugging incoherent terminologies
Stefan Schlobach et al.
JOURNAL OF AUTOMATED REASONING (2007)
Tractable reasoning and efficient query answering in description logics:: The DL-Lite family
Diego Calvanese et al.
JOURNAL OF AUTOMATED REASONING (2007)
Pellet: A practical OWL-DL reasoner
Evren Sirin et al.
JOURNAL OF WEB SEMANTICS (2007)
Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary
HJ ter Horst
JOURNAL OF WEB SEMANTICS (2005)
Partition-based logical reasoning for first-order and propositional theories
E Amir et al.
ARTIFICIAL INTELLIGENCE (2005)
Share Paper
