Added
TTL and RDF/XML files with the provenance information to IFC in
BuildingSmart

Updates in requirements (needed to generate the provenance triples)

Updates in ENVI and BLDG diagrams

change prefix to s4envi
change axiom in PhysicalObject about contains

and the axiom in Device

Changed property names and types.
Removed global restrictions.
Added local restrictions.

Remodelled the location of objects in buildings.

first version of the bldg with axioms in classes.

real ranges and complex numbers should be refined.

Updated ontology description.

First version of the bldg ontology including clases and properties

Added placeholders for comments.

Reviewed cardinalities.

Con los cambio de las restricciones globales y las cordialidades

Changed individuals to CamelCase.

Renamed some properties.
Added local restrictions to classes.

Added restrictions to System and Device.

Added local restrictions to PhysicalObject.

Added the SAREF namespace.
Removed some namespaces from SDH.

Some changes performed to the ontology to fix the error classes. However, Protege hangs when trying to load this ontology.