Formal ontology, patterns and Anti-Patterns for next-generation Conceptual Modeling | IEEE Conference Publication | IEEE Xplore