Exemplo n.º 1
0
 /// <summary>
 /// Checks if the given "aFact -> datatypeProperty -> ontologyLiteral" can be a negative assertion
 /// </summary>
 internal static bool CheckNegativeAssertionCompatibility(RDFOntologyData ontologyData, RDFOntologyFact aFact, RDFOntologyDatatypeProperty datatypeProperty, RDFOntologyLiteral ontologyLiteral)
 => !ontologyData.CheckIsAssertion(aFact, datatypeProperty, ontologyLiteral);
Exemplo n.º 2
0
 /// <summary>
 /// Checks if the given "aFact -> objectProperty -> bFact" can be a negative assertion
 /// </summary>
 internal static bool CheckNegativeAssertionCompatibility(RDFOntologyData ontologyData, RDFOntologyFact aFact, RDFOntologyObjectProperty objProperty, RDFOntologyFact bFact)
 => !ontologyData.CheckIsAssertion(aFact, objProperty, bFact);