Archimate, Semantic Web, Ontology, Protege.
for relationships, and to support reification through definition of object properties from which the links between model elements other than relationships can be inferred. From experience, the most appropriate freely available reasoning engines are Pellet and Fact++. But when dealing with big data