Strato Ontologico 1/3
 
 
 OIL - Ontology Inference Layer
 - http://oil.semanticweb.org
 - Progetto Tedesco (http://www.ontoknowledge.org)
 - Deriva da:
 
 1. Description Logic (DL)
 DL sono famiglie di formalismi elaboratori nella ricerca sulla rappresentazione della conoscenza. Servono a descrivere la conoscenza in termini di concetti (classi) e ruoli (relazioni)
 
 Permettono di derivare classificazione tassonomiche
 
 2. Linguaggi Frame
 classi/sottoclassi/proprieta'/sottoproprieta'
 Rappresentazione della realta' in modelli
 
 3. Community XML based