Author: Matthew Horridge The University of Manchester Information Management Group
Date: 21-Jan-2009
Indicates that a query was posed to the reasoner that contained undeclared entities.
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 03-Aug-2009
Indicates that a class expression in an axiom is not in the profile