@inproceedings{gruber94-ontology_engineering_mathematics,
	title = {An Ontology for Engineering Mathematics.},
	annote = {Technical Report KSL-94-18},
	author = {Thomas R. Gruber and Gregory R. Olsen},
	booktitle = { Proceedings of the 4th International Conference on    Principles of Knowledge Representation and Reasoning    (KR'94). Bonn, Germany, May 24-27, 1994.},
	editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
	pages = {258-269},
	publisher = {Morgan Kaufmann},
	url = {ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-94-18.ps.gz},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2726db0fae8c791728b311d4aa96e42ce/lysander07},
	isbn = {1-55860-328-X}, source = {ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-94-18.ps.gz},
	keywords = {knowledge ontologies }
}