1191 search results - page 76 / 239 » A Defeasible Ontology Language |
111
click to vote
SWAP
2007
15 years 3 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
107
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
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...
110
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
121
click to vote
IJCAI
2001
15 years 3 months ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
116
click to vote
IJPRAI
2010
14 years 11 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...