-

R2

R1 :(R1 ^

O1

Universal Concept

Consequent_C

Algebraic_Property

Antecedent_BR Concepts has_r (Binary_R,Algebraic_Property) binary_relationship (Universal,Universal) (Universal,Universal) (Concept,Concept) (Universal,Universal) isa_c isa_r

Relation: * isa_r (3 axioms for i=1 to 3) Human: *

enemy 2 role1 2 1 role1 1 1 1 1

2 role2 2 2 type-identity

1 knowledge axiomatic knowledge operational axiom 1 operational axiom 3 operational axiom 2 operational axiom 5 operational axiom 4 OPERATIONAL

ONTOLOGIES Operational Level O1

O1 Domain Axioms

R EPRESENTATION OPERATIONALIZATION R EPRESENTATION

Facts graphs Facts graphs veL olto le icg leveL itnores veL olto le icg leveL itnores O1

O1 O2

O1 (Pi ; P ; C ) 0 j

Pi O1

P

j O2 C Pi

P 0 j meta(a1 ) meta(a2 ) a1 a2 identity

MetaOCGL

OCGL an ontology in OCGL domain

References

incompatibility 2 Algebraic Property Inheritance Disjunction Inheritance Exclusivity Inheritance Incompatibility Inheritance Concept: * Concept: * Binary Signature Ternary Signature Signature Conformity scenario of use s1 scenario of use s1 concepts + relations Reasoning Knowledge rules + constraints Knowledge-Based System Terminological Knowledge concepts + relations Reasoning Knowledge rules + constraints MOF UML

application M3: meta-meta-model M2: meta-model M1: model M0: "real world"