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
At the moment, it is cumbersome to add and type individuals with a type that doesn't already appear in some other class assertion. For example, if the ontology contains ClassAssertion(:A :i) then the class A will appear in the view, but if the user wants to add ClassAssertion(:B :k) and the ontology does not contain class assertions with B then they have add k at the top level and then assign a type on the right hand side. It would be better if this was possible in the actual view.
The text was updated successfully, but these errors were encountered:
At the moment, it is cumbersome to add and type individuals with a type that doesn't already appear in some other class assertion. For example, if the ontology contains
ClassAssertion(:A :i)
then the classA
will appear in the view, but if the user wants to addClassAssertion(:B :k)
and the ontology does not contain class assertions withB
then they have addk
at the top level and then assign a type on the right hand side. It would be better if this was possible in the actual view.The text was updated successfully, but these errors were encountered: