Mine updates and errata fixes to ArtifactOntology.ttl

[APCox]

Closes Issue #687
Added 'Explosive Mine' as a parent class of 'Land Mine' and 'Naval Mine' as a second child.
Added axiom to 'Explosive Weapon'.
Fixed typo in definition of 'Explosive Artifact Function'.
Removed IRI stubs previously inserted by Protege for annotation and object properties.

[APCox]

Approved with the following changes:

1. Add the note to 'Explosive Mine':

Note that being relatively stationary is a common but not necessarily universal feature of mines.

2. Change the definition of 'Explosive Naval Mine' to say "its target" instead of "a Watercraft".

[neilotte]

@APCox

The definitions for both Explosive Land Mine and Explosive Naval Mine repeat the clause 'and to detonate as its target passes near it', which is already in the definition for Explosive Mine'. For this reason, I would remove this clause from both definitions, as it is redundant with its parent definition.

[neilotte]

@APCox See comment on PR. Otherwise, I think this looks good.

[APCox]

From @neilotte

The definitions for both Explosive Land Mine and Explosive Naval Mine repeat the clause 'and to detonate as its target passes near it', which is already in the definition for Explosive Mine'. For this reason, I would remove this clause from both definitions, as it is redundant with its parent definition.

Good suggestion. This has been implemented.