Closed GoogleCodeExporter closed 9 years ago
Additional typo in the definition of the "object property hierarchy relation":
"* if Ax contains an axiom SymmetriceObjectProperty(PE), then [...]"
^^^^^^
"Symmetric[e]"^(redundant "e").
Original comment by schn...@fzi.de
on 19 Oct 2007 at 1:12
Original comment by alanruttenberg@gmail.com
on 25 Oct 2007 at 4:56
Original issue reported on code.google.com by
schn...@fzi.de
on 4 Oct 2007 at 3:41