FaCT++ crashes on inconsistent ontology with irreflexive property chain

[GoogleCodeExporter]

What steps will reproduce the problem?
1.Define AP1, AP2 on (A x P). AP1 and AP2 functional. 
2.Define PP21 as chain (inv(P2) o P1). Declare PP21 irreflexive. 
3.Individuals in AP1 include (a1,p1). Individuals in AP2 include (a1,p1).
4.A and P are disjoint 

What is the expected output? What do you see instead?
"NonSimpleRoleInNumberRestrictionException" but FaCT++ crashes.
I get this exception message and FaCT++ does not crash if the inconsistency
is removed.

What version of the product are you using? On what operating system?
Protege P4 distribution, build 118.

Please provide any additional information below.
It is unfortunate that this assertion/axiom pattern cannot be handled by
the current reasoner. Under closed world, a simple algorithm exists to
verify consistency - join across the two relations and check the resulting
tuples for (n,n) pairs. Unclear to me why the blocking strategy does not
handle this case, but I'm not an expert.
This sort of co-occurrence restriction is frequently found in ontology. In
banking, for example, a loan approver is not allowed to be the owner of the
loan. 

Original issue reported on code.google.com by barsirh...@gmail.com on 27 Aug 2009 at 5:26

[GoogleCodeExporter]

It doesn't crash with P4 and the SVN version of FaCT++. So probably fixed. If 
you can
confirm that it is really the case, I'll close the bug. I can't say when the new
version will be released though, so it is unknown when this problem will be 
fixed in
the binary release.

Original comment by dmitry.t...@gmail.com on 10 Sep 2009 at 2:46

• Changed state: Started

[GoogleCodeExporter]

Fixed in 1.4.0

Original comment by dmitry.t...@gmail.com on 17 May 2010 at 2:53

• Changed state: Fixed