MathDB1 problem
- 0 votes0 replies0 views
Consistency checking for general TBoxes in non-distributive description logic
Consistency conjecture for general TBoxes. The consistency-checking procedure remains correct for knowledge bases with general, possibly cyclic, TBoxes.