@MASTERSTHESIS\{IMM2007-05399,
    author       = "B. A. Szymczak",
    title        = "Formal Ontologies for Semantic Text Processing",
    year         = "2007",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    note         = "Supervised by Prof. J{\o}rgen Fischer Nilsson, {IMM,} {DTU}.",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5399-full.html",
    abstract     = "This project is concerned with designing and applying formal ontologies intended for semantic search and retrieval in biomedical texts.

The project begins with a study of techniques for engineering of formal ontologies. The project considers various formalisms and type systems for representation of so–called generative ontologies. The nodes in generative ontologies take form of concept descriptors for describing the various ontological types and relations.

Next a text analyzer is to be designed and implemented, which utilizes the formal ontology together with a simplified grammar for natural language in order to parse the text and generate a proper descriptors for concepts appearing in the text.

This project takes place within the framework of {SIABO,} which is a project addressing semantic querying of bio–medical text sources in cooperation with a major medical company.

The above also summary serves as an official project description."
}