Simple OML DTD

Overview

The elements, attributes and entities below are tightly connected with the nonterminals and rules of the Simple OML Grammar. The type elements are relation-centric (with respect to the subtype relation), whereas the instance elements are object-centric (with respect to the classification relation). The parameter entities OML:Type, OML:Axiom and OML:Instance represent in the DTD the “things” in the Simple OML Hierarchy and Simple OML Diagram that are not represented in Simple OML by an XML tag.

Parameter Entity Declarations

<!-- rule [4] of the grammar -->

<!ENTITY % OML:Type

“(OML:Type.Object

| OML:Type.BinaryRelation

| OML:Type.Function)”>

<!-- rule [8] of the grammar -->

<!ENTITY % OML:Axiom

“(OML:subtype)”>

<!-- rule [10] of the grammar -->

<!ENTITY % OML:Instance

“(OML:Instance.Object

| OML:Instance.BinaryRelation

| OML:Instance.Function)”>

Element Type Declarations

oml bracket element

<!-- rule [1] of the grammar -->

<!ELEMENT OML:OML (OML:Ontology | OML:Collection)>

ontology type elements

<!-- rule [2] of the grammar -->

<!ELEMENT OML:Ontology (OML:Extends | &OML:Type; | &OML:Axiom;)*>

<!-- rules [3], [15], [16] of the grammar -->

<!ELEMENT OML:extends EMPTY>

<!ATTLIST OML:extends
         ontology CDATA #REQUIRED
         prefix CDATA #IMPLIED>

<!-- rules [5], [17] of the grammar -->

<!ELEMENT OML:Type.Object EMPTY>

<!ATTLIST OML:Type.Object

name CDATA #REQUIRED>

<!-- rules [6], [17], [18], [19] of the grammar -->

<!ELEMENT OML:Type.BinaryRelation EMPTY>

<!ATTLIST OML:Type.BinaryRelation

name CDATA #REQUIRED

source.Type CDATA #REQUIRED

target.Type CDATA #REQUIRED>

<!-- rules [7], [17], [18], [19] of the grammar -->

<!ELEMENT OML:Type.Function EMPTY>

<!ATTLIST OML:Type.Function

name CDATA #REQUIRED

source.Type CDATA #REQUIRED

target.Type CDATA #REQUIRED>

<!-- rules [8], [20], [21] of the grammar -->

<!ELEMENT OML:subtype EMPTY>

<!ATTLIST OML:subtype

specific CDATA #IMPLIED

generic CDATA #IMPLIED>

collection instance elements

<!-- rule [9] of the grammar -->

<!ELEMENT OML:Collection (&OML:Instance;)*>

<!-- rules [11], [24], [25] of the grammar -->

<!ELEMENT OML:Instance.Object

(OML:classification | OML:Instance.BinaryRelation | OML:Instance.Function)*

>

<!ATTLIST OML:Instance.Object

id CDATA #REQUIRED

about CDATA #IMPLIED>

<!-- rules [12], [22], [23] of the grammar -->

<!ELEMENT OML:Instance.BinaryRelation EMPTY>

<!ATTLIST OML:Instance.BinaryRelation

type CDATA #REQUIRED

target.Instance CDATA #REQUIRED>

<!-- rules [13], [22], [23] of the grammar -->

<!ELEMENT OML:Instance.Function EMPTY>

<!ATTLIST OML:Instance.Function

type CDATA #REQUIRED

target.Instance CDATA #REQUIRED>

<!-- rules [14], [22] of the grammar -->

<!ELEMENT OML:classification EMPTY>

<!ATTLIST OML:classification

type CDATA #REQUIRED>

é

Please send questions, comments and suggestions about this page to: Robert E. Kent rekent@ontologos.org

Copyright © 1999 TOC (The Ontology Consortium). All rights reserved.