This bug was originally reported by Philip Lord. The Manchester OWL syntax parser seems to add the last declared class to the disjoint classes axioms (with more than three class expressions). Thus for the snippet
the SultanaTopping gets added to the disjoint classes axiom when it is parsed.
I have attached a program demonstrating the problem.
Log in to post a comment.