scientific article; zbMATH DE number 67970

zbMATH Open0747.68082MaRDI QIDQ4013979FDOQ4013979

Authors: Bernd Owsnicki-Klewe 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

Recommendations

• A multi-dimensional terminological knowledge representation language
• Consistency checking reduced to satisfiability of concepts in terminological systems
• Description logics in knowledge representation
• scientific article; zbMATH DE number 847979
• The complexity of concept languages

zbMATH Keywords

KL-ONEterminological models

Mathematics Subject Classification ID

Knowledge representation (68T30) Artificial intelligence (68T99) Logic of natural languages (03B65) Logic in artificial intelligence (68T27)

Cited In (3)

• The ternary description language as a formalism for the parametric general systems theory: Part II
• The ternary description language as a formalism for the parametric general systems theory: part III
• Cardinality restrictions on concepts

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4013979)