CONCEPT ::= CLASS-ID

| CONCEPT 'and' CONCEPT

| CONCEPT 'or' CONCEPT

| 'not' CONCEPT

| '{' INDIV-ID+ '}

| RELATION 'some' CONCEPT

| RELATION 'only' CONCEPT

| RELATION 'min' NUMBER

| RELATION 'max' NUMBER

| RELATION 'exactly' NUMBER

| RELATION 'value' INDIV-ID

| RELATION 'onlysome' CONCEPT+

| CONCEPT 'xor' CONCEPT

RELATION ::= CONCEPT

| CONCEPT 'that' CONCEPT

CLASS-ID ::= ID

INDIV-ID ::= ID

OBJECT-PROP-ID ::= ID

NUMBER ::= DIGIT+

DIGIT ::= 0 | ... | 9

CLASS-PROPERTY ::= 'SubClassOf:' CONCEPT

| 'EquivalentTo:' CONCEPT

| 'DisjointWith:' CONCEPT

TYPE ::= 'Types:' CLASS-ID[,CLASS-ID]*

FATCS ::= 'Facts:' (OBJECT_PROPERTY-ID INDIV-ID | 'not' OBJECT_PROPERTY-ID INDIV-ID)(,

(OBJECT_PROPERTY-ID INDIV-ID | 'not' OBJECT_PROPERTY-ID INDIV-ID))*

IND-REL ::= ('SameAs:' INDIV-ID,[INDIV-ID]*,

'DifferentFrom:' INDIV-ID,[INDIV-ID]*)*

BASIC-ITEM ::= ANNOTATION

| 'Class:' CLASS-ID ANNOTATION? CLASS-PROPERTY*

| 'ValuePartition:' CLASS-ID '[' CLASS-ID ID+ ']'

| 'Individual:' INDIV-ID TYPE? FACTS? IND-REL

| 'ObjectProperty:' OBJECT-PROP-ID DOMAIN? RANGE?

[PROPS-REL] CHARACTERISTICS*

CHARACTERISTICS ::= 'Functional' | 'InverseFuntional'

DOMAIN ::= 'Domain:' CLASS-ID

RANGE ::= 'Range:' CLASS-ID

PROPS-REL ::= 'SubPropertyOf:' OBJECT-PROP-ID[,OBJECT-PROP-ID]* |

'Inverses:' OBJECT-PROP-ID,[OBJECT-PROP-ID]*

BASIC-SPEC ::= {}

| BASIC-ITEM+

ANNOTATION ::= {}