I notice that 'involves' has a domain restriction of 'company transaction'. is that intended?
because the problem with that is that "Acquiring company" is inferred to be a Company and a Company Transaction.
actually, lots of things get inferred as a company transaction, including "company employee" etc. just do a DL query for 'company transaction' with a reasoner to find all of them.
I notice that 'involves' has a domain restriction of 'company transaction'. is that intended?
because the problem with that is that "Acquiring company" is inferred to be a Company and a Company Transaction.
actually, lots of things get inferred as a company transaction, including "company employee" etc. just do a DL query for 'company transaction' with a reasoner to find all of them.