Semantic Interoperability of Digital Twins: Ontology-based Capability Checking in AAS Modeling Framework | IEEE Conference Publication | IEEE Xplore