Learn More
The Suggested Upper Merged Ontology (SUMO) is an upper levelontology that has been proposed as a starter document for TheStandard Upper Ontology Working Group, an IEEE-sanctioned workinggroup of collaborators from the fields of engineering, philosophy,and information science. The SUMO provides definitions forgeneral-purpose terms and acts as a foundation(More)
Abstract: Ontologies are becoming extremely useful tools for sophisticated software engineering. Designing applications, databases, and knowledge bases with reference to a common ontology can mean shorter development cycles, easier and faster integration with other software and content, and a more scalable product. Although ontologies are a very promising(More)
In this paper we discuss the development and appl ication of a large formal ontology to the semantic web. Th e Suggested Upper Merged Ontology (SUMO) (Niles & Pease, 2001) (SUMO, 2002) is a“starter document” i n the IEEE Standard Upper Ontology effort. This upper ontology is extremely broad in scope and can serve as a semantic foundation for search,(More)
Arabic is the official language of hundreds of millions of people in twenty Middle East and northern African countries, and is the religious language of all Muslims of various ethnicities around the world. Surprisingly little has been done in the field of computerised language and lexical resources. It is therefore motivating to develop an Arabic (WordNet)(More)
Research and applications in computer science are creating the need for precise definitions of the concepts that make up our world. Web searching is handicapped by the limitations of specifying search criteria in terms of keywords rather than concepts. Automated natural language understanding, both oral and written, is severely limited by the ambiguity of(More)
notion that includes not only the PQ53 [During/After <TimeInterval>,] what {risks, rewards} would <InternationalAgent> face in <InternationalActionType>? <InternationalActionType> = {[exposure of its] {supporting, sponsoring} <InternationalAgentType> in <InternationalAgent2>, successful terrorist attacks against <InternationalAgent2>’s <EconomicSector>,(More)
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 suitable for first order theorem proving. We describe the methods for translating into standard first order format, as well as optimizations that are intended to improve inference(More)
This paper introduces a recently initiated project that focuses on building a lexical resource for Modern Standard Arabic based on the widely used Princeton WordNet for English (Fellbaum, 1998). Our aim is to develop a linguistic resource with a deep formal semantic foundation in order to capture the richness of Arabic as described in Elkateb (2005). Arabic(More)
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 ontologies and large, automatically constructed knowledge bases. This paper discusses how the two worlds can be brought together by combining the high-level axiomatizations from(More)
The IEEE Standard Upper Ontology (IEEE, 2001) is an effort to create a large, general-purpose, formal ontology. The ontology will be an open standard that can be reused for both academic and commercial purposes without fee, and it will be designed to support additional domain-specific ontologies. The effort is targeted for use in automated inference,(More)