( en | de | ru )

 

Disambiguation of "Graves, Henson"

Author of the publication

copydeleteadd this publication to your clipboard
A Decidable Extension of SROIQ with Complex Role Chains and Unions.

, , , and . J. Artif. Intell. Res., (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrew Graves

Alex Graves

 

Other publications of authors with the same name

A code synthesis experiment., , and . KBSE, page 6-17. IEEE Computer Society, (1992)Application of OWL 1.1 to Systems Engineering (Statement of Interest)., and . OWLED (Spring), volume 496 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)The ALGOS Computational System., and . European Conference on Computer Algebra (2), volume 204 of Lecture Notes in Computer Science, page 179-180. Springer, (1985)Ontology Engineering for Product Development.. OWLED, volume 258 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Structural Models in Axiomatic SysML.. Description Logics, volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Using formal methods with SysML in aerospace design and engineering., and . Ann. Math. Artif. Intell., 63 (1): 53-102 (2011)Lockheed Environment for Automatic Programming.. IEEE Expert, 7 (6): 15-25 (1992)Logic for Modeling Product Structure.. Description Logics, volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Ontology for Big Systems: The Ontology Summit 2012 Communiqué., , , , , , , , , and 7 other author(s). Appl. Ontology, 7 (3): 357-371 (2012)A Decidable Extension of SROIQ with Complex Role Chains and Unions., , , and . J. Artif. Intell. Res., (2013)