scientific article; zbMATH DE number 67970

MaRDI QIDQ4013979zbMATH OpenFDO

Authors Bernd Owsnicki-Klewe

Publication date 27 September 1992

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)

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

Cited in

(4)

• Workshop on comparing description and frame logics
• 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)