First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology

First Page		Document Content
Date: 2015-06-15 14:07:47 Logic Abstraction Mathematical logic Reasoning Ontology Automated theorem proving Predicate logic Knowledge representation Cyc Knowledge representation and reasoning Upper ontology Semantic reasoner		First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology Add to Reading List Source URL: www.cyc.com Download Document from Source Website File Size: 92,69 KB Share Document on Facebook

	Towards an Upper-Level Ontology for Molecular Biology Stefan Schulz1 1 Elena Beisswanger2 DocID: 1rCYs - View Document
	Generating Ontologies via Language Components and Ontology Reuse Yihong Ding1 , Deryle Lonsdale2 , David W. Embley1 , Martin Hepp3 , and Li Xu4 1 DocID: 1rtMj - View Document
	Visualizing the Evolution of Ontologies: A Dynamic Graph Perspective Michael Burch1 and Steffen Lohmann2 1 VISUS, University of Stuttgart, Germany DocID: 1rt8K - View Document
	ICBO: International Conference on Biomedical Ontology July 28-30, 2011 · Buffalo, NY, USA OntoFox and its Application in the Development of the Brucellosis Ontology Zuoshuang Xiang, Yu Lin, Yongqun He DocID: 1rsQv - View Document
	Information Retrieval by Semantic Similarity Angelos Hliaoutakis1 , Giannis Varelas1 , Epimeneidis Voutsakis1 , Euripides G.M. Petrakis1? , and Evangelos Milios2 1 Dept. of Electronic and Computer Engineering DocID: 1rs5W - View Document