gd
-
2011-04-28
Applies to OPPL 2 SVN revision 320.
The following code snippet generates an ObjectIntersectionOf axiom instead of an ObjectUnionOf axiom.
... ADD ?s subClassOf (!MalePerson or !FemalePerson) ...
This is due to a typo in SymbolTable.getDisjunction(...) (see attachment).