Subsumption computed algebraically

DOI10.1016/0898-1221(92)90146-9MaRDI QIDQ1202639zbMATH OpenOpenAlexFDO

Authors Chris Brink, Renate A. Schmidt

Publication date 19 April 1993

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0898-1221(92)90146-9

zbMATH Keywords

knowledge representation systemssubsumptionterminological representation languages

Mathematics Subject Classification ID

General logic (03B99) Formal languages and automata (68Q45) Knowledge representation (68T30)

Cites work

• A decidable first-order logic for knowledge representation
• A four-valued semantics for terminological logics
• Attributive concept descriptions with complements
• Augustus De Morgan's Algebraic Work: The Three Stages
• Boolean modules
• Computational complexity of terminological reasoning in BACK
• Feature-constraint logics for unification grammars
• Frege against the Booleans
• scientific article; zbMATH DE number 3852463 (Why is no real title available?)
• scientific article; zbMATH DE number 3862494 (Why is no real title available?)
• scientific article; zbMATH DE number 3936507 (Why is no real title available?)
• scientific article; zbMATH DE number 3986613 (Why is no real title available?)
• scientific article; zbMATH DE number 4037157 (Why is no real title available?)
• scientific article; zbMATH DE number 3742670 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3756452 (Why is no real title available?)
• scientific article; zbMATH DE number 3779513 (Why is no real title available?)
• scientific article; zbMATH DE number 67967 (Why is no real title available?)
• scientific article; zbMATH DE number 140381 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica
• Nonfinite axiomatizability results for cylindric and relation algebras
• Peirce the logician
• Refutational theorem proving using term-rewriting systems
• Terminological reasoning is inherently intractable
• The contributions of Alfred Tarski to algebraic logic
• The Theory of Representation for Boolean Algebras
• Varieties of relation algebras

Cited in

(3)

• A modal perspective on the computational complexity of attribute value grammar
• Peirce algebras
• Towards automating duality

This page was built for publication: Subsumption computed algebraically

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