Closed GoogleCodeExporter closed 8 years ago
This happens because in old days individuals were simulated by concepts in
FaCT++,
and the related commands were translated into concept axioms. So it was really
hard
to quickly answer queries like roleFillers and relatedIndividuals. Now
individuals
are singletons, but we forget to update code to support these features. Fixed
now
in trunc, would be available in 1.1.8.
Original comment by dmitry.t...@gmail.com
on 10 Jul 2007 at 8:32
Original issue reported on code.google.com by
herwig.m...@gmail.com
on 5 Jul 2007 at 2:11