Attribute exploration with background knowledge
Theoretical Computer Science
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Logical Scaling in Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
The description logic handbook
Introduction to logical information systems
Information Processing and Management: an International Journal
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Terminological cycles in a description logic with existential restrictions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Usability Issues in Description Logic Knowledge Base Completion
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Enriching EL-Concepts with Greatest Fixpoints
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
What's happening in semantic web: and what FCA could have to do with it
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
Conceptual navigation in RDF graphs with SPARQL-Like queries
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
An approach to exploring description logic knowledge bases
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Axiomatizing εL⊥-expressible terminological knowledge from erroneous data
Proceedings of the seventh international conference on Knowledge capture
Review: Formal Concept Analysis in knowledge processing: A survey on models and techniques
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Formal Concept Analysis (FCA) can be used to analyze data given in the form of a formal context. In particular, FCA provides efficient algorithms for computing a minimal basis of the implications holding in the context. In this paper, we extend classical FCA by considering data that are represented by relational structures rather than formal contexts, and by replacing atomic attributes by complex formulae defined in some logic. After generalizing some of the FCA theory to this more general form of contexts, we instantiate the general framework with attributes defined in the Description Logic (DL) EL, and with relational structures over a signature of unary and binary predicates, i.e., models for EL. In this setting, an implication corresponds to a so-called general concept inclusion axiom (GCI) in EL. The main technical result of this paper is that, in EL, for any finite model there is a finite set of implications (GCIs) holding in this model from which all implications (GCIs) holding in the model follow.