A Brief History of Web Ontology Work