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, page 168--178. Santa Cruz, USA, (1995)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
@inproceedings{baader95computing,
added-at = {2007-08-30T16:57:56.000+0200},
address = {Santa Cruz, USA},
author = {Baader, Franz},
biburl = {https://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stumme},
booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95},
interhash = {5e293c4c3ef56d37a85ef222c14be3d6},
intrahash = {5b19d5b4c170ca819c25d4e4e3379fa8},
keywords = {analysis attribute concept description dl exploration fca formal logic},
pages = {168--178},
timestamp = {2007-08-30T16:57:56.000+0200},
title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology},
url = {citeseer.ist.psu.edu/baader95computing.html},
year = 1995
}