You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
a justification is a minimal set of axioms entailing the theorem.
For OWL, the OWL API provides justifications.
Start with root justifications.
See Horridge's dissertation.
The text was updated successfully, but these errors were encountered:
a justification is a minimal set of axioms entailing the theorem.
For OWL, the OWL API provides justifications.
Start with root justifications.
See Horridge's dissertation.
The text was updated successfully, but these errors were encountered: