Logically sound ontologies have been built and used for years - they are not only possible, but multiple examples exist. The CYC ontology (under development since 1985) has over 100,000 categories, and has been used commercially on large projects, and is well-structured and exhaustively tested.