The Compilation Process
 
Suppose the following simple class:
 
 
owl:Thing demo:Example {
  xsd:integer t[0..1];
 
  test(xsd:integer n) {
    for(xsd:integer i=0; i < n; i++) {
      this.t = this.t + 1;
    }
  }
}
 
This class compiles to the following OWL Ontology:
 
_:A14bbea1f30844210b90dfbf75f11d619 <http://www.w3.org/2002/07/owl#onProperty> <http://neno.lanl.gov#_a0> .
_:Aa7a07571afbb4fafbb399b0bca5897ee <http://www.w3.org/2002/07/owl#hasValue> "false"^^<http://www.w3.org/2001/XMLSchema#boolean> .
_:Ac6ecf4c4eda8435cb1a0800959a00ad4 <http://www.w3.org/2002/07/owl#hasValue> "false"^^<http://www.w3.org/2001/XMLSchema#boolean> .
 
Tuesday, October 2, 2007