/// <summary> /// Checks if the given aclass can be set disjointwith the given bclass /// </summary> internal static bool CheckDisjointWithCompatibility(RDFOntologyClassModel classModel, RDFOntologyClass aClass, RDFOntologyClass bClass) => !classModel.CheckIsSubClassOf(aClass, bClass) && !classModel.CheckIsSuperClassOf(aClass, bClass) && !classModel.CheckIsEquivalentClassOf(aClass, bClass);
/// <summary> /// Checks if the given class is a reserved BASE ontology class /// </summary> internal static bool CheckReservedClass(RDFOntologyClass ontClass) => RDFBASEOntology.Instance.Model.ClassModel.Classes.ContainsKey(ontClass.PatternMemberID);
/// <summary> /// Checks if the given childclass can be set subclassof the given motherclass /// </summary> internal static bool CheckSubClassOfCompatibility(RDFOntologyClassModel classModel, RDFOntologyClass childClass, RDFOntologyClass motherClass) => !classModel.CheckIsSubClassOf(motherClass, childClass) && !classModel.CheckIsEquivalentClassOf(motherClass, childClass) && !classModel.CheckIsDisjointClassWith(motherClass, childClass);
/// <summary> /// Checks if the given class can be assigned as classtype of facts /// </summary> internal static bool CheckClassTypeCompatibility(RDFOntologyClass ontologyClass) => !ontologyClass.IsRestrictionClass() && !ontologyClass.IsCompositeClass() && !ontologyClass.IsEnumerateClass() && !ontologyClass.IsDataRangeClass();
