Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
DICTAP
2011
111views more  DICTAP 2011»
10 years 1 months ago
Ontology for Home Energy Management Domain
This paper focuses on an approach to build ontology for home energy management domain which is compatible with Suggested Upper Merged Ontology (SUMO). Our starting point in doing s...
Nazaraf Shah, Kuo-Ming Chao, Tomasz Zlamaniec, Adr...
ICTAI
2008
IEEE
11 years 7 months ago
Integrating YAGO into the Suggested Upper Merged Ontology
Ontologies are becoming more and more popular as background knowledge for intelligent applications. Up to now, there has been a schism between manually assembled, highly axiomatic...
Gerard de Melo, Fabian M. Suchanek, Adam Pease
CADE
2007
Springer
12 years 1 months ago
First Order Reasoning on a Large Ontology
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
Adam Pease, Geoff Sutcliffe
books