Merge pull request #1 from w3c/master

Updating master.
Merge branch 'master' of github.com:w3c/banana-rdf
Merge branch 'master' of github.com:w3c/banana-rdf
Merge branch 'master' of github.com:w3c/banana-rdf
vocabulary for OWL2 RDF-based semantics
Merge pull request #158 from Open-MBEE/master

Vocabulary for OWL2 RDF-based semantics