Results 1 - 10 of 5,650

Towards a Standard Upper Ontology

by Ian Niles, Adam Pease , 2001
"... 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 d ..."
Abstract - Cited by 589 (22 self) - Add to MetaCart
and the relations between them. Categories & Descriptors --- I.2.4 [Knowledge Representation Formalisms and Methods]: Artificial Intelligence -- representations (procedural and rule-based), semantic networks. General Terms --- Documentation, Languages, Standard-ization, Theory. Keywords --- Ontologies

A translation approach to portable ontology specifications

by Thomas R. Gruber - KNOWLEDGE ACQUISITION , 1993
"... To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common vocabulary in which shared knowledge is represented. A specification of a representational vocabulary for a shared domain of discourse — definitions of classes, relations, functions ..."
Abstract - Cited by 3365 (9 self) - Add to MetaCart
, functions, and other objects — is called an ontology. This paper describes a mechanism for defining ontologies that are portable over representation systems. Definitions written in a standard format for predicate calculus are translated by a system called Ontolingua into specialized representations

Toward Principles for the Design of Ontologies Used for Knowledge Sharing

by Thomas R. Gruber - IN FORMAL ONTOLOGY IN CONCEPTUAL ANALYSIS AND KNOWLEDGE REPRESENTATION, KLUWER ACADEMIC PUBLISHERS, IN PRESS. SUBSTANTIAL REVISION OF PAPER PRESENTED AT THE INTERNATIONAL WORKSHOP ON FORMAL ONTOLOGY , 1993
"... Recent work in Artificial Intelligence is exploring the use of formal ontologies as a way of specifying content-specific agreements for the sharing and reuse of knowledge among software entities. We take an engineering perspective on the development of such ontologies. Formal ontologies are viewed a ..."
Abstract - Cited by 2003 (3 self) - Add to MetaCart
are applied in case studies from the design of ontologies for engineering mathematics and bibliographic data. Selected design decisions are discussed, and alternative representation choices and evaluated against the design criteria.

From SHIQ and RDF to OWL: The Making of a Web Ontology Language

by Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - Journal of Web Semantics , 2003
"... The OWL Web Ontology Language is a new formal language for representing ontologies in the Semantic Web. OWL has features from several families of representation languages, including primarily Description Logics and frames. OWL also shares many characteristics with RDF, the W3C base of the Semantic W ..."
Abstract - Cited by 615 (39 self) - Add to MetaCart
The OWL Web Ontology Language is a new formal language for representing ontologies in the Semantic Web. OWL has features from several families of representation languages, including primarily Description Logics and frames. OWL also shares many characteristics with RDF, the W3C base of the Semantic

BiNGO: a Cytoscape plugin to assess overrepresentation of gene ontology categories in biological networks

by Steven Maere, Karel Heymans, Martin Kuiper - Bioinformatics , 2005
"... Summary: The Biological Networks Gene Ontology tool (BiNGO) is an open-source Java tool to determine which Gene Ontology (GO) terms are significantly overrepresented in a set of genes. BiNGO can be used either on a list of genes, pasted as text, or interactively on subgraphs of biological networks v ..."
Abstract - Cited by 535 (4 self) - Add to MetaCart
Summary: The Biological Networks Gene Ontology tool (BiNGO) is an open-source Java tool to determine which Gene Ontology (GO) terms are significantly overrepresented in a set of genes. BiNGO can be used either on a list of genes, pasted as text, or interactively on subgraphs of biological networks

Description Logic Programs: Combining Logic Programs with Description Logic

by Benjamin N. Grosof, Ian Horrocks , 2002
"... We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) ..."
Abstract - Cited by 529 (46 self) - Add to MetaCart
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR

An Environment for Merging and Testing Large Ontologies

by Deborah L. Mcguinness, Richard Fikes, James Rice, Steve Wilder , 2000
"... Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configuration (such as Dell and PC-Order), and government intelligence (such as DARPA’s High Performance Knowledge Base (HPKB) pro ..."
Abstract - Cited by 278 (12 self) - Add to MetaCart
application ontologies, sometimes by people who do not have much training in knowledge representation. This process has generated needs for tools that support broad ranges of users in (1) merging of ontological terms from varied sources, (2) diagnosis of coverage and correctness of ontologies, and (3

Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition

by Merlin Donald , 1991
"... This book was an attempt to synthesize various sources of information--neurobiological, psychological, archeological and anthropological, among others--about our cognitive origins, in the belief that the human mind co-evolved in close interaction with both brain and culture. I should make clear from ..."
Abstract - Cited by 337 (0 self) - Add to MetaCart
of skills presumably resembling those of the chimpanzee. These transformations left, on the one hand, three new, uniquely human systems of memory representation, and on the other, three interwoven layers of human culture, each supported by its corresponding set of representations. I agree with multilevel

Formal Ontology, Conceptual Analysis and Knowledge Representation

by Nicola Guarino - INTERNATIONAL JOURNAL OF HUMAN AND COMPUTER STUDIES , 1995
"... The purpose of this paper is to defend the systematic introduction of formal ontological principles in the current practice of knowledge engineering, to explore the various relationships between ontology and knowledge representation, and to present the recent trends in this promising research area. ..."
Abstract - Cited by 231 (13 self) - Add to MetaCart
The purpose of this paper is to defend the systematic introduction of formal ontological principles in the current practice of knowledge engineering, to explore the various relationships between ontology and knowledge representation, and to present the recent trends in this promising research area

C-OWL: Contextualizing Ontologies

by Paolo Bouquet, Luciano Serafini, Heiner Stuckenschmidt, et al. , 2003
"... Ontologies are shared models of a domain that encode a view which is common to a set of different parties. Contexts are local models that encode a party's subjective view of a domain. In this paper we show how ontologies can be contextualized, thus acquiring certain useful properties that a ..."
Abstract - Cited by 243 (31 self) - Add to MetaCart
. The result is Context OWL (C-OWL), a language whose syntax and semantics have been obtained by extending the OWL syntax and semantics to allow for the representation of contextual ontologies.
Results 1 - 10 of 5,650