An application of lattice theory to knowledge representation

DOI10.1016/S0304-3975(00)00058-XzbMath0949.68140MaRDI QIDQ1583487

Frank J. Oles

Publication date: 26 October 2000

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

zbMATH Keywords

knowledge representationknowledge basetheoryBirkhoff's representation theoremsubsumption

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (5)

Distributive Lattice-Structured Ontologies ⋮ Full abstraction and recursion ⋮ Semantical analysis of specification logic ⋮ Continuations in possible-world semantics ⋮ Fixed points without completeness

Cites Work

• Ideals and congruence relations in lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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