-
v0.5.06d40ed1a · ·
## Added - identify automatically classes of package for logging - add SourcesOf assertions to inference result - add assertions from AOs to inference result - decouple of server from engine tasks - filter i40fd:sourceOf assertions - OWL2 RL rules for properties: symmetric, assymetric,irreflexiv - assertions from AOs and AEs part of a FieldDevice individual
-
v0.4.0258e3961 · ·
## Added - Enable rules PRP_SPO1,CLS_HV2,CAX_EQC1,SCM_UNI - CLI Option to write requests and replies (ttl) to tmp folder for debugging (-logReq) - Assert owl:sameAs - Fix also iris for owl:sameAs and data properties axioms. - Updated i40fd IRIS for profiles and units. - Updated i40fd assertion filters for classes, data properties, and object properties. ## Fix - owl api dependencies with v4.5.29