Towards an Order-Theoretical Foundation for Maintaining and Merging Ontologies
Gerd Stumme, Rudi Studer · 2000
This paper discusses steps towards an order-theoretic foundation for maintaining and merging ontologies. We claim that the commitment to ontologies having certain structural properties allows a semantically founded (semi-) automation of operations on ontologies. We provide a list of research questions and give first answers. In particular we argue for the use of Formal Concept Analysis for maintaining ontologies.