ACTION-226: Find out if existential restriction on hassubsystem casuses poor reasoning performance

In the current version of the SSN, hasSubsystem (http://purl.oclc.org/NET/ssnx/ssn#hasSubSystem) is a subproperty of DUL:hasPart
<rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DUL.owl#hasPart"/>. I am unsure why we did not use DUL:hasComponent. This is in contrast to properties such as expands in DUL that are explicitly described as proper parts (http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#expands).

Proper Parthood
PPxy \leftrightarrow (Pxy \and \lnot Pyx)

(Assuming that Pxy is not a primitive), one could use overlap instead)
Pxy \leftrightarrow \forall z[Ozx \rightarrow Ozy]

Hence, there is no clear reason why a system should not be its own (and only) part. This means that our current definition of System should not cause any trouble, and this is not even mentioning the OWA which also ensures that we do not run into issues (but works on a completely different level). That said, as System does not use any owl:equivalentClass axioms we should still be fine after removing the existential quantification.

see minutes to https://www.w3.org/2015/spatial/wiki/Meetings:SSN-Telecon20161129