Henson Graves

According to our database, Henson Graves authored at least 15 papers between 1985 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

A Decidable Extension of SROIQ with Complex Role Chains and Unions.

Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev

J. Artif. Intell. Res., 2013

2012

Ontology for Big Systems: The Ontology Summit 2012 Communiqué.

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

Appl. Ontology, 2012

A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms.

Milenko Mosurovic, Henson Graves, Nenad Krdzavac

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Using formal methods with SysML in aerospace design and engineering.

Henson Graves, Yvonne Bijan

Ann. Math. Artif. Intell., 2011

Structural Models in Axiomatic SysML.

Henson Graves

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Constructions for Modeling Product Structure.

Henson Graves

Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

Logic for Modeling Product Structure.

Henson Graves

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Unifying SysML and OWL.

Henson Graves

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

2008

Product Modelling and the Semantic Web.

Michel Böhms, David Leal, Henson Graves

Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), 2008

Application of OWL 1.1 to Systems Engineering (Statement of Interest).

Ian Horrocks, Henson Graves

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Product Designs Using a Description Graph Extension to OWL 2.

Henson Graves

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

2007

Ontology Engineering for Product Development.

Henson Graves

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

1992

Lockheed Environment for Automatic Programming.

Henson Graves

IEEE Expert, 1992

A code synthesis experiment.

Henson Graves, Joe Louie, Tracy Mullen

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1985

The ALGOS Computational System.

Henson Graves, Lee Blaine

Proceedings of the EUROCAL '85, 1985