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, Seite 168--178. Santa Cruz, USA, (1995)

Dokument

citeseer.ist.psu.edu/baader95computing.html

Suchen auf

Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung

Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen

Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.

%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, Seite 168--178. Santa Cruz, USA, (1995)

Tags

Nutzer

Kommentare und Rezensionen

Zitieren Sie diese Publikation

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, Seite 168--178. Santa Cruz, USA, (1995)

Tags

Nutzer

Kommentare und Rezensionen

Zitieren Sie diese Publikation

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, Seite 168--178. Santa Cruz, USA, (1995)