| Using formal methods with SysML in aerospace design and engineering H Graves, Y Bijan Annals of Mathematics and Artificial Intelligence 63 (1), 53-102, 2011 | 63 | 2011 |
| Integrating sysml and owl H Graves Proceedings of OWL: Experiences and Directions 2009, 2009 | 46 | 2009 |
| Lockheed environment for automatic programming H Graves IEEE Expert 7 (6), 15-25, 1992 | 35 | 1992 |
| Computer-assisted axiomatic mathematics: Informal rigor RL Smith, H Graves, LH Blaine, VG Marinov Computers in Education, 803-809, 1975 | 33 | 1975 |
| Integrating reasoning with SysML H Graves INCOSE International Symposium 22 (1), 2228-2242, 2012 | 21 | 2012 |
| Ontology for big systems: The ontology summit 2012 communique T Schneider, A Hashemi, M Bennett, M Brady, C Casanave, H Graves, ... Applied Ontology 7 (3), 357-371, 2012 | 19 | 2012 |
| Representing Product Designs Using a Description Graph Extension to OWL 2. H Graves, I Horrocks OWLED, 2008 | 17 | 2008 |
| Probability kinematics Z Domotor, M Zanotti, H Graves Synthese 44, 421-442, 1980 | 17 | 1980 |
| Application of OWL 1.1 to systems engineering H Graves, I Horrocks OWL Experiences and Directions April Workshop, 2008 | 15 | 2008 |
| A decidable extension of SROIQ with complex role chains and unions M Mosurovic, N Krdzavac, H Graves, M Zakharyaschev Journal of Artificial Intelligence Research 47, 809-851, 2013 | 14 | 2013 |
| An extension of the Stone representation for orthomodular lattices WH Graves, SA Selesnick Colloquium Mathematicum 1 (27), 21-30, 1973 | 11 | 1973 |
| Air vehicle model-based design and simulation pilot H Graves, S Guest, J Vermette, Y Bijan, H Banks, G Whitehead, B Ison Simulation Interoperability Workshop (SIW), 2009 | 9 | 2009 |
| Ontology Engineering for Product Development. H Graves OWLED, 2007 | 9 | 2007 |
| Interactive design in LEAP H Graves Proc. 91 AAAI workshop on Automating Software Design, 1991 | 9 | 1991 |
| Current State of ontology in engineering systems H Graves, M West Internet: OMG, 2012 | 7 | 2012 |
| Ontological foundations for SysML H Graves, I Horrocks Proceedings of 3rd International Conference on Model-Based Systems Engineering, 2010 | 7 | 2010 |
| Product modelling using Semantic Web technologies M Böhms, D Leal, H Graves, K Clark The World Wide Web Consortium, 2009 | 7 | 2009 |
| A code synthesis experiment H Graves, J Louie, T Mullen Proceedings of the Seventh Knowledge-Based Software Engineering Conference …, 1992 | 7 | 1992 |
| Modeling structure in description logic H Graves, Y Bijan 24th International Workshop on Description Logics, 510, 2011 | 6 | 2011 |
| Common intermediate design language H Graves, W Polak Proceedings of the Twenty-Fifth Hawaii International Conference on System …, 1992 | 6 | 1992 |
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
