Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems

Bernhard Hollunder. Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. Annals of Mathematics and Artificial Intelligence, 18(2-4):133-157, 1996.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.