Tools for assembling modular ontologies in ontolingua

Determining when a word can be not developed such a rule. A renaming is simple, and unambiguous way for ontologies to be specified by a rule that includes an ontology name, a word , assembled and reused.

However, in order to eliminate and a spelling that is to be used as the local spelling of the ambiguity, it requires words to be given clumsy extended given word from the perspective of the given ontology.

Given such a renaming rule, Ontolingua will recognize the Moreover, it does not allow a user to perform important local spelling as a reference to the given word when operations such as changing the spelling of words from processing input in the given perspective, and will use the included ontologies or selectively controlling which words local spelling to refer to the given word when producing are to be imported from included ontologies or exported to output from that perspective.

So, for example, a renaming other ontologies. Ontolingua solves these problems with rule might specify that in ontology A, the local spelling for auto vehicles is to be "car II. This facility enables an ontology developer to refer to words from other ontologies 3 The names of ontologies, themselves, are considered to be global and using names that are appropriate to a given ontology and to are not part of the ontological vocabulary. A word is said to be recognizable by spelling in an 0 There is a word which is recognized by ontology if the spelling unambiguously identifies a word spelling N in B which is different from the from the perspective of that ontology.

If that space is for A. Thus, what we need are mechanisms for a string is read from an input stream or entered into an specifying a restricted space that is appropriate for output stream , it does not change the interpretation of ontologies assembled from component ontologies. We names read before an operation is done. That is, spellings provide three such mechanisms as follows. The Ontolingua Server provides user commands for designating words as being public or private.

As a result, public words from the The third mechanism for restricting the words Generic-Products ontology, such as Service- considered during recognition associates with each Agreement, whose spellings do not conflict with other ontology a set of ontologies which are sources of words spellings from the perspective of the Amco ontology would that can be recognized by spelling in that ontology.

Thus, by default, all Examples 2 and 3 illustrate the restriction in one case transitively included ontologies are sources of words to and the extension in another case of a function i. That augmentation results in in A, recursively attempts to recognize BINsa as a public word the addition of the following axiom to the 1 n t eger - in an ontology which is a source of recognized words for A.

In particular, Arithmetic ontology. We would also like to acknowledge the valuable inclusion become apparent. Banff, Canada. Arithmetic ontology, then the author of that ontology is November 9- The Epikit Manual. Epistemics, explicitly and optionally the KIF-Numbers ontology. Palo Alto, CA. Finally, the circular dependencies in the Medicine and Genesereth, M. Logic- presented by not explicitly including these ontologies in l. Computer Science Department, Stanford University.

Ontolingua: A mechanism to Support words in the other ontology. For example, in the Medicine Portable Ontologies. KSL Stanford University, ontology, roller-blading would be entered as "roller- Knowledge Systems Laboratory. MacGregor, R. Allen, P. Chalasani, J.

Cheng, 0. Ringuette, and J. The Rice, J. Farquhar, P. Piernot, and T. In recognized in the Medicine ontology because the inclusion Conference on Human Factors in Computing Systems is implicit; the Sports ontology does not become a source CH : Vancouver, CA: Addison Wesley.

Toward principles for the design of ontologies used for knowledge sharing? The Ontolingua Server provides user commands for designating words as being public or private. As a result, public words from the The third mechanism for restricting the words Generic-Products ontology, such as Service- considered during recognition associates with each Agreement, whose spellings do not conflict with other ontology a set of ontologies which are sources of words spellings from the perspective of the Amco ontology would that can be recognized by spelling in that ontology.

Thus, by default, all Examples 2 and 3 illustrate the restriction in one case transitively included ontologies are sources of words to and the extension in another case of a function i. That augmentation results in in A, recursively attempts to recognize BINsa as a public word the addition of the following axiom to the 1 n t eger - in an ontology which is a source of recognized words for A.

In particular, Arithmetic ontology. We would also like to acknowledge the valuable inclusion become apparent. Banff, Canada. Arithmetic ontology, then the author of that ontology is November 9- The Epikit Manual.

Epistemics, explicitly and optionally the KIF-Numbers ontology. Palo Alto, CA. Finally, the circular dependencies in the Medicine and Genesereth, M. Logic- presented by not explicitly including these ontologies in l. Computer Science Department, Stanford University. Ontolingua: A mechanism to Support words in the other ontology.

For example, in the Medicine Portable Ontologies. KSL Stanford University, ontology, roller-blading would be entered as "roller- Knowledge Systems Laboratory. MacGregor, R. Allen, P.

Chalasani, J. Cheng, 0. Ringuette, and J. The Rice, J. Farquhar, P. Piernot, and T. In recognized in the Medicine ontology because the inclusion Conference on Human Factors in Computing Systems is implicit; the Sports ontology does not become a source CH : Vancouver, CA: Addison Wesley. Related Papers. The Ontolingua Server: a tool for collaborative ontology construction. By James Rice. Toward principles for the design of ontologies used for knowledge sharing?

By narendra chouhan. A translation approach to portable ontology specifications. By Miqdad AL-noori. Methodologies for ontology development. By Trevor Bench-Capon. By Aldo Gangemi and Domenico Pisanelli. Download pdf. Log in with Facebook Log in with Google. Remember me on this computer. Enter the email address you signed up with and we'll email you a reset link. Need an account? Venue: In Proc. Abstract The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies.

Keyphrases modular ontology non-logical symbol ontology authoring tool ontolingua ontology development environment multiple component ontology multiple way substantial user community introduction explicit specification domain conceptualization ontolingua support cyclic inclusion graph disambiguate symbol reference polymorphic operator essential fo world wide web service modular reusable ontology multiple ontology enable user.

Powered by:.