A Description Oriented Logic for Building Knowledge Bases