An application of lattice theory to knowledge representation

DOI10.1016/S0304-3975(00)00058-XMaRDI QIDQ1583487zbMATHFDO

Authors Frank J. Oles

Publication date 26 October 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

knowledge basetheoryknowledge representationBirkhoff's representation theoremsubsumption

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 90538
• Lattice representations for computability theory
• The knowledge lattice
• Formal Concept Analysis as Applied Lattice Theory
• scientific article; zbMATH DE number 1923135

Cites work

• scientific article; zbMATH DE number 3720983 (Why is no real title available?)
• scientific article; zbMATH DE number 3771669 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 195162 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Ideals and congruence relations in lattices

Cited in

(10)

• Full abstraction and recursion
• A dimension-related metric on the lattice of knowledge spaces
• Fixed points without completeness
• Continuations in possible-world semantics
• Knowledge bases and automorphic equivalence of multi-models versus linear spaces and graphs
• Concept lattices and conceptual knowledge systems
• Semantical analysis of specification logic
• scientific article; zbMATH DE number 1923143 (Why is no real title available?)
• Using lattice theory in higher order logic
• Distributive lattice-structured ontologies

This page was built for publication: An application of lattice theory to knowledge representation

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