Henson Graves

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Qualitative Physics

Heterogeneous Information Systems

Specific Domains

Top Venues

Description Logics

J. Artif. Intell. Res.

Publications

Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev
A Decidable Extension of SROIQ with Complex Role Chains and Unions. J. Artif. Intell. Res. 47 (2013)
Milenko Mosurovic, Henson Graves, Nenad Krdzavac
A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms. Description Logics (2012)
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
Ontology for Big Systems: The Ontology Summit 2012 Communiqué. Appl. Ontology 7 (3) (2012)
Henson Graves
Structural Models in Axiomatic SysML. Description Logics (2011)
Henson Graves, Yvonne Bijan
Using formal methods with SysML in aerospace design and engineering. Ann. Math. Artif. Intell. 63 (1) (2011)
Henson Graves
Logic for Modeling Product Structure. Description Logics (2010)
Henson Graves
Constructions for Modeling Product Structure. OWLED (2010)
Henson Graves
Unifying SysML and OWL. OWLED (2009)
Michel Böhms, David Leal, Henson Graves
Product Modelling and the Semantic Web. ISWC (Posters & Demos) (2008)
Ian Horrocks, Henson Graves
Application of OWL 1.1 to Systems Engineering (Statement of Interest). OWLED (Spring) (2008)
Henson Graves
Representing Product Designs Using a Description Graph Extension to OWL 2. OWLED (2008)
Henson Graves
Ontology Engineering for Product Development. OWLED (2007)
Henson Graves
Lockheed Environment for Automatic Programming. IEEE Expert 7 (6) (1992)
Henson Graves, Joe Louie, Tracy Mullen
A code synthesis experiment. KBSE (1992)
Henson Graves
Lockheed Environment for Automatic Programming. KBSE (1991)
Henson Graves, Lee Blaine
The ALGOS Computational System. European Conference on Computer Algebra (2) (1985)