from buildingmotif import BuildingMOTIF
from buildingmotif.dataclasses import Library, Model
from datetime import datetime, timezone
import logging

# Create a BuildingMOTIF object. This validates with the "pyshifty" SHACL
# engine by default, so there is nothing else to install and no Java required.
bm = BuildingMOTIF('sqlite://', log_level=logging.ERROR)

# load 223P library. We will load a recent copy from the models.open223.info
# git repository; later, we will load this from the location of the actual standard.
# BuildingMOTIF uses OntoEnv to fetch the ontologies 223P depends on (QUDT, SHACL, ...).
s223 = Library.from_ontology("https://open223.info/223p.ttl", infer_templates=False, run_shacl_inference=False)

# load the model into the BuildingMOTIF instance. This page pins the exact copy
# it was built and validated against, so it stays reproducible as the site moves
# on. To run this against the current published model, use the permanent URL:
#
#     model = Model.from_file("https://models.open223.info/guideline36-2021-A-3.ttl")
#
model = Model.from_file("https://raw.githubusercontent.com/open223/models.open223.info/1da4cd1739c0e45f9cd8c06a5c25635654355337/models/guideline36-2021-A-3.ttl")

# a model's manifest lists the libraries it should conform to
model.manifest.add(s223)

# validate the model against its manifest
ctx = model.validate()

# print when validation completed
print(f"Validation run at: {datetime.now(timezone.utc).isoformat(timespec='seconds')}")

# print the validation result
print(f"Model is valid: {ctx.valid}")

# if the model is invalid, print the validation report
if not ctx.valid:
    print(ctx.report_string[:1000]) # first 1000 characters of the report

# BuildingMOTIF can also interpret the report to provide recommendations on fixes
for focus_node, diffs in ctx.get_reasons_with_severity("Violation").items():
    if len(diffs) == 0:
        continue
    print(focus_node)
    for diff in diffs:
        print("  - " + diff.reason())