Converting an informal ontology into ontolingua : some experiences /
Uschold, Michael.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
c1996.
Includes bibliographical references.
Ontology.
Logic, Symbolic and mathematical.
Formal languages.