Tools for Assembling Modular Ontologies in Ontolingua

From Tetherless World Wiki

Jump to: navigation, search

Citation: Richard Fikes and Adam Farquhar and James Rice. (1997) Tools for Assembling Modular Ontologies in Ontolingua. In KSL-97-03, April,1997.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Richard Fikes and Adam Farquhar and James Rice
title Tools for Assembling Modular Ontologies in Ontolingua
number KSL-97-03
institution Knowledge Systems, AI Laboratory
address Stanford, CA, USA
year 1997
month April
Bibtex more
Access Paper
abstract The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular, reusable ontologies. The environment is available as a World Wide Web service and has a substantial user community. The tools in Ontolingua are oriented toward the authoring of ontologies by assembling and extending ontologies obtained from the library. In this paper, we describe Ontolingua's formalism for combining the axioms, definitions, and words (non-logical symbols) of multiple ontologies. We also describe Ontolingua's facilities that enable renaming of words non-logical symbols from multiple component ontologies and that provide unambiguous mapping between words and text strings disambiguate symbol references during input and output. These features of Ontolingua support cyclic inclusion graphs and enable users to extend ontologies in multiple ways such as adding simplifying assumptions and extending the domains of polymorphic operators.

KSL Technical Report ID: KSL-97-03
Facts about Tools for Assembling Modular Ontologies in OntolinguaRDF feed
Abstract The Ontolingua ontology development enviro … The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular, reusable ontologies. The environment is available as a World Wide Web service and has a substantial user community. The tools in Ontolingua are oriented toward the authoring of ontologies by assembling and extending ontologies obtained from the library. In this paper, we describe Ontolingua's formalism for combining the axioms, definitions, and words (non-logical symbols) of multiple ontologies. We also describe Ontolingua's facilities that enable renaming of words non-logical symbols from multiple component ontologies and that provide unambiguous mapping between words and text strings disambiguate symbol references during input and output. These features of Ontolingua support cyclic inclusion graphs and enable users to extend ontologies in multiple ways such as adding simplifying assumptions and extending the domains of polymorphic operators. ding the domains of polymorphic operators.
Address Stanford, CA, USA  +
Author Richard Fikes and Adam Farquhar and James Rice  +
Bibtype techreport  +
Has author Richard Fikes and Adam Farquhar and James Rice  +
Has identifier KSL-97-03  +
Has publishing details April,1997  +
Has title Tools for Assembling Modular Ontologies in Ontolingua  +
Has where published KSL-97-03  +
Has year 1997  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-97-03  +
Month April  +
Number KSL-97-03  +
Process note NO  +
Title Tools for Assembling Modular Ontologies in Ontolingua  +
Year 1997  +
Retrieved from "http://tw.rpi.edu/wiki/Tools_for_Assembling_Modular_Ontologies_in_Ontolingua"
Personal tools