vivification

operation on a description logic knowledge base

קטגוריות: