Added disjoints

hasFrequencyMeasurment renamed

diagrams updated and examples updated

Turtle code and diagrams for the envi and bldg examples

First version of BDLD and ENVI examples diagrams.

The code for the ENVI is left.

diagramas and ttl

Added diagrams and partial code for the building example.

Still need to implement all properties and datatypes (all for energy
and some for location).

Still need to remove the properties and datatypes not used. Don’t know
what to do about the hierarchies, whether to keep only the last class
or the hierarchy (so far the hierarchy is keep only for the branch used)

All entities in bldg annotated.

This file can be also considered closed.

Added comments for op, dp and individuals.

Added isDefinedBy for reused entities

rdfs:comment added for all classes in envi

from PositiveInteger to NonNegativeInteger in capacityPeople

Delete axiom: hortCircuitVoltage only xsd:float

Delete UnitaryEquipment

short circuit voltage changed to object property

prefix is now s4bldg

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