We have interest in Ontologies for the Semantic Web with a theoretician’s perspective on knowledge representation and system design, and a practitioner’s perspective on actual web access. We believe that the research emphases associated with semantic web development will result in improved web access in the Real World. Much of our recent theoretically oriented research has examined software design processes, including feasibility of system verification and testing. In connection with this work we have experimented with deployed systems and informational domains, to analyze their structure and detect possible design flaws. Our goal has not been to befuddle or baffle a system but, rather, to discover inevitable defects that might be corrected, producing a better system as a result.