Class: traversal based pairwise disjointness violation

URI: sparqlfun:TraversalBasedPairwiseDisjointnessViolation

Attributes

Own

• class1 _0..1
  • Range: Node
• class2 _0..1
  • Range: Node
• descendant_class _0..1
  • Range: Node

Other properties

Comments:		This is not intended to replace using an OWL reasoner to discover unsatisfiable classes
		This works by traversing over subClassOf links. Note that results may be incomplete if inferred subClassOf edges are not added. However, note that reasoner runners such as robot may fail fast if unsatisfiable classes are discovered