sub:assertion {
sub:paragraph c4o:hasContent "The framework starts with an IFC file of a built environment, in this case the I3M building. The requirements of the IFC is to contain the following entities: IfcBuildingStorey, IfcRelSpaceBoundary, IfcRelDecomposes, IfcBuilding, IfcDoor, IfcWindow, IfcWall, and IfcSpace. The compliance check will verify the fulfillment of those requirements. Afterwards, the IFC is converted to RDF by using the IFC-to-RDF converter by Pauwels and Oraskari [29]. The result of the conversion is the ifcowl ontology with instances of the I3M building." ;
a doco:Paragraph .
}