Table of Contents
Ontolingua
The Ontolingua Web Service
The Ontolingua Web Service
Mace Domain Ontology (image)
Building Conceptual Schema
Interlinguas for Reusable KBs
Inclusion and Circularity
Restriction and Polymorphic Refinement
Ontology Inclusion
Recognizing Symbols by Name
Home Ontologies and Renaming
Private and Public Symbols
Shadowed Names
Sources of Recognizable Symbols
Mechanism Summary
Using Shadowing to Prevent Name Conflicts
Inclusion
Circularity
Restriction
Polymorphic Refinement
Summary
|