Object-oriented ontology