Developing modern semantics reasoners, rdf, rdfs, skos, owl parsers SDK/API, provers, solvers, and graph data structures. API/SDK for Semantic Reasoning