scientific article
From MaRDI portal
Publication:3493318
zbMath0709.68096MaRDI QIDQ3493318
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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, Terminological reasoning is inherently intractable, The F-logic approach for description languages, SHACL: a description logic in disguise, Tableaux methods for access control in distributed systems, ``Reducing classic to practice: Knowledge representation theory meets reality, On subsumption and semiunification in feature algebras, Semantic networks, The KL-ONE family, The descriptive component of a hybrid knowledge representation language, Attributive concept descriptions with complements, Decidability of SHIQ with complex role inclusion axioms
