/// <summary>
 /// Checks if the given "aFact -> datatypeProperty -> ontologyLiteral" can be an assertion
 /// </summary>
 internal static bool CheckAssertionCompatibility(RDFOntologyData ontologyData, RDFOntologyFact aFact, RDFOntologyDatatypeProperty datatypeProperty, RDFOntologyLiteral ontologyLiteral)
 => !ontologyData.CheckIsNegativeAssertion(aFact, datatypeProperty, ontologyLiteral);
 /// <summary>
 /// Checks if the given "aFact -> objectProperty -> bFact" can be an assertion
 /// </summary>
 internal static bool CheckAssertionCompatibility(RDFOntologyData ontologyData, RDFOntologyFact aFact, RDFOntologyObjectProperty objProperty, RDFOntologyFact bFact)
 => !ontologyData.CheckIsNegativeAssertion(aFact, objProperty, bFact);