otype in semantikon

[samwaseda]

We should define otype for the ontological type, which is distinct from datatypes. In particular it should work like:

from ase import Atoms


def create_vacancy(structure: Atoms) -> u(Atoms, otype="hasVacancy"):
    del structure[0]
    return structure

Now, should we also create triple(-s) for cases like (cf. this issue):

def create_structure(element: str) -> u(Atoms, triple=("hasElement", "input.element")):
    structure = build.bulk(element)
    return structure

[samwaseda]

I'm starting to feel that otype should be abolished and only triple should be used. In the case of vacancy, it should be triple=("hasDefect", "vacancy"). Otherwise I just don't see the conceptual difference between the two.

[samwaseda]

Since otype is gone and my question now belongs to a bigger picture, I close this issue.