Grammatical Specification of Domain Ontologies

This paper presents a formalism supporting the analysis and specification of domain ontologies. The method is founded theoretically on conventional context-free grammars. The use of production rules admits recursive formation of compound categories from given categories subjected to combinability constraints. The proposed domain specification methodology is applied to ontology-guided content-based information retrieval in text databases. It is advanced also as a general purpose methodology for ontological engineering.