begin-ontology
ontology-container
	title "OIL in OIL standard and lite"
	creator "Ying Ding Borys Omelayenko Dieter Fensel Michel Klein"
	subject "OIL in OIL OIL OIL definition in OIL"
	description "using OIL to define itself"
	description.release "1.0"
	publisher "VU"
	type ontology
	format "application-msword"
	identifier "foo"
	source "bar"
	language "OIL"
	language "en"

ontology-definitions
class-def oil-ontology	
	documentation "the most general class in OIL"
	slot-constraint has-ontology-container
		value-type oil-ontology-container
	slot-constraint has-ontology-definition
		value-type oil-ontology-definition

class-def oil-title
	slot-constraint value
		value-type string
class-def oil-creator
	slot-constraint value
		value-type string
class-def oil-subject
	slot-constraint value
		value-type string
class-def oil-description
	slot-constraint value
		value-type string
	slot-constraint oil-release
		value-type string
class-def oil-publisher
	slot-constraint value
		value-type string
class-def oil-contributor
	slot-constraint value
		value-type string
class-def oil-date
	slot-constraint value
		value-type string
class-def oil-type
	slot-constraint value
		value-type string
class-def oil-identifier
	slot-constraint value
		value-type string
class-def oil-source
	slot-constraint value
		value-type string
class-def oil-language
	slot-constraint value
		value-type string
class-def oil-relation
	slot-constraint value
		value-type string
	slot-constraint has-part
		value-type string
	slot-constraint replaces
		value-type string
	slot-constraint is-replaced-by
		value-type string
	slot-constraint requires
		value-type string
	slot-constraint is-required-by
		value-type string
class-def oil-rights
	slot-constraint value
		value-type string

class-def oil-ontology-container
documentation "which describes the features of the Dublin Core Metadata Element Set Version 1.1 standard"
	slot-constraint has-title
		value-type oil-title
		min-cardinality 1 oil-title
	slot-constraint has-creator
		value-type oil-creator
		min-cardinality 1 oil-creator
	slot-constraint has-subject
		value-type oil-subject
		min-cardinality 0 oil-subject
	slot-constraint has-description
		value-type oil-description
	slot-constraint has-publisher
		value-type oil-publisher
		min-cardinality 0 oil-publisher
	slot-constraint has-contributor
		value-type oil-contributor
		min-cardinality 0 oil-contributor
	slot-constraint has-date
		value-type oil-date
		min-cardinality 0 oil-date
	slot-constraint has-type
		value-type oil-type
		min-cardinality 1 oil-type
	slot-constraint has-identifier
		value-type oil-identifier
		min-cardinality 1 oil-identifier
	slot-constraint has-source
		value-type oil-source
		min-cardinality 0 oil-source
	slot-constraint has-language
		value-type oil-language
		min-cardinality 1 oil-language
	slot-constraint has-relation
		value-type oil-relation
		min-cardinality 0 oil-relation
	slot-constraint has-rights
		value-type oil-rights
		min-cardinality 0 oil-rights

class-def oil-ontology-definition
	documentation "a set of definitions about import and definitions"
	slot-constraint oil-import
		value-type string
		min-cardinality 0 string
	slot-constraint oil-definition
		value-type ((oil-class-def or oil-slot-def) or oil-axiom)

class-def class-expression

class-def class
	subclass-of class-expression

slot-def class-defined-by
	domain class
	range oil-class-def

class-def class-literal-expression
	subclass-of class-expression
	slot-constraint has-string-operand
		value-type string
	slot-constraint has-integer-operand
		value-type integer
class-def oil-min
	subclass-of class-literal-expression
class-def oil-max
	subclass-of class-literal-expression
class-def oil-less-than
	subclass-of class-literal-expression
class-def oil-greater-than
	subclass-of class-literal-expression
class-def oil-equal
	subclass-of class-literal-expression

slot-def oil-subclass-of
	domain oil-class-def
	range class-expression

class-def oil-primitive-class
	subclass-of oil-class-def

class-def defined oil-defined-class
	subclass-of oil-class-def
	slot-constraint oil-type
		has-filler "defined"

disjoint-covered oil-class-def by oil-defined-class oil-primitive-class

class-def oil-class-def
	documentation "A class definition associates a class name with a class description"
	slot-constraint oil-type
		value-type ((equal "primitive") or (equal "defined"))
	slot-constraint oil-name
		value-type string
	slot-constraint oil-documentation
		value-type string
		min-cardinality 0 string
	slot-constraint has-slot-constraint
		value-type class-expression
		min-cardinality 0 class-expression

class-def oil-and
documentation "A list of two or more class expressions that is to be treated as a conjunction"
	subclass-of class-expression
	slot-constraint has-operand
		value-type class-expression
		cardinality 2 class-expression
	
class-def oil-or
documentation "A list of two or more class expressions that is to be treated as a disjunction"
	subclass-of class-expression
	slot-constraint has-operand
		value-type class-expression
		cardinality 2 class-expression

class-def oil-not
documentation "An expression taking as a parameter a single class expression that is to be negated"
	subclass-of class-expression
	slot-constraint has-operand
		value-type class-expression
		cardinality 1 class-expression

class-def oil-slot-constraint
	documentation "A list of one or more constraints applied to a slot"
	subclass-of class-expression
	slot-constraint oil-name
		value-type string
	slot-constraint oil-has-filler
		value-type class-expression

class-def number-restriction
	subclass-of oil-slot-constraint
	slot-constraint oil-has-class
		value-type class-expression
	slot-constraint oil-number
		value-type integer

class-def oil-max-cardinality
	subclass-of number-restriction
class-def oil-min-cardinality
	subclass-of number-restriction
class-def oil-cardinality
	subclass-of number-restriction

class-def oil-has-value
	subclass-of oil-slot-constraint
class-def oil-value-type
	subclass-of oil-slot-constraint
	
class-def slot-expression
	
class-def slot
	subclass-of slot-expression

class-def defined transitive-slot
	subclass-of slot
	slot-constraint oil-properties
		has-filler "transitive"
class-def defined symmetric-slot
	subclass-of slot
	slot-constraint oil-properties
		has-filler "symmetric"
class-def defined functional-slot
	subclass-of slot
	slot-constraint oil-properties
		has-filler "functional"

slot-def slot-defined-by
	domain slot
	range oil-slot-def

slot-def oil-domain
	domain oil-slot-def
	range class-expression
slot-def oil-range
	domain oil-slot-def
	range class-expression

class-def oil-slot-def
	documentation "a slot definition associates a slot name with a slot description"
	slot-constraint oil-name
		value-type string
	slot-constraint oil-documentation
		value-type string
		min-cardinality 0 string
	slot-constraint oil-subslot-of
		value-type slot-expression
		min-cardinality 0 slot-expression
	slot-constraint oil-inverse
		value-type slot-expression
		min-cardinality 0 slot-expression
	slot-constraint oil-properties
		value-type (((equal "transitive") or (equal "symmetric")) or (equal "functional"))

class-def oil-axiom
documentation "An axiom asserts some additional facts about the classes in the ontology"
	
class-def oil-disjoint
	subclass-of oil-axiom
	slot-constraint oil-has-operand
		value-type class-expression
class-def oil-cover
	subclass-of oil-axiom
	slot-constraint oil-is-covered
		value-type class-expression
class-def oil-disjoint-cover
	subclass-of oil-axiom
	slot-constraint oil-is-covered
		value-type class-expression
class-def oil-equivalence
	subclass-of oil-axiom
	slot-constraint oil-has-operand
		value-type class-expression


class-def oil-instance-of
documentation "An instance-of statement asserts that an individual is an instance of a class or classes"
	slot-constraint individual
		value-type string
	slot-constraint class
		value-type class-expression

class-def oil-related
documentation "An related statement asserts that an individual is related to another individual or data value via a slot relation"
	slot-constraint slot
		value-type slot-expression
	slot-constraint individual1
		value-type string
	slot-constraint individual2
		value-type (oil-string or oil-integer)
end-ontology