arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Adam Pease

50 papers · 1991–2026

1991: 11992: 01993: 01994: 01995: 01996: 01997: 11998: 01999: 32000: 12001: 12002: 32003: 42004: 42005: 02006: 22007: 42008: 62009: 12010: 52011: 02012: 02013: 12014: 22015: 02016: 22017: 02018: 22019: 02020: 02021: 12022: 12023: 22024: 12025: 02026: 2
1991peak 6 in 20082026

Frequent co-authors

Papers

showing 1–25 of 50 RSS

Towards a standard upper ontology

Ian Niles, Adam Pease

Artificial Intelligence · · cited 1,616× · DOI ↗ · more like this ·

Abstract — The Suggested Upper Merged Ontology (SUMO) is an upper level ontology that has been proposed as a starter document for The Standard Upper Ontology Working Group, an IEEE-sanctioned working group of collaborators from the fields of engineering, philosophy, and information science. The SUMO provides definitions for general-purpose terms and acts as a foundation for more specific domain ontologies. In this paper we outline the strategy used to create the current version of the SUMO, discuss some of the challenges that we faced in constructing the ontology, and describe in detail its most general concepts and the relations between them. Categories & Descriptors — I.2.4 [Knowledge Representation Formalisms and

The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applic ations

Adam Pease, Ian Niles, John Li

Artificial Intelligence · · cited 300× · OpenAlex ↗ · more like this ·

In this paper we discuss the development and application of a large formal ontology to the semantic web. The Suggested Upper Merged Ontology (SUMO) (Niles & Pease, 2001) (SUMO, 2002) is a "starter document" in the IEEE Standard Upper Ontology effort. This upper ontology is extremely broad in scope and can serve as a semantic foundation for search, interoperation, and communication on the semantic web.

Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology.

Ian Niles, Adam Pease

Artificial Intelligence · IKE · · cited 251× · OpenAlex ↗ · more like this ·

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 solution to some of the most pressing problems that confront software engineering, they also raise some issues and difficulties of their own. Consider, for example, the questions below: • How can a formal ontology be used effectively by those who lack extensive training in logic and mathematics? • How can an ontology be used automatically by applications (e.g. Information Retrieval and Natural Language Processing applications) that process free text? • How can we know when an ontology is complete? In this paper we will begin by…

IEEE standard upper ontology: a progress report

Adam Pease, Ian Niles

Artificial Intelligence · The Knowledge Engineering Review · · cited 87× · DOI ↗ · more like this ·

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, semantic interoperability between heterogeneous information systems and natural language processing applications. The effort was begun in May 2000 with an e-mail discussion list, and since then there have been over 6000 e-mail messages among 170 subscribers. These subscribers include representatives from government, academia and industry in various countries. The effort was officially approved as an IEEE standards project in December 2000. Recently a successful workshop was held at IJCAI 2001 to discuss progress and proposals for this…

Arabic WordNet. Current State and Future Extensions

Horacio Rodríguez, Munya Alkhalifa, William J. Black +3 more

Artificial Intelligence · Data Archiving and Networked Services (DANS) · · cited 55× · OpenAlex ↗ · more like this ·

Abstract. We report on the current status of the Arabic WordNet project and in particular on the contents of the database, the lexicographer and user interfaces, the Arabic WordNet browser, linking to the SUMO ontology, the Arabic word spotter, and techniques for semiautomatically extending Arabic WordNet. The central focus of the presentation is on the semiautomatic extension of Arabic WordNet using lexical and morphological rules.

Integrating YAGO into the Suggested Upper Merged Ontology

Gerard de Melo, Fabian M. Suchanek, Adam Pease

Artificial Intelligence · Max Planck Institute for Plasma Physics · · cited 47× · DOI ↗ · more like this ·

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 the standard upper merged ontology (SUMO) with the extensive world knowledge of the YAGO ontology. The result is a new large-scale formal ontology, which provides information about millions of entities such as people, cities, organizations, and companies.

Does prior knowledge facilitate the development of knowledge-based systems?

Paul R. Cohen, Vinay K. Chaudhri, Adam Pease +1 more

Artificial Intelligence · · cited 45× · OpenAlex ↗ · more like this ·

: One factor that affects the rate of knowledge base construction is the availability and reuse of prior knowledge in ontologies and domain-specific knowledge bases. This paper reports an empirical study of reuse performed in the first year of the High Performance Knowledge Bases (HPKB) initiative. The study shows that some kinds of prior knowledge help more than others, and that several factors affect how much use is made of the knowledge. Tracking number A261 Content areas: knowledge-representation, design-and-evaluation-of-ontologies Statement of sole submission: "The author(s) certifies that this paper has not been accepted by and is not currently under review for another AI or AI subarea conference, nor will it be submitted for such during the AAAI-99 review period. The author also certifies that any version of this paper submitted to another non-AI conference or journal…

First order reasoning on a large ontology

Adam Pease, Geoff Sutcliffe

Artificial Intelligence · · cited 43× · OpenAlex ↗ · more like this ·

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 performance. We also describe our work in translating SUMO from its native SUO-KIF language into TPTP format.

Mapping WordNet to the SUMO Ontology

Ian Niles, Adam Pease

Artificial Intelligence · Sheng li xue bao : [Acta physiologica Sinica] · · cited 42× · OpenAlex ↗ · more like this ·

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

Linking FrameNet to the Suggested Upper Merged Ontology

Jan Scheffczyk, Adam Pease, Michael Ellsworth

Artificial Intelligence · Formal Ontology in Information Systems · · cited 41× · OpenAlex ↗ · more like this ·

Deductive reasoning with natural language requires combining lexical resources with the world knowledge provided by ontologies. In this paper we describe the connection of FrameNet – a lexicon for English – to the Suggested Upper Merged Ontology (SUMO). We express general-domain links between FrameNet Semantic Types (ST) and SUMO classes in SUO-KIF, the language of SUMO. Based on these links, we have developed a semi-automatic, domain-specific approach for linking FrameNet Frame Elements (FE) to SUMO classes that is based on typical fillers of an FE in a particular domain. We thus provide restricted, ontology-based types on the fillers of FEs. Our work will enable several lines of experimentation for semantic parsing and ontology lexicalization. 1.

An English to logic translator for ontology-based knowledge representation languages

Adam Pease, William R. Murray

Artificial Intelligence · · cited 41× · DOI ↗ · more like this ·

Ontologies provide advantages of knowledge reusability, sharing, and greater robustness when used to build large knowledge-based applications. Unfortunately, translating between English statements and a specific ontology requires skill in knowledge engineering and an understanding of formal logic and the ontology itself. A knowledge engineer must be familiar with the concepts in the ontology, the fine distinctions between terms, and the specific way the ontology conceptualizes the world. We have developed a tool, CELT (controlled English to logic translation), to enable nonprogrammers to add knowledge expressed in terms of an ontology. CELT is an automatic translation tool to convert controlled English to KIF formulas using ontologies built with the suggested upper merged ontology (SUMO). Wordnet provides a base lexicon and a default preference for word senses. We do not expect CELT to…

Foundational ontologies meet ontology matching: A survey

Cássia Trojahn dos Santos, Renata Vieira, Daniela Schmidt +2 more

Artificial Intelligence · Semantic Web · · cited 38× · DOI ↗ · more like this ·

Ontology matching is a research area aimed at finding ways to make different ontologies interoperable. Solutions to the problem have been proposed from different disciplines, including databases, natural language processing, and machine learning. The role of foundational ontologies for ontology matching is an important one, as they provide a well-founded reference model that can be shared across domains. It is multifaceted and with room for development. This paper presents an overview of the different tasks involved in ontology matching that consider foundational ontologies. We discuss the strengths and weaknesses of existing proposals and highlight the challenges to be addressed in the future.

Formal ontology as interlingua: the SUMO and WordNet linking project and global WordNet

Adam Pease, Christiane Fellbaum

Artificial Intelligence · Cambridge University Press eBooks · · cited 36× · DOI ↗ · more like this ·

WordNet is a large lexical database for English. With its broad coverage and a design that is useful for a range of natural-language processing applications, this resource has found wide general acceptance. We offer only a brief description here and refer the reader to Miller, 1990 and Fellbaum, 1998 for further details. WordNet's creation in the mid-1980s was motivated by current theories of human semantic organization (Collins and Quillian, 1969). People have knowledge about tens of thousands of concepts, and the words expressing these concepts must be stored and retrieved in an efficient and economic fashion. A semantic network such as WordNet is an attempt to model one way in which concepts and words could be organized.

Building the Global WordNet Grid

Adam Pease, Christiane Fellbaum, Piek Vossen

Artificial Intelligence · Data Archiving and Networked Services (DANS) · · cited 22× · OpenAlex ↗ · more like this ·

Global WordNet consortium was formed to encourage this growth and to maximize sharing and interoperability of tools and methods; another ma-jor goal is to ensure the interlinking of the databases ’ lexical contents. But efforts towards interconnection and reusability have progressed un-evenly and opportunistically within the community of wordnet develop-ers. Attempts to link lexical elements have primarily relied on Prince-ton's English WordNet as a "hub". This presents obvious problems, as English does not lexicalize the same concepts as other languages; as a re-sult, wordnets following this approach might well be biased towards the structure and lexical coverage of English. Another, language-indepen-dent approach is needed. At the Third Global WordNet Association con-ference (Sojka et al. 2006), a proposal was made for building a compre-hensive worldwide…

Representing Story Plans in SUMO

Jeffrey Cua, Hendra Manurung, Ethel Ong +1 more

Artificial Intelligence · North American Chapter of the Association for Computational Linguistics · · cited 17× · OpenAlex ↗ · more like this ·

Automatic story generation systems require a body of commonsense knowledge about the basic relationships between concepts we find everyday in our world in order to produce interesting narratives that describe human actions and world events. This paper presents an ongoing work that investigates the use of Suggested Upper Merged Ontology (SUMO) to represent storytelling knowledge and its inference engine Sigma to query actions and events that may take place in the story to be generated. The resulting story plan (fabula) is also represented in SUMO, allowing for a single story representation to be realized in various human languages. 1

Integration of the TPTPWorld into SigmaKEE

Steven Trac, Geoff Sutcliffe, Adam Pease

Artificial Intelligence · · cited 14× · OpenAlex ↗ · more like this ·

Abstract. This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning environment, with strong knowledge management features, and access to modern state of the art ATP systems for reasoning over knowledge bases. 1

Progress in Automating Higher-Order Ontology Reasoning

Christoph Benzmüller, Adam Pease

Artificial Intelligence · EPiC series in computing · · cited 12× · DOI ↗ · more like this ·

We report on the application of higher-order automated theorem proving in ontology reasoning. Concretely, we have integrated the Sigma knowledge engineering environment and the Suggested Upper-Level Ontology SUMO with the higher-order theorem prover LEO-II. The basis for this integration is a translation from SUMO representations into the new typed higher-order form representation language TPTP THF. We illustrate the benefits of our integration with examples, report on experiments and analyze open challenges.

Language to Logic Translation with PhraseBank

Adam Pease, Christiane Fellbaum

Artificial Intelligence · · cited 9× · OpenAlex ↗ · more like this ·

We discuss a restricted natural language understanding system and a proposed extension to it, which is a corpus of phrases. The Controlled English to Logic Translation (CELT) system allows users to make statements in a domain-independent, restricted English grammar that have a clear formal semantics and that are amenable to machine processing. CELT needs a large amount of linguistic and semantic knowledge. It is currently coupled with the Suggested Upper Merged Ontology, which has been mapped by hand to WordNet 1.6. We propose work on a new corpus of phrases (called PhraseBank) to be added to WordNet and linked to SUMO, which will catalog common English phrase forms, and their deep meaning in terms of the formal ontology. This addition should signicantly expand the coverage and usefulness of CELT.

Formal Ontology for Media Rights Transactions

Adam Pease, Godfrey Rust

Information Systems · Advances in e-business research series · · cited 7× · DOI ↗ · more like this ·

Rightscom (a UK-based media and rights consultancy), is working with Articulate Software (a formal ontology consultancy) and with another system developer to create a large-scale metadata integration and transaction management system, founded on an ontology-based metamodel. Previous versions of this system have utilized lightweight schema and conventional Semantic Web technologies such as OWL. This has become unwieldy, and does not take advantage of latest technologies. Our current version employs formal ontology development in the logical language of SUO-KIF and involves reuse of an extension of a large formal ontology – the Suggested Upper Merged Ontology (SUMO) - and its associated ontology management system, called Sigma. In particular, integration with a large ontology will give the Rightscom model greater coverage of more domains and expand business opportunities to supporting…

Ontologies across disciplines

Matthias Nickles, Adam Pease, Andrea C. Schalley +1 more

Artificial Intelligence · Open access LMU (Ludwid Maxmilian's Universitat Munchen) · · cited 7× · DOI ↗ · more like this ·

The English word ontology, together with its counterparts in many languages, has made a breathtaking career during the last decades especially in information science, but also in other disciplines. Since its definitions vary considerably within and especially across disciplines, and since this volume, although clearly focused on linguistic matters, is conceived as tying together several disciplines, it seems appropriate to provide a short survey of these uses in order to make the different contributions and their interconnections more accessible for those readers who are not familiar with all the fields that are represented between the covers of this book (presumably the majority).

Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Merged Ontology

Adam Pease, Christoph Benzmüller

Artificial Intelligence · · cited 3× · OpenAlex ↗ · more like this ·

ontology defined in first-order logic with some higher-order extensions [1]. The project began in the year 2000. Each version has been released open source and publicly from the start, which provides a unique record of the construction of a formal ontology. While initially just an upper ontology, it now encompasses a wide variety of domains, and some recent work has involved semi-automatically merging large factbases with the fully axiomatized hand-built content [3]. SUMO has been mapped by hand to all of English WordNet [6] and several other languages (Elkateb et al 2006; Borra et al 2010; Pease& Fellbaum, 2010) and is used in natural language understanding tasks (Pease & Li, 2010). SUMO is supported by tools for ontology development (Pease, 2003) and inference (Trac et al 2007) and used in the yearly CASC theorem proving competition (Pease et al 2010).

Analogy and Deduction for Knowledge Discovery.

Jim Reynolds, Adam Pease, John Li

Artificial Intelligence · IKE · · cited 3× · OpenAlex ↗ · more like this ·

Analogy-based hypothesis generation is a promising technique for knowledge discovery. However, some hypotheses generated are nonsensical. This paper describes a two-phased method to increase the quality of analogy reasoning. The first phase employs an established approach to generate hypotheses through similarity matching. The second phase utilizes deductive reasoning to eliminate hypotheses that are clearly false or absurd. The basis for elimination is violation of common sense or domain knowledge, which is represented in a suite of ontologies. We describe a set of preliminary experiments conducted to validate this two-phased approach. The experiments involved much larger test cases than reported by any other analogy researchers, and the results are very encouraging.

Proceedings of the IJCAI-03 Workshop on Ontologies and Distributed Systems

Fausto Giunchiglia, Asuncíon Gómez-Pérez, Adam Pease +1 more

Information Systems · · cited 3× · OpenAlex ↗ · more like this ·

Semantic Web Services (SWSs) are specified in a semantic markup language to enable other services (and agents) to reason about their capabilities, in order to decide whether a SWS should be invoked or not. In this paper an environment for development and description of SWSs is presented. This environment, called ODE SWSDesigner, consists of a graphical interface, which allows users to carry out the design and characterization of SWSs at a conceptual level, and a set of software modules, which verify the design correctness and perform the translations from the graphical descriptions to the languages used to specify SWSs. ODE SWSDesigner provides support for a layer-based framework that we have proposed with the aim of enabling a language-independent development of SWSs. This framework is based on the use of problemsolving methods that are considered as highlevel specifications from which…