Applying Formal Concept Analysis to Description Logics

This publication has 22 references indexed in Scilit:

• Computing the Least Common Subsumer in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics
  Published by Springer Nature ,2003
• The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics
  Published by Springer Nature ,2003
• Pattern Structures and Their Projections
  Published by Springer Nature ,2001
• RACER System Description
  Published by Springer Nature ,2001
• Attribute exploration with background knowledge
  Theoretical Computer Science, 1999
• Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
  Published by Springer Nature ,1998
• Trends in computer-aided process modeling
  Computers & Chemical Engineering, 1996
• Attributive concept descriptions with complements
  Artificial Intelligence, 1991
• Finding all closed sets: A general approach
  Order, 1991
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984