Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
F. Baader.
Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, стр. 168--178. Santa Cruz, USA, (1995)

Document

citeseer.ist.psu.edu/baader95computing.html

искать в

К этой публикации ещё не было создано рецензий.

распределение оценок

средняя оценка пользователей0,0 из 5.0 на основе 0 рецензий

Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)

%0 Conference Paper
%1 baader95computing
%A Baader, Franz
%B Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95
%C Santa Cruz, USA
%D 1995
%K analysis attribute concept description dl exploration fca formal logic
%P 168--178
%T Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
%U citeseer.ist.psu.edu/baader95computing.html

PUMA

Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
F. Baader.
Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, стр. 168--178. Santa Cruz, USA, (1995)

Tags

Пользователи данного ресурса

Комментарии и рецензии

Цитировать эту публикацию

PUMA

Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a TerminologyF. Baader. Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, стр. 168--178. Santa Cruz, USA, (1995)

Tags

Пользователи данного ресурса

Комментарии и рецензии

Цитировать эту публикацию

Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
F. Baader.
Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, стр. 168--178. Santa Cruz, USA, (1995)