This is not intended to slam anyone, just informational.
Please note that most scuba knives cost way too much and don't hold an edge worth a hoot. In my most humble of opinions, save your money. Besides, scuba knives are marketed towards sport divers, not real....working divers. In practical terms, they aren't much better than a pointy stick. However, most sport divers like big, flashy, shiny objects to impress the girls on the beach with as they go off into the sea.
Basically, I liked to dive with as little as I could get by with. I hated a bunch of stuff hanging off of me. Just more to get hung up on stuff and then have to rinse later. Besides, it was just more weight to lug to the water and back.
The reasons for using the Big Chief were simple economics, durability and intended use and size. They were cheap so you didn't care if you lost it or it got "borrowed". The blade was stainless and the handle was aluminum so it held up ok in an offshore working environment. When at depth it would cut rope, tape most whatever we ran into. Size, it was small enough to make a little pouch on our safety harness to store it on our shoulder (easy to get to) and secure it with a lanyard. However, if something major came up, we would radio topside and get what we needed sent down.
Basically, use anything you want. I knew guys who would get cheap bayonets and use those as their dive tool. I have also used a hawkbill folder with liner lock. The blade allows for opening it if your wearing gloves. We used to get orange handled ones from Klein Tools, don't know if they make them or not anymore.
If your hunting sharks, get a harpoon. If your poking around the ocean floor watching crabs walk, get something cheap to poke and pry with. But always carry something that can cut in case you run into fishing line, netting, etc ... in most cases it doesn't have to be all that big. Just somewhat sharp and accessible.
The AXIS lock would work fine.
Sorry for getting wordy ..... way too much coffee today.
Mike