Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Shearer, Rob
add a person with the name Shearer, Rob
 

Other publications of authors with the same name

Hypertableau Reasoning for Description Logics., , and . CoRR, (2014)OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences., , , , and . ISWC/ASWC, volume 4825 of Lecture Notes in Computer Science, page 169-182. Springer, (2007)Exploiting Partial Information in Taxonomy Construction., , and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Hypertableau Reasoning for Description Logics., , and . J. Artif. Intell. Res., (2009)Optimized Reasoning in Description Logics Using Hypertableaux., , and . CADE, volume 4603 of Lecture Notes in Computer Science, page 67-83. Springer, (2007)A novel approach to ontology classification., , , , and . J. Web Semant., (2012)Structured Ontology Format.. OWLED, volume 258 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)HermiT: A Highly-Efficient OWL Reasoner., , and . OWLED, volume 432 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)A Hypertableau Calculus for SHIQ., , and . Description Logics, volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi., , and . Description Logics, volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)