För att stödja utbyte och återanvändning av formellt representerad kunskap bland AI-system är det lämpligt att definiera den gemensamma vokabulär i vilken delad kunskap finns representerad. En specifikation av en representativ vokabulär för en delad domän av diskursdefinitioner av klasser, relationer, funktioner och andra objekt - kallas en ontologi. I detta dokument beskrivs en mekanism för att definiera ontologier som är bärbara över representationssystem. Definitioner skrivna i standardformat för predikatkalkyl översätts av ett system som heter Ontolingua till specialiserade representationer, inklusive frame-baserade system samt relationsspråk. Detta gör det möjligt för forskare att dela och återanvända ontologier, samtidigt som beräkningsfördelarna med specialiserade implementationer bibehålls. Vi diskuterar hur översättningen av portabiliteten tar itu med flera tekniska problem. Ett problem är hur man anpassar de stilistiska och organisatoriska skillnaderna mellan representationerna samtidigt som man bevarar det deklarativa innehållet. En annan är hur man översätter från ett mycket uttrycksfullt språk till begränsade språk, förblir systemoberoende samtidigt som beräkningseffektiviteten hos implementerade system bevaras. Vi beskriver hur dessa problem hanteras genom att basera Ontolingua på en ontologi av domänoberoende, representationella idiomer.
De representerar en formell och uttrycklig specifikation av gemensamma konceptualiseringar av ett intresseområde REF.
A translation approach to portable ontology specifications
{'venue': None, 'journal': 'Knowledge Acquisition', 'mag_field_of_study': ['Computer Science']}