Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis

This publication has 15 references indexed in Scilit:

• The FaCT System
  Published by Springer Nature ,1998
• 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
• The concept classification of a terminology extended by conjunction and disjunction
  Lecture Notes in Computer Science, 1996
• Exploration Tools in Formal Concept Analysis
  Published by Springer Nature ,1996
• TOSCANA — A graphical tool for analyzing and exploring data
  Published by Springer Nature ,1995
• Learning the CLASSIC Description Logic: Theoretical and Experimental Results
  Published by Elsevier ,1994
• The complexity of existential quantification in concept languages
  Artificial Intelligence, 1992
• 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