Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evaluation method called the Architecture tradeoff Analysis Method (ATAM). Our approach is highly focused on the effective reusability of software architecture knowledge. We propose two ontologies focusing on the role of Attribute-Based Architectural styles (ABAS) in software architecture development and analysis. We show the effectiveness of our approach by presenting three case studies. Categories and Subject Descriptors D.2.4 [Software/Program Verification]: [Model checking, Validation]; D.2.1 [Software Architectures]: [Patterns (e.g., client/server, pipeline, blackboard) ] General Terms Documentation, Verification, Design Keywords Software Architecture, ATAM, Ontology, Architectural Knowledge, Quality Attribute