Francesco Compagno

Class deleted from a user is still visible in the taxonomy tree

1

**Describe the bug** I have a web protegé project. Some classes were deleted long time ago, but they are still visible in the taxonomy view. They can not be downloaded,...

Error when using object property in axiom with "only" quantifier

4

In my ontology there is an object property, say "my-object-property". When I try execute a rule such as: ``` Class: @B* SubClassOf: my-object-property some @F* ``` everything works fine. But...

Problem (?) with axiom "regions-precede-if-they-meet" [suk-1]

8

The axiom "regions-precede-if-they-meet", [suk-1], says, in prover9 syntax: > all i1 all i2 all l1 all f2 ((((-(bfoiof(i1,tinstbcat,i1))) & (-(bfoiof(i2,tinstbcat,i2))) & (lastInstantOf(l1,i1)) & (firstInstantOf(f2,i2)) & ((l1) = (f2)))) -> (precedes(i1,i2)))...