Patents by Inventor Michael John Lawley

Michael John Lawley has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Modification of description logic expressions
    Patent number: 9070084
    Abstract: A method, executed by a computer system, or altering a base expression associated with an ontology, the method including: generating a canonical expression from the base expression; modifying the canonical expression to generate a modified canonical expression, the modification being the addition, replacement or deletion of a target update expression segment; modifying the base expression to generate a modified base expression by adding a modification sub-expression to the base expression or deleting a modification sub-expression from the base expression, the modification sub-expression being determined at least in part from the target update expression segment; generating a comparison canonical expression from the modified base expression; and comparing the comparison canonical expression with the modified canonical expression to determine whether to substitute the base expression with the modified base expression.
    Type: Grant
    Filed: June 21, 2011
    Date of Patent: June 30, 2015
    Assignee: COMMONWEALTH SCIENTIFIC AND INDUSTRIAL RESEARCH ORGANISATION
    Inventor: Michael John Lawley
  • MODIFICATION OF DESCRIPTION LOGIC EXPRESSIONS
    Publication number: 20130144828
    Abstract: A method, executed by a computer system, or altering a base expression associated with an ontology, the method including: generating a canonical expression from the base expression; modifying the canonical expression to generate a modified canonical expression, the modification being the addition, replacement or deletion of a target update expression segment; modifying the base expression to generate a modified base expression by adding a modification sub-expression to the base expression or deleting a modification sub-expression from the base expression, the modification sub-expression being determined at least in part from the target update expression segment; generating a comparison canonical expression from the modified base expression; and comparing the comparison canonical expression with the modified canonical expression to determine whether to substitute the base expression with the modified base expression.
    Type: Application
    Filed: June 21, 2011
    Publication date: June 6, 2013
    Inventor: Michael John Lawley