A Categorical View on Algebraic Lattices in Formal Concept Analysis

A Categorical View on Algebraic Lattices in Formal Concept Analysis

Show other versions (1)

Bibliographic Details
Main Authors:	Hitzler, P, Krötzsch, M, Zhang, G
Format:	Journal article
Published:	2004

Similar Items

A Categorical View on Algebraic Lattices in Formal Concept Analysis.
by: Hitzler, P, et al.
Published: (2006)

Querying Formal Contexts with Answer Set Programs.
by: Hitzler, P, et al.
Published: (2006)

Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
by: Kishida, K, et al.
Published: (2017)

Formal categorical reasoning
by: Ekici, B
Published: (2022)

Algebraic higher symmetry and categorical symmetry: A holographic and entanglement view of symmetry
by: Liang Kong, et al.
Published: (2020-10-01)

Algebraic higher symmetry and categorical symmetry: A holographic and entanglement view of symmetry
by: Kong, Liang, et al.
Published: (2021)

Characterizing One-Sided Formal Concept Analysis by Multi-Adjoint Concept Lattices
by: María José Benítez-Caballero, et al.
Published: (2022-03-01)

Algebraic theories : a categorical introduction to general algebra /
by: 521231 Adamek, Jiri, et al.
Published: (c201)

Induction of formal concepts by lattice computing techniques for tunable classification
by: V. G. Kaburlasos, et al.
Published: (2014-03-01)

Morphisms in Context.
by: Krötzsch, M, et al.
Published: (2005)

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
by: Krötzsch, M, et al.
Published: (2007)

A lattice-based approach for mathematical search using Formal Concept Analysis
by: Nguyen, Tam T., et al.
Published: (2013)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
by: Rudolph, S, et al.
Published: (2008)

ELP: Tractable Rules for OWL 2.
by: Krötzsch, M, et al.
Published: (2008)

Complexity Boundaries for Horn Description Logics.
by: Krötzsch, M, et al.
Published: (2007)

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.
by: Rudolph, S, et al.
Published: (2007)

Cheap Boolean Role Constructors for Description Logics.
by: Rudolph, S, et al.
Published: (2008)

Complexities of Horn Description Logics.
by: Krötzsch, M, et al.
Published: (2013)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
by: Rudolph, S, et al.
Published: (2012)

Variable-basis Categorically-algebraic Dualities
by: Sergey A. Solovyov
Published: (2014-12-01)

Algebraic theory of lattices /
by: 262679 Crawley, Peter, et al.
Published: (1973)

On the Representation of the Lattices of the Algebraic Sets of the Universal Algebras
by: A.G. Pinus
Published: (2019-09-01)

A new view of relationship between atomic posets and complete (algebraic) lattices
by: Yu Bin, et al.
Published: (2017-03-01)

The Feature Description of Formal Context Based on the Relationships among Concept Lattices
by: Ting Qian, et al.
Published: (2021-10-01)

Rule acquisition of three‐way semi‐concept lattices in formal decision context
by: Jie Zhao, et al.
Published: (2024-04-01)

Approximate OWL-Reasoning with Screech.
by: Tserendorj, T, et al.
Published: (2008)

Categorical Formulation of Finite-Dimensional Quantum Algebras
by: Vicary, J
Published: (2011)

Categorical formulation of finite−dimensional quantum algebras
by: Vicary, J
Published: (2010)

Interacting Quantum Observables: Categorical Algebra and Diagrammatics
by: Coecke, B, et al.
Published: (2009)

Categorical formulation of finite-dimensional C*-algebras
by: Vicary, J
Published: (2011)

On some categorical-algebraic conditions in S-protomodular categories
by: Nelson Martins-Ferreira, et al.
Published: (2017-09-01)

Dual attachment pairs in categorically-algebraic topology
by: Anna Frascella, et al.
Published: (2011-10-01)

Categorical cell decomposition of quantized symplectic algebraic varieties
by: Bellamy, G, et al.
Published: (2017)

Categorical analysis of the concept «business process»
by: I.I.
Published: (2023-07-01)

Formalizing the Face Lattice of Polyhedra
by: Xavier Allamigeon, et al.
Published: (2022-05-01)

Formal moduli of algebraic structures /
by: 310383 Laudal, Olav Arnfinn
Published: (1979)

Formal Theories for Linear Algebra
by: Stephen A Cook, et al.
Published: (2012-03-01)

How to reason with OWL in a logic programming system.
by: Krötzsch, M, et al.
Published: (2006)

What is ontology merging? - A category-theoretical perspective using pushouts
by: Hitzler, P, et al.
Published: (2005)

A better uncle for OWL: nominal schemas for integrating rules and ontologies.
by: Krötzsch, M, et al.
Published: (2011)