A Categorical View on Algebraic Lattices in Formal Concept Analysis

A Categorical View on Algebraic Lattices in Formal Concept Analysis

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Asıl Yazarlar:	Hitzler, P, Krötzsch, M, Zhang, G
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	2004

Benzer Materyaller

A Categorical View on Algebraic Lattices in Formal Concept Analysis.
Yazar:: Hitzler, P, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Querying Formal Contexts with Answer Set Programs.
Yazar:: Hitzler, P, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
Yazar:: Kishida, K, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Formal categorical reasoning
Yazar:: Ekici, B
Baskı/Yayın Bilgisi: (2022)

Lattice-Valued Topological Systems as a Framework for Lattice-Valued Formal Concept Analysis
Yazar:: Sergey A. Solovyov
Baskı/Yayın Bilgisi: (2013-01-01)

Algebraic higher symmetry and categorical symmetry: A holographic and entanglement view of symmetry
Yazar:: Kong, Liang, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Algebraic higher symmetry and categorical symmetry: A holographic and entanglement view of symmetry
Yazar:: Liang Kong, ve diğerleri
Baskı/Yayın Bilgisi: (2020-10-01)

Characterizing One-Sided Formal Concept Analysis by Multi-Adjoint Concept Lattices
Yazar:: María José Benítez-Caballero, ve diğerleri
Baskı/Yayın Bilgisi: (2022-03-01)

Algebraic theories : a categorical introduction to general algebra /
Yazar:: 521231 Adamek, Jiri, ve diğerleri
Baskı/Yayın Bilgisi: (c201)

Morphisms in Context.
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Induction of formal concepts by lattice computing techniques for tunable classification
Yazar:: V. G. Kaburlasos, ve diğerleri
Baskı/Yayın Bilgisi: (2014-03-01)

Complexity Boundaries for Horn Description Logics.
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.
Yazar:: Rudolph, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Cheap Boolean Role Constructors for Description Logics.
Yazar:: Rudolph, S, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Yazar:: Rudolph, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Yazar:: Rudolph, S, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Complexities of Horn Description Logics.
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

ELP: Tractable Rules for OWL 2.
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

A lattice-based approach for mathematical search using Formal Concept Analysis
Yazar:: Nguyen, Tam T., ve diğerleri
Baskı/Yayın Bilgisi: (2013)

COMPARATIVE STUDY OF XAI USING FORMAL CONCEPT LATTICE AND LIME
Yazar:: Bhaskaran Venkatsubramaniam, ve diğerleri
Baskı/Yayın Bilgisi: (2022-10-01)

Some categorical aspects of BCH-algebras
Yazar:: Muhammad Anwar Chaudhry, ve diğerleri
Baskı/Yayın Bilgisi: (2003-01-01)

Variable-basis Categorically-algebraic Dualities
Yazar:: Sergey A. Solovyov
Baskı/Yayın Bilgisi: (2014-12-01)

Approximate OWL-Reasoning with Screech.
Yazar:: Tserendorj, T, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Algebraic theory of lattices /
Yazar:: 262679 Crawley, Peter, ve diğerleri
Baskı/Yayın Bilgisi: (1973)

On the Representation of the Lattices of the Algebraic Sets of the Universal Algebras
Yazar:: A.G. Pinus
Baskı/Yayın Bilgisi: (2019-09-01)

A new view of relationship between atomic posets and complete (algebraic) lattices
Yazar:: Yu Bin, ve diğerleri
Baskı/Yayın Bilgisi: (2017-03-01)

The Feature Description of Formal Context Based on the Relationships among Concept Lattices
Yazar:: Ting Qian, ve diğerleri
Baskı/Yayın Bilgisi: (2021-10-01)

Rule Acquisition in Formal Decision Contexts Based on Formal, Object-Oriented and Property-Oriented Concept Lattices
Yazar:: Yue Ren, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Rule acquisition of three‐way semi‐concept lattices in formal decision context
Yazar:: Jie Zhao, ve diğerleri
Baskı/Yayın Bilgisi: (2024-04-01)

Categorical Formulation of Finite-Dimensional Quantum Algebras
Yazar:: Vicary, J
Baskı/Yayın Bilgisi: (2011)

Categorical formulation of finite−dimensional quantum algebras
Yazar:: Vicary, J
Baskı/Yayın Bilgisi: (2010)

Categorical formulation of finite-dimensional C*-algebras
Yazar:: Vicary, J
Baskı/Yayın Bilgisi: (2011)

Interacting Quantum Observables: Categorical Algebra and Diagrammatics
Yazar:: Coecke, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Algebraic and categorical properties of r-ideal systems
Yazar:: Aleka Kalapodi, ve diğerleri
Baskı/Yayın Bilgisi: (2001-01-01)

On some categorical-algebraic conditions in S-protomodular categories
Yazar:: Nelson Martins-Ferreira, ve diğerleri
Baskı/Yayın Bilgisi: (2017-09-01)

Categorical cell decomposition of quantized symplectic algebraic varieties
Yazar:: Bellamy, G, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

How to reason with OWL in a logic programming system.
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

What is ontology merging? - A category-theoretical perspective using pushouts
Yazar:: Hitzler, P, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Categorical analysis of the concept «business process»
Yazar:: I.I.
Baskı/Yayın Bilgisi: (2023-07-01)