@prefix : <http://demo.dsd.sztaki.hu/bimreq#> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix dce: <http://purl.org/dc/elements/1.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix ifcowl: <http://ifcowl.openbimstandards.org/IFC4#> .
@prefix express: <https://w3id.org/express#> .
@base <http://demo.dsd.sztaki.hu/bimreq#> .

<http://demo.dsd.sztaki.hu/bimreq#> rdf:type owl:Ontology ;
    owl:imports sh: ,
                foaf: ,
                express: ;
    cc:license <http://creativecommons.org/licenses/by/4.0/> ;
    dce:creator "András Micsik, Ádám Kovács" ;
    dce:description "BimReq is a ligtweight ontology to represent regulations and requirements in RDF for AEC (Architecture, Engineering, Construction) projects. The requirements can refer to regulations and may contain SHACL validation shapes for compliance checking of BIM models. See also: https://github.com/dsd-sztaki-hu/BimReq"@en ;
    dce:source <https://github.com/dsd-sztaki-hu/BimReq>;
    dce:issued "2021-01-31"@en ;
    dce:modified "2021-04-02"@en ;
    dce:title "BimReq"@en ;
    vann:preferredNamespacePrefix "bimreq" ;
    vann:preferredNamespaceUri "http://demo.dsd.sztaki.hu/bimreq" ;
    rdfs:label "BimReq ontology for validation and reporting on requirements against BIM models."@en ;
    owl:versionInfo 0.9 .

#################################################################
#    Classes
#################################################################

:Regulation rdf:type owl:Class ;
            dce:description "Regulations for Architecture, Engineering & Construction (AEC) projects. Describe primarily with the metadata necessary for identification using Dublin Core terms. For example, creator is the regulator authority. Ideally, regulations would be provided by the regulators themselves. It may contain a SHACL Shape for automated checking of BIM models."@en .

:Report rdf:type owl:Class ;
        dce:description "The outcome of evaluation of a BIM model against a RequirementSet."@en .

:Requirement rdf:type owl:Class ;
             dce:description "Requirements may be raised by the client or a designer, but may also be derived from regulations. A SHACL Shape may be added to a requirement for automated checking of BIM models in IFC OWL."@en .

:RequirementSet rdf:type owl:Class ;
                dce:description "A group of requirements. Useful for coupling with projects or BIM models."@en .

#################################################################
#    Object Properties
#################################################################

:basedOn rdf:type owl:ObjectProperty ;
     dce:description "The requirement set checked in this report."@en ;
     rdfs:domain :Report ;
     rdfs:range :RequirementSet .

:contains rdf:type owl:ObjectProperty ;
      dce:description "The requirements (or requirement sets) in this requirement set."@en ;
      owl:inverseOf :inSet ;
      rdfs:domain :RequirementSet ;
      rdfs:range [ rdf:type owl:Class ;
                       owl:unionOf ( :Requirement
                                     :RequirementSet
                                   )
                     ] .

:hasResult rdf:type owl:ObjectProperty ;
       dce:description "The result of the validation."@en ;
       rdfs:domain :Report ;
       rdfs:range sh:ValidationReport .

:inSet rdf:type owl:ObjectProperty ;
       dce:description "The sets containing the requirement or requirement set."@en ;
       rdfs:domain [ rdf:type owl:Class ;
                     owl:unionOf ( :Requirement
                                   :RequirementSet
                                 )
                   ] ;
       rdfs:range :RequirementSet .

:sourceRegulation rdf:type owl:ObjectProperty ;
    dce:description "The regulation from which the requirement has been derived."@en ;
    rdfs:domain :Requirement ;
    rdfs:range :Regulation .

:validatorShape rdf:type owl:ObjectProperty ;
    dce:description "The SHACL shape that can be used for validation the requirement."@en ;
    rdfs:domain :Requirement ;
    rdfs:range sh:Shape .