LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103

First Page		Document Content
Information science Knowledge representation Ontology Logic Formal languages Philosophy Abstraction Upper ontology Basic Formal Ontology Well-formed formula Formal ontology Symbol		LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103 Add to Reading List Source URL: precedings.nature.com Download Document from Source Website File Size: 98,09 KB Share Document on Facebook

	Towards a formal ontology for history of church administration DocID: 1uXBQ - View Document
	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Towards Formal Comparison of Ontology Linking, Mapping and Importing Martin Homola1,2 and Luciano Serafini1 1 DocID: 1tqtY - View Document
	Fabienne Martin, Dennis Spohr, Achim Stein Representing a Resource of Formal Lexical-Semantic Descriptions in the Web Ontology Language This paper presents an approach to disambiguating verb senses which DocID: 1tqt7 - View Document
	Identifying and Validating Ontology Mappings by Formal Concept Analysis Mengyi Zhao1 and Songmao Zhang2 1,2 Institute of Mathematics, Academy of Mathematics and Systems Science, DocID: 1sWAr - View Document
	Preprint version of paper in Achille Varzi and Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference (FOIS 2004), Amsterdam: IOS Press, 2004, 37–48. Individuals, U DocID: 1sP6r - View Document