Rob Shearer

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j2		Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos: A novel approach to ontology classification. J. Web Sem. 14: 84-101 (2012)
	2009
j1		Boris Motik, Rob Shearer, Ian Horrocks: Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. (JAIR) 36: 165-228 (2009)
c8		Rob Shearer, Ian Horrocks, Boris Motik: Exploiting Partial Information in Taxonomy Construction. Description Logics 2009
c7		Rob Shearer, Ian Horrocks: Exploiting Partial Information in Taxonomy Construction. International Semantic Web Conference 2009: 569-584
	2008
c6		Rob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008
c5		Rob Shearer, Boris Motik, Ian Horrocks: HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008
	2007
c4		Boris Motik, Rob Shearer, Ian Horrocks: Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83
c3		Boris Motik, Rob Shearer, Ian Horrocks: A Hypertableau Calculus for SHIQ. Description Logics 2007
c2		Rob Shearer: Structured Ontology Format. OWLED 2007
c1		Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer: OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC 2007: 169-182

Coauthor Index

1	Birte Glimm	[j2]
2	Christine Golbreich (Christine Pierret-Golbreich)	[c1]
3	Matthew Horridge	[c1]
4	Ian Horrocks	[j2] [j1] [c8] [c7] [c6] [c5] [c4] [c3] [c1]
5	Boris Motik	[j2] [j1] [c8] [c6] [c5] [c4] [c3] [c1]
6	Giorgos Stoilos	[j2]

Last update Wed May 22 18:46:41 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page