Background#R##N#Reasoning over biomedical ontologies using their OWL semantics has traditionally been a challenging task due to the high theoretical complexity of OWL-based automated reasoning. As a consequence, ontology repositories, as well as most other tools utilizing ontologies, either provide access to ontologies without use of automated reasoning, or limit the number of ontologies for which automated reasoning-based access is provided.
['Luke Slater', 'Georgios V. Gkoutos', 'Paul N. Schofield', 'Robert Hoehndorf']
Using AberOWL for fast and scalable reasoning over BioPortal ontologies