scientific article; zbMATH DE number 4166932

MaRDI QIDQ3493318zbMATH OpenFDO

Authors Manfred Schmidt-Schauß

Publication date 1989

zbMATH Keywords

frame-based languageknowledge representation languageundecidable

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 140398
• On subsumption and semiunification in feature algebras
• scientific article; zbMATH DE number 140374
• Deduction in Concept Languages: from Subsumption to Instance Checking
• The complexity of existential quantification in concept languages.

Cited in

(16)

• On subsumption and semiunification in feature algebras
• Semantic networks
• The KL-ONE family
• The descriptive component of a hybrid knowledge representation language
• An empirical analysis of terminological representation systems
• Limited reasoning in first-order knowledge bases
• An alternative proof method for possibilistic logic and its application to terminological logics
• The F-logic approach for description languages
• ``Reducing classic to practice: Knowledge representation theory meets reality
• Terminological reasoning is inherently intractable
• SHACL: a description logic in disguise
• scientific article; zbMATH DE number 140374 (Why is no real title available?)
• scientific article; zbMATH DE number 140398 (Why is no real title available?)
• Tableaux methods for access control in distributed systems
• Attributive concept descriptions with complements
• Decidability of SHIQ with complex role inclusion axioms

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 Q3493318)