Skip to main content
SpringerLink
Log in

Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies

  • Conference paper
Concept Lattices (ICFCA 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2961))

Included in the following conference series:

Abstract

Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms may complement another from an application point of view. In particular, we will see how FCA can be used to support Ontology Engineering, and how ontologies can be exploited in FCA applications. The interplay of FCA and ontologies is studied along the life cycle of an ontology: (i) FCA can support the building of the ontology as a learning technique. (ii) The established ontology can be analyzed and navigated by using techniques of FCA. (iii) Last but not least, the ontology may be used to improve an FCA application.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The ToscanaJ Project: An open-source reimplementation of Toscana, http://toscanaj.sourceforge.net

  2. Baader, F.: Computing a minimal representation of the subsumption lattice of all conjunctions of concept defined in a terminology. In: Ellis, G., Levinson, R.A., Fall, A., Dahl, V. (eds.) Proc. Intl. KRUSE Symposium, Santa Cruz, August 11–13, pp. 168–178. UCSC (1995)

    Google Scholar 

  3. Basili, R., Pazienza, M.T., Velardi, P.: Hierarchical clustering of verbs. In: Proceedings of the Workshop on Acquisition of Lexical Knowledge from Text (1993)

    Google Scholar 

  4. Bisson, G., Nedellec, C., Canamero, L.: Designing clustering methods for ontology building - The Mo’K workbench. In: Proceedings of the ECAI Ontology Learning Workshop (2000)

    Google Scholar 

  5. Brewster, C., Ciravegna, F., Wilks, Y.: Background and foreground knowledge in dynamic ontology construction. In: Proceedings of the SIGIR Semantic Web Workshop (2003)

    Google Scholar 

  6. Caraballo, S.A.: Automatic construction of a hypernym-labeled noun hierarchy from text. In: Proceedings of the 37th Annual Meeting of the Association for Computational Linguists, pp. 120–126 (1999)

    Google Scholar 

  7. Carpineto, C., Romano, G.: Galois: An order-theoretic approach to conceptual clustering. In: Machine Learning. Proc. ICML 1993, pp. 33–40. Morgan Kaufmann Publishers, San Francisco (1993)

    Google Scholar 

  8. Chalupsky, H.: OntoMorph: A translation system for symbolic knowledge. In: Proc. 7th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), Breckenridge, Colorado, USA, April 2000, pp. 471–482 (2000)

    Google Scholar 

  9. Charniak, E., Berland, M.: Finding parts in very large corpora. In: Proceedings of the 37th Annual Meeting of the ACL, pp. 57–64 (1999)

    Google Scholar 

  10. Chaudron, L., Maille, N.: Generalized formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 357–370. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  11. Cimiano, P., Staab, S., Tane, J.: Automatic acquisition of taxonomies from text: FCA meets NLP. In: Proceedings of the InternationalWorkshop on Adaptive Text Extraction and Mining (2003)

    Google Scholar 

  12. Cimiano, P., Staab, S., Tane, J.: Deriving concept hierarchies from text by smooth formal concept analysis. In: Proceedings of the GIWorkshop Lehren Lernen -Wissen - Adaptivität, LLWA (2003)

    Google Scholar 

  13. Clark, H.H.: Arenas of Language Use, chapter Common Ground and Language Use, Definite Reference and Mutual Knowledge. CSLI, Stanford (1992)

    Google Scholar 

  14. Cole, R., Eklund, P.: Browsing semi-structured web texts using formal concept analysis. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 319–332. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. Cole, R., Eklund, P., Stumme, G.: Document retrieval for email search and discovery using formal concept analysis. Journal of Applied Artificial Intelligence 17(3), 257–280 (2003)

    Article  Google Scholar 

  16. Cole, R., Stumme, G.: CEM- a Conceptual Email Manager. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 438–452. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  17. Deerwester, S.C., Dumais, S.T., Landauer, T.K., Furnas, G.W., Harshman, R.A.: Indexing by latent semantic analysis. Journal of the American Society of Information Science 41(6), 391–407 (1990)

    Article  Google Scholar 

  18. Bozsak, E., et al.: KAON – Towards a Large Scale Semantic Web. In: Bauknecht, K., Tjoa, A.M., Quirchmayr, G. (eds.) EC-Web 2002. LNCS, vol. 2455, pp. 304–313. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  19. Ferré, S., Ridoux, O.: A logical generalization of formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 371–384. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  20. Deutsches Institut für Normung. Begriffe und benennungen – allgemeine grundsätze. din 2330 (1993)

    Google Scholar 

  21. Ganter, B., Stumme, G.: Creation and merging of ontology top-levels. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS (LNAI), vol. 2746, pp. 131–145. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  22. Gast, P.: Begriffliche Strukturen mehrwertiger Multikontexte. Master’s thesis, FB Mathematik, TU Darmstadt (1996)

    Google Scholar 

  23. Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. In: Formal Analysis in Conceptual Analysis and Knowledge Representation, Kluwer, Dordrecht (1993)

    Google Scholar 

  24. Hearst, M.A.: Automatic acquisition of hyponyms from large text corpora. In: Proceedings of the 14th International Conference on Computational Linguistics (1992)

    Google Scholar 

  25. Hereth, J., Stumme, G.: Reverse pivoting in conceptual information systems

    Google Scholar 

  26. Hesse, W.: Ontologie(n) - Aktuelles Schlagwort. Informatik Spektrum 25(6), 477–480 (2002)

    Article  Google Scholar 

  27. Hindle, D.: Noun classification from predicate-argument structures. In: Proceedings of the Annual Meeting of the Association for Computational Linguistics, pp. 268–275 (1990)

    Google Scholar 

  28. Hotho, A.: Clustern mit Hintergrundwissen. PhD thesis, Institute AIFB, University of Karlsruhe (2004)

    Google Scholar 

  29. Hotho, A., Staab, S., Stumme, G.: Text clustering based on background knowledge. Technical report, University of Karlsruhe, Institute AIFB, 36 pages (2003)

    Google Scholar 

  30. Hotho, A., Staab, S., Stumme, G.: Explaining text clustering results using semantic structures. In: Lavrač, N., Gamberger, D., Todorovski, L., Blockeel, H. (eds.) PKDD 2003. LNCS (LNAI), vol. 2838, pp. 217–228. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  31. Hovy, E.: Combining and standardizing large-scale, practical ontologies for machine translation and other uses. In: Proc. 1st Intl. Conf. on Language Resources and Evaluation, Granada, Spain (May 1998)

    Google Scholar 

  32. Jones, K.: View mail users manual (1999), http://www.wonderworks.com/vm

  33. Karypis, G., Han, E.-H.: Fast supervised dimensionality reduction algorithm with applications to document categorization and retrieval. In: Proceedings of CIKM 2000, pp. 12–19. ACM Press, NewYork (2000)

    Chapter  Google Scholar 

  34. Kent, R.E., Neuss, C.: Creating a web analysis and visualization environment. Computer Networks and ISDN Systems 28(1/2), 109–117 (1995)

    Article  Google Scholar 

  35. McGuinness, D.L., Fikes, R., Rice, J., Wilder, S.: An environment for merging and testing large ontologies. In: Proc. 7th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), Breckenridge, Colorado, USA, April 2000, pp. 483–493 (2000)

    Google Scholar 

  36. Mineau, G., Stumme, G., Wille, R.: Conceptual structures represented by conceptual graphs and formal concept analysis. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol. 1640, pp. 423–441. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  37. Fridman Noy, N., Musen, M.A.: PROMPT: algorithm and tool for automated ontology merging and alignment. In: Proc. 17th Natl. Conf. on Artificial Intelligence (AAAI 2000), pp. 450–455, Austin, TX, (July/August 2000)

    Google Scholar 

  38. Pereira, F., Tishby, N., Lee, L.: Distributional clustering of english words. In: Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics, pp. 183–190 (1993)

    Google Scholar 

  39. Petersen, W.: A set-theoretical approach for the induction of inheritance hierarchies. Electronic Notes in Theoretical Computer Science 51 (2002)

    Google Scholar 

  40. Prediger, S.: Logical scaling in formal concept analysis. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J.F. (eds.) ICCS 1997. LNCS, vol. 1257, Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  41. Prediger, S., Stumme, G.: Theory-driven logical scaling. conceptual information systems meet description logics. In: Franconi, E., et al. (eds.) Proc. 6th Intl. Workshop Knowledge Representation Meets Databases, Heidelberg, CEURWorkshop Proc.,

    Google Scholar 

  42. Prediger, S., Wille, R.: The lattice of concept graphs of a relationally scaled context. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS, vol. 1640, pp. 401–414. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  43. Priss, U.: Linguistic applications of formal concept analysis. Presentation at the First International Conference on Formal Concept Analysis, Darmstadt (2003)

    Google Scholar 

  44. Richards, D., Compton, P.: Combining formal concept analysis and ripple down rules to support reuse. In: Proc. 9th Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE 1997), Springer, Heidelberg (1997)

    Google Scholar 

  45. Schmitz, C., Staab, S., Studer, R., Stumme, G., Tane, J.: Accessing distributed learning repositories through a courseware watchdog. In: Driscoll, M., Reeves, T.C. (eds.) Proc. of E–Learn 2002 World Conference on E-Learning in Corporate, Government, Healthcare, & Higher Education (E-Learn 2002),, Norfolk, pp. 909–915. AACE (2002)

    Google Scholar 

  46. Schulte imWalde, S.: Clustering verbs semantically according to their alternation behaviour. In: Proceedings of the 18th International Conference on Computational Linguistics (COLING 2000) (2000)

    Google Scholar 

  47. Sporleder, C.: A galois lattice based approach to lexical inheritance hierarchy learning. In: Proceedings of the ECAI 2002 Workshop on Machine Learning and Natural Language Processing for Ontology Engineering, OLT 2002 (2002)

    Google Scholar 

  48. Stumme, G.: The concept classification of a terminology extended by conjunction and disjunction. In: Foo, N.Y., Göbel, R. (eds.) PRICAI 1996. LNCS, vol. 1114, Springer, Heidelberg (1996)

    Google Scholar 

  49. Stumme, G.: Local scaling in conceptual data systems. In: Eklund, P.W., Ellis, G., Mann, G. (eds.) ICCS 1996. LNCS (LNAI), vol. 1115, pp. 308–320. Springer, Heidelberg (1996)

    Google Scholar 

  50. Stumme, G.: Conceptual On-Line Analytical Processing. In: Tanaka, K., Ghandeharizadeh, S., Kambayashi, Y. (eds.) Information Organization and Databases, Boston, Dordrecht, London, pp. 191–203. Kluwer, Dordrecht (2000)

    Google Scholar 

  51. Stumme, G., Maedche, A.: FCA–Merge: Bottom-up merging of ontologies. In: Proc. 17th Intl. Conf. on Artificial Intelligence (IJCAI 2001), Seattle, WA, USA, pp. 225–230 (2001)

    Google Scholar 

  52. Stumme, G., Taouil, R., Bastide, Y., Pasqier, N., Lakhal, L.: Computing iceberg concept lattices with Titanic. J. on Knowledge and Data Engineering 42(2), 189–222 (2002)

    Article  MATH  Google Scholar 

  53. Stumme, G., Wolff, K.E.: Numerical aspects in the data model of conceptual information systems. In: Kambayashi, Y., Lee, D.-L., Lim, E.-p., Mohania, M., Masunaga, Y. (eds.) ER Workshops 1998. LNCS, vol. 1552, pp. 117–228. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  54. Stumme, G., Wolff, K.E.: Computing in conceptual data systems with relational structures. In: Proc. Intl. Conf. on Knowledge Retrieval, Use, and Storage for Efficiency, Vancouver, Canada, August 11–13, pp. 206–219 (1997)

    Google Scholar 

  55. Stumme, G.: Boolesche begriffe. Master’s thesis, FB Mathematik, TU Darmstadt (1994)

    Google Scholar 

  56. Vogt, F., Wille, R.: TOSCANA – a graphical tool for analyzing and exploring data. In: Tamassia, R., Tollis, I.G. (eds.) GD 1994. LNCS, vol. 894, pp. 226–233. Springer, Heidelberg (1995)

    Google Scholar 

  57. Wille, R.: Preconcept algebras and generalized double boolean algebras. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 14–27. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  58. Wille, R.: Conceptual structures of multicontexts. In: Eklund, P.W., Ellis, G., Mann, G. (eds.) ICCS 1996. LNCS (LNAI), vol. 1115, pp. 23–39. Springer, Heidelberg (1996)

    Google Scholar 

  59. Wille, R.: Conceptual graphs and formal concept analysis. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol. 1257, pp. 290–303. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  60. Zipf, G.: Selective Studies and the Principle of Relative Frequency in Language, Cambridge (1932)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Applied Informatics and Formal Description Methods (AIFB), University of Karlsruhe, D–76128, Karlsruhe, Germany

    Philipp Cimiano, Andreas Hotho, Gerd Stumme & Julien Tane

Authors
  1. Philipp Cimiano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Hotho
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gerd Stumme
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Julien Tane
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Systems and Technology, University of Wollongong, Northfields Ave, NSW 2522, Wollongong, Australia

    Peter Eklund

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cimiano, P., Hotho, A., Stumme, G., Tane, J. (2004). Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies. In: Eklund, P. (eds) Concept Lattices. ICFCA 2004. Lecture Notes in Computer Science(), vol 2961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24651-0_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24651-0_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21043-6

  • Online ISBN: 978-3-540-24651-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation