Henson Graves

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
A Decidable Extension of SROIQ with Complex Role Chains and Unions.
J. Artif. Intell. Res., 2013

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

A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Using formal methods with SysML in aerospace design and engineering.
Ann. Math. Artif. Intell., 2011

Structural Models in Axiomatic SysML.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Constructions for Modeling Product Structure.
Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

Logic for Modeling Product Structure.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

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

2008
Product Modelling and the Semantic Web.
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).
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Product Designs Using a Description Graph Extension to OWL 2.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

2007
Ontology Engineering for Product Development.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

1992
Lockheed Environment for Automatic Programming.
IEEE Expert, 1992

A code synthesis experiment.
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1985
The ALGOS Computational System.
Proceedings of the EUROCAL '85, 1985


  Loading...