Henson Graves

16 papers Journal 4Unranked 12
YearRankTypeTitle / Venue / Authors
2013 J jnl
A Decidable Extension of SROIQ with Complex Role Chains and Unions.
J. Artif. Intell. Res.
Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev
2012 — conf
A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms.
Description Logics
Milenko Mosurovic, Henson Graves, Nenad Krdzavac
2012 J jnl
Ontology for Big Systems: The Ontology Summit 2012 Communiqué.
Appl. Ontology
Todd Schneider, Ali Hashemi, Mike Bennett, Mary Brady, Cory Casanave, Henson Graves, Michael Gruninger, Nicola Guarino, Anatoly Levenchuk, Ernie Lucier, Leo Obrst, Steve Ray, Ram D. Sriram, Amanda Vizedom, Matthew West, Trish Whetzel, Peter Yim
2011 — conf
Structural Models in Axiomatic SysML.
Description Logics
Henson Graves
2011 J jnl
Using formal methods with SysML in aerospace design and engineering.
Ann. Math. Artif. Intell.
Henson Graves, Yvonne Bijan
2010 — conf
Constructions for Modeling Product Structure.
OWLED
Henson Graves
2010 — conf
Logic for Modeling Product Structure.
Description Logics
Henson Graves
2009 — conf
Unifying SysML and OWL.
OWLED
Henson Graves
2008 — conf
Application of OWL 1.1 to Systems Engineering (Statement of Interest).
OWLED (Spring)
Ian Horrocks, Henson Graves
2008 — conf
Product Modelling and the Semantic Web.
ISWC (Posters & Demos)
Michel Böhms, David Leal, Henson Graves
2008 — conf
Representing Product Designs Using a Description Graph Extension to OWL 2.
OWLED
Henson Graves
2007 — conf
Ontology Engineering for Product Development.
OWLED
Henson Graves
1992 — conf
A code synthesis experiment.
KBSE
Henson Graves, Joe Louie, Tracy Mullen
1992 J jnl
Lockheed Environment for Automatic Programming.
IEEE Expert
Henson Graves
1991 — conf
Lockheed Environment for Automatic Programming.
KBSE
Henson Graves
1985 — conf
The ALGOS Computational System.
European Conference on Computer Algebra (2)
Henson Graves, Lee Blaine