OML-CG Analogies
OML/CKML Grammar
OML Examples
OML Technical Notes
OML-CG Analogies OML/CKML Grammar OML Examples OML Technical Notes |
 xml-dev archive rdf-dev archive meta2 archive onto-std archive Ontology.Org XSchema CGIF Standard KIF Standard CSLI/Stanford (KA)2 Principles of Ontology Simple OML CKML Version 0.2 |
| "in childhood using SHOE, in adolescence using RDF, in adulthood using CG |
|
Main Entry: on·tol·o·gy Pronunciation: än-'tä-l&-jE Function: noun Etymology: New Latin ontologia, from ont- + -logia -logy Date: circa 1721 1 : a branch of metaphysics concerned with the nature and relations of being 2 : a particular theory about the nature of being or the kinds of existence |
Our solution to the namespace problem goes as follows:type references in OML are of the form
whereas instance references in OML are of the form
Here ontology is a URI usually denoting an ontology site,type is a pathname usually denoting a typed collection (file) within that ontology (site),and instance is an identifier locally unique within that collection. The three-tiered scoping idea is indicated in the picture on the right. Each collection is indexed (and known) by a specified and specific type. So the instance identifier must be unique within the collected extent of the type.In ontologies,all top-level type names (such as object or relation names) must be uniqueandall other type names (such as function or argument names) must be unique within their containing scope or context.In collections,name abbreviations can be used as long as this causes no ambiguity.Name resolution proceeds upwards through the ontology extension hierarchy.All ontologies automatically extend the base OML ontology,which specifies the names:oml, ontology, object, assertion, relation, etc.Thus,the extend statements for the base OML ontology that appear in the examples are redundant.Also,we have used name abbreviation for the base OML ontology names,even in the other ontologies.
