expressir 0.2.7-x86-linux

data/original/mapping_owl.rb

@@ -0,0 +1,1018 @@
+require 'erb'
+# EXPRESS to OWL Structural Mapping
+# Version 0.5
+# This function navigates the EXPRESS STEPMod Model Ruby Classes
+# and performs a structural EXPRESS-to-OWL mapping using Ruby ERB templates.
+# The output is in OWL RDF/XML abbreviated syntax.
+# Mapping summary reports constructs where mapping is not sufficient (i.e. may need editing) or uses newer OWL capabilities
+#
+# Configurable items are:
+# If file named definitions.csv is found, definitions of items are read from that CSV.
+#    Double quotes around ITEM and DEFINITION column values is required
+# include_dublin_core - If true, import of the Dublin Core OWL is included. Set to true if dc used in annotation_list
+# annotation_list - added to each construct created if found. Annotations are added if not 'nil'.
+# usr_base of namespace for OWL constructs
+# top_class - if not nil, makes every OWL class created a subclass if this class which is added to output
+# thing_attributes - if specified, OWL DatatypeProperty domain is set to OWL Thing and range set to string
+# datatype_hash - sets mappings for EXPRESS builtin to XSD datatypes
+# post_processed_schema - If true, write post-processed schema data (e.g. propety hash) for inclusion in other program or script 
+#
+# Mappings are:
+# Entity Types and Subtypes are mapped to OWL Class hierarchy.
+# Entity Type SUPERTYPE OF ONEOF( list-of-EntityTypes ) are mapped to OWL disjoint between Classes
+# Select Types that resolve to all Entity Types are mapped to OWL Class hierarchy.
+# Select Types that resolve to all Type are mapped to RDFS Datatype.
+# Select Types that resolve to mixed Entity Types and Type are mapped to OWL Class hierarchy, so may need cleanup
+# Enumeration Types are mapped to OWL Enumerated Classes
+# Type = builtin are mapped to RDFS Datatypes that subtype XSD datatypes
+# Type of Type of ... that ultimately resolve to builtin are mapped to datatype subtype hierarchy
+# Explicit attrs of Type = builtin are mapped to OWL DatatypeProperties
+# Type = AGGR are mapped to subClassOf rdf:List and type of element not specified
+
+# Explicit attrs of 1-D LIST/ARRAY OF builtin/Type = builtin mapped to OWL ObjectProperty and subClassOf rdf:List and cardinality 1
+# Explicit attrs of n-D AGGR mapped to OWL ObjectProperty and subClassOf rdf:List, type of element not specified, and cardinality 1
+
+# Inverse attrs are mapped to OWL DatatypeProperties with inverseOf set, except inverse of inherited not mapped
+# BOOLEAN attributes are mapped to OWL DatatypeProperties.
+
+# Attribute redeclarations that ref Entity/Select are mapped to ObjectProperty that is subproperty of that it redeclares
+# Attribute redeclarations that ref builting simple types are mapped to DatatypeProperty that is subproperty of that it redeclares
+# Type = type that is a select are mapped to Class subclass of referenced select Class
+# Single Attribute OPTIONAL or not maps to cardinality restriction on Class owning attribute
+# 1D SET/BAG Attribute bound maps to cardinality restriction on Class owning attribute
+# n-dimensional aggregates map to rdf List with no internal structure and type of element not specified
+
+
+# 
+def map_from_express( mapinput )
+puts ' '
+puts 'EXPRESS to OWL Structural Mapping V0.5'
+puts ' '
+
+######### Mapping Configuration Starts Here ##############
+
+# Set the base of the URI (i.e. the namespace) for OWL constructs created during the mapping
+uri_base = 'http://www.reeper.org'
+
+# Add RDFS andor Dublin Core basic annotations
+
+# Set to true if any annotation_list elements use Dublin Core (dc: or dcterms:)
+include_dublin_core = false
+
+annotation_list = Array.new
+# rdfs:comment must be position 0 as definition assignment hardcoded there
+#annotation_list[0] = ['rdfs:comment', nil]
+#annotation_list[1] = ['owl:versionInfo', '1']
+#annotation_list[2] = ['dc:creator', 'David Price, TopQuadrant Limited']
+#annotation_list[3] = ['dcterms:created','2010-10-22']
+#annotation_list[4] = ['dc:source', '{ iso standard 10303 part(214) version(2) object(1) automotive-design-schema(1) }']
+
+# Read definitions from csv file if found
+definition_hash = Hash.new
+if FileTest.exist?('definitions.csv')
+	require 'csv'
+	puts '-- Definitions CSV File Found'
+	CSV.open('definitions.csv', 'r') do |row|
+		definition_hash[row[0].downcase] = row[1]
+	end
+end
+
+# set to class name (e.g. 'TOP-THING') to make all created OWL Classes subclasses of a topmost class
+top_class = 'AP233-ARM-THING'
+
+# add common string attributes to use OWL Thing as domain rather than schema classes
+thing_attributes = []
+#thing_attributes.push 'id'
+#thing_attributes.push 'name'
+#thing_attributes.push 'description'
+
+# datatypes for simple and aggregates of simple type
+datatype_hash = Hash.new
+datatype_hash["INTEGER"] = 'http://www.w3.org/2001/XMLSchema#integer'
+datatype_hash["REAL"] = 'http://www.w3.org/2001/XMLSchema#float'
+datatype_hash["NUMBER"] = 'http://www.w3.org/2001/XMLSchema#float'
+datatype_hash["BINARY"] = 'http://www.w3.org/2001/XMLSchema#hexBinary'
+datatype_hash["BOOLEAN"] = 'http://www.w3.org/2001/XMLSchema#boolean'
+datatype_hash["LOGICAL"] = 'http://www.w3.org/2001/XMLSchema#boolean'
+datatype_hash["STRING"] = 'http://www.w3.org/2001/XMLSchema#string'
+
+# Write the property_type_hash for inclusion in other scripts or not
+post_processed_schema = false
+post_processed_schema_file_name = 'postprocessed_schema.rb'
+post_processed_schema_file = File.new(post_processed_schema_file_name,'w') if post_processed_schema
+
+######### Mapping Configuration Ends Here ##############
+
+
+# Template covering the start of the output file 
+overall_start_template = %{<rdf:RDF 
+xmlns:owl="http://www.w3.org/2002/07/owl#" 
+xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+xmlns:xsd="http://www.w3.org/2001/XMLSchema#"  
+xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+<% if include_dublin_core %>	  
+xmlns:dc="http://purl.org/dc/elements/1.1/"
+xmlns:dcterms="http://purl.org/dc/terms/"
+<% end %>	  
+}
+
+# Template covering the output file contents for each schema start
+schema_start_template = %{xmlns="<%= uri_base %>/<%= schema.name %>#"
+xml:base="<%= uri_base %>/<%= schema.name %>#" > 
+
+<owl:Ontology rdf:about='' rdfs:label='<%= schema.name %>' >
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>	  
+<% if include_dublin_core %>	
+<owl:imports rdf:resource="http://purl.org/dc/terms/"/>
+<owl:imports rdf:resource="http://purl.org/dc/elements/1.1/"/>
+<% end %>	  
+</owl:Ontology>
+<% if top_class != nil %>	
+<owl:Class rdf:ID='<%= top_class %>' />
+<% end %>
+}
+
+# Template covering the output file contents for each entity type start or start of type = type that is a select
+entity_start_template = %{
+<owl:Class rdf:ID='<%= class_name %>' >
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>	 
+}
+# Template covering the output file contents for each entity type end or end of type = type that is a select
+entity_end_template = %{
+<% if top_class != nil %>	
+<rdfs:subClassOf rdf:resource='#<%= top_class %>' />
+<% end %>
+</owl:Class>  
+}
+
+# Template covering the output file contents for end of type = type that is a select
+class_end_template = %{</owl:Class>}
+
+# Template covering the output file contents for each select type start
+select_start_template = %{
+<owl:Class rdf:ID='<%= select.name %>' >
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>	 
+}
+# Template covering the output file contents for each select type end
+select_end_template = %{<% if top_class != nil %>	
+<rdfs:subClassOf rdf:resource='#<%= top_class %>' />
+<% end %>
+</owl:Class>  
+}
+
+# Template covering the supertype(s) for each entity type and type = type that is a select
+supertype_template = %{<rdfs:subClassOf rdf:resource='#<%= superclass_name %>' />
+}
+
+# Template covering OWL collections of class contents
+class_collection_template = %{<owl:Class><owl:unionOf rdf:parseType="Collection">
+<%  item_name_list.each do |name| %>
+ <rdf:Description rdf:about='#<%= name %>'/>
+ <% end %>	  
+</owl:unionOf> 
+</owl:Class>}
+
+# Template covering OWL collections of RDFS datatypes
+datatype_collection_template = %{<rdfs:Datatype rdf:ID='<%= type_name %>'>
+<owl:equivalentClass><rdfs:Datatype><owl:unionOf rdf:parseType="Collection">
+<%  type_name_list.each do |name| %>
+    <rdf:Description rdf:about='#<%= name %>' />
+ <% end %>
+</owl:unionOf> 
+</rdfs:Datatype></owl:equivalentClass>
+</rdfs:Datatype>}
+
+# Template covering abstract entity types
+abstract_entity_template = %{<rdfs:subClassOf rdf:resource='#<%= supertype.name %>' />
+}
+
+# Template covering the output file contents for each defined type of builtin datatype
+type_builtin_template = %{
+<rdfs:Datatype rdf:ID='<%= datatype_name %>'>
+<rdfs:subClassOf rdf:resource='<%= superdatatype_name %>'/>
+</rdfs:Datatype>
+}
+
+# Template covering the mappings to rdf list
+rdflist_template = %{<rdfs:Class rdf:ID='<%= list_name %>'>
+<rdfs:subClassOf rdf:resource='<%= superlist_name %>'/>
+</rdfs:Class>}
+
+# Template covering the output file contents for each attribute that is an aggregate
+attribute_aggregate_template = %{}
+
+# Template covering the output file contents for each attribute that is an aggregate of select of entity
+attribute_aggregate_entity_select_template = %{}
+
+# Template covering the output file contents for each attribute that is a select of entity
+attribute_entity_select_template = %{}
+
+# Template covering the output file contents for each attribute
+attribute_template = %{}
+
+# Template covering the output file contents for each attribute that is builtin datatype
+attribute_builtin_template = %{<owl:DatatypeProperty rdf:ID='<%= owl_property_name %>'>
+<% if owl_property_domain != nil %>	
+<rdfs:domain rdf:resource='#<%= owl_property_domain %>' />
+ <% end %>
+<rdfs:range rdf:resource='<%= owl_property_range %>' />
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>	 
+<% if owl_super_property_name != nil %>	
+<rdfs:subPropertyOf rdf:resource='#<%= owl_super_property_name %>' />
+ <% end %>
+</owl:DatatypeProperty>
+}
+
+# Template covering the output file contents for each attribute that is type that is builtin datatype
+attribute_typebuiltin_template = %{<owl:DatatypeProperty rdf:ID='<%= owl_property_name %>'>
+<% if owl_property_domain != nil %>	
+<rdfs:domain rdf:resource='#<%= owl_property_domain %>' />
+ <% end %>
+<rdfs:range rdf:resource='#<%= owl_property_range %>' />
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>	 
+</owl:DatatypeProperty>
+}
+
+# Template covering the output file contents for each attribute that is entity or select type
+attribute_entity_template = %{<owl:ObjectProperty rdf:ID='<%= owl_property_name %>'>
+<rdfs:domain rdf:resource='#<%= owl_property_domain %>' />
+<rdfs:range rdf:resource='#<%= owl_property_range %>' />
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>	 
+</owl:ObjectProperty>
+}
+
+# Template covering the output file contents for each attribute that is entity or select type
+inverse_entity_template = %{<owl:ObjectProperty rdf:ID='<%= owl_property_name %>'>
+<rdfs:domain rdf:resource='#<%= owl_property_domain %>' />
+<rdfs:range rdf:resource='#<%= owl_property_range %>' />
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>
+<owl:inverseOf rdf:resource="#<%= owl_inverted_property_name %>"/>	 
+</owl:ObjectProperty>
+}
+
+# Template covering the output file contents for each attribute that is a redeclaration and reference to an entity or select type
+attribute_redeclare_entity_template = %{<owl:ObjectProperty rdf:ID='<%= owl_property_name %>'>
+<rdfs:domain rdf:resource='#<%= owl_property_domain %>' />
+<rdfs:range rdf:resource='#<%= owl_property_range %>' />
+<rdfs:subPropertyOf rdf:resource='#<%= owl_super_property_name %>' />
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>	 
+</owl:ObjectProperty>
+}
+
+
+
+# Template covering the output file contents for each attribute that is enum datatype
+class_enum_template = %{<owl:Class rdf:ID='<%= owl_class_name %>'>
+<rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
+<owl:oneOf rdf:parseType="Collection">
+<%  enumitem_name_list.each do |name| %>
+<rdf:Description rdf:ID="<%= owl_class_name + '.' + name %>"/>
+ <% end %>	
+</owl:oneOf>
+</owl:Class>}
+
+
+# Template covering the output file contents for each attribute that is enum datatype
+attribute_enum_template = %{<owl:DatatypeProperty rdf:ID='<%= owl_property_name %>'>
+<rdfs:domain rdf:resource='#<%= owl_property_domain %>' />
+   <rdfs:range><owl:DataRange><owl:oneOf><rdf:List>
+<%  enumitem_name_list.each do |name| %>
+   <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= name %></rdf:first>
+ <% if enumitem_name_list[enumitem_name_list.size-1] != name %>	
+     <rdf:rest><rdf:List>
+ <% end %>	
+ <% if enumitem_name_list[enumitem_name_list.size-1] == name %>	
+    <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> </rdf:List>
+ <% end %>	
+ <% end %>	  
+  <% (1..enumitem_name_list.size-1).each do %>
+    </rdf:rest></rdf:List>
+   <% end %>	 
+   </owl:oneOf></owl:DataRange></rdfs:range>
+<%  annotation_list.each do |i| %><% if i[1] != nil and i[1] != '' %><<%= i[0] %> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"><%= i[1] %></<%= i[0] %>><% end %>
+<% end %>	 	 
+</owl:DatatypeProperty>}
+
+
+
+# Template covering min cardinality 
+min_cardinality_template = %{<rdf:Description rdf:about='#<%= class_name %>'>
+<rdfs:subClassOf>
+<owl:Restriction>
+<owl:onProperty rdf:resource='#<%= owl_property_name %>'/>
+  <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"><%= min_cardinality %></owl:minCardinality>
+</owl:Restriction>
+</rdfs:subClassOf>
+</rdf:Description>}
+
+
+# Template covering max cardinality 
+max_cardinality_template = %{<rdf:Description rdf:about='#<%= class_name %>'>
+<rdfs:subClassOf>
+<owl:Restriction>
+  <owl:onProperty rdf:resource='#<%= owl_property_name %>'/>
+<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"><%= max_cardinality %></owl:maxCardinality>
+</owl:Restriction>
+</rdfs:subClassOf>
+</rdf:Description>}
+
+# Template covering cardinality 
+cardinality_template = %{<rdf:Description rdf:about='#<%= class_name %>'>
+<rdfs:subClassOf>
+<owl:Restriction>
+  <owl:onProperty rdf:resource='#<%= owl_property_name %>'/>
+<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"><%= min_cardinality %></owl:cardinality>
+</owl:Restriction>
+</rdfs:subClassOf>
+</rdf:Description>}
+
+# Template covering the output file contents for each schema end
+disjoint_template = %{
+<rdf:Description rdf:about='#<%= first_class_name %>'>
+<owl:disjointWith rdf:resource="#<%= disjoint_class_name %>"/>
+</rdf:Description>}
+
+
+# Template covering the output file contents for each schema end
+schema_end_template = %{}
+
+# Template covering the end of the output file 
+overall_end_template = %{  </rdf:RDF>}
+
+
+def post_process_entity(entity, post_processed_schema_file, datatype_hash)
+	attribute_list = entity.attributes_all_array.find_all{ |a| a.kind_of? EXPSM::Explicit}
+
+	for attribute in attribute_list
+
+		express_attribute_domain = nil
+		if !attribute.isBuiltin
+				express_attribute_domain = NamedType.find_by_name( attribute.domain )
+		end
+		p28_property_name = entity.name.capitalize + '.' + attribute.name.capitalize
+		property_quoted = false
+		property_list = false
+		property_type = '"' + attribute.domain + '"'
+		if attribute.isBuiltin
+			property_type = '"' + datatype_hash[attribute.domain] + '"'
+		end
+		if attribute.isBuiltin and attribute.domain == 'STRING'
+			property_quoted = true
+		end
+		if (!attribute.redeclare_entity and express_attribute_domain.instance_of? EXPSM::Type and express_attribute_domain.isBuiltin and express_attribute_domain == 'STRING')
+			property_quoted = true
+			property_type = '"' + datatype_hash[express_attribute_domain.domain] + '"'
+		end
+		if ( attribute.isBuiltin and attribute.instance_of? EXPSM::ExplicitAggregate and attribute.rank == 1 and attribute.dimensions[0].aggrtype = 'LIST')
+			property_list = true
+			property_type = '"' + datatype_hash[attribute.domain] + '"'
+		end
+
+		if (express_attribute_domain.instance_of? EXPSM::Type and express_attribute_domain.isBuiltin and attribute.instance_of? EXPSM::ExplicitAggregate and attribute.rank == 1 and attribute.dimensions[0].aggrtype = 'LIST')
+			property_list = true
+			property_type = '"' + datatype_hash[express_attribute_domain.domain] + '"'
+		end
+
+		property_type = property_type.gsub('http://www.w3.org/2001/XMLSchema#','xsd:')
+		post_processed_schema_file.puts 'property_range_hash["' + p28_property_name + '"] = [' + property_quoted.to_s + ',' + property_list.to_s  + ',' + property_type.to_s  + ']' 
+	end
+end
+
+
+# A recursive function to return complete set of items, following nested selects, for a select that are not selects themselves
+def get_all_selections( item_list )
+	select_items = item_list.find_all{ |a| a.kind_of? EXPSM::TypeSelect}
+	if select_items.size == 0
+		return item_list
+	end
+	temp_item_list = item_list
+	for select in select_items
+		temp_item_list.delete( select )
+		temp_item_list = temp_item_list + select.selectitems_array
+	end
+	final_list = get_all_selections( temp_item_list )
+end
+
+# A recursive function to return the ultimate underlying type of a type
+def is_utlimate_type_builtin( the_type )
+	return true if the_type.isBuiltin
+	base_type = NamedType.find_by_name( the_type.domain )
+	case
+		when (base_type.instance_of? EXPSM::TypeSelect or base_type.instance_of? EXPSM::Entity)
+			return false
+		when (base_type.kind_of? EXPSM::Type and base_type.isBuiltin)
+			return true
+		else
+			return is_utlimate_type_builtin( base_type )
+	end
+end
+
+# Set up list of schemas to process, input may be a repository containing schemas or a single schema
+if mapinput.kind_of? EXPSM::Repository
+	schema_list = mapinput.schemas
+elsif mapinput.kind_of? EXPSM::SchemaDefinition
+	schema_list = [mapinput]
+else
+	puts "ERROR : map_from_express input no Repository instance or Schema instance"
+	exit
+end
+
+
+for schema in schema_list
+
+	type_mapped_list = []
+	entity_mapped_list = []
+	explicit_mapped_list = []
+	inverse_mapped_list = []	
+	thing_attr_mapped_list = []
+	superexpression_mapped_list = []
+	list_mapped_attr_list = []
+	list_mapped_type_list = []
+	type_union_mapped_list = []
+	mixed_select_list = []
+	all_explicit_list = []
+	all_derived_list = []
+	all_inverse_list = []
+	all_superexpression_list = []
+
+# Set up separate file for each schema 
+	filename = schema.name.to_s + ".owl"
+	file = File.new(filename, "w")
+
+# Evaluate and write file start template 
+  res = ERB.new(overall_start_template)
+  t = res.result(binding)
+	file.puts t
+
+# Evaluate and write schema start template 
+	res = ERB.new(schema_start_template)
+	t = res.result(binding)
+	file.puts t
+
+	select_list = schema.contents.find_all{ |e| e.kind_of? EXPSM::TypeSelect }
+	entity_list = schema.contents.find_all{ |e| e.kind_of? EXPSM::Entity }
+	defined_type_list = schema.contents.find_all{ |e| e.kind_of? EXPSM::Type }
+	enum_type_list = schema.contents.find_all{ |e| e.kind_of? EXPSM::TypeEnum }
+	defined_type_not_builtin_list = defined_type_list.find_all{ |e| !e.isBuiltin }
+	defined_type_builtin_list = defined_type_list.find_all{ |e| e.isBuiltin } 
+
+# Handle enumeration type maps to RDFS Datatype string
+
+	for type_enum in enum_type_list
+		type_mapped_list.push type_enum
+		owl_class_name = type_enum.name
+		enumitem_name_list = type_enum.items.scan(/\w+/)
+		res = ERB.new(class_enum_template)
+		t = res.result(binding)
+		file.puts t
+	end
+
+
+# Handle defined type maps to RDFS Datatype
+
+	for type_builtin in defined_type_builtin_list
+
+# Handle defined type maps to RDFS Datatype
+		if !type_builtin.instance_of? EXPSM::TypeAggregate
+			type_mapped_list.push type_builtin
+			datatype_name = type_builtin.name
+			superdatatype_name = datatype_hash[type_builtin.domain]
+			res = ERB.new(type_builtin_template)
+			t = res.result(binding)
+			file.puts t
+# Handle defined type maps to RDF List
+		else
+			list_mapped_type_list.push type_builtin
+			type_mapped_list.push type_builtin
+			list_name = type_builtin.name
+			superlist_name = "http://www.w3.org/1999/02/22-rdf-syntax-ns#List"
+			res = ERB.new(rdflist_template)
+			t = res.result(binding)
+			file.puts t
+		end
+	end
+	
+
+	for type_not_builtin in defined_type_not_builtin_list
+
+		type_domain = NamedType.find_by_name( type_not_builtin.domain )
+		type_is_builtin = is_utlimate_type_builtin( type_not_builtin )
+
+		case
+
+# Handle simple defined type refining simple defined type of builtin map to RDFS Datatype
+			when (!type_not_builtin.instance_of? EXPSM::TypeAggregate and type_is_builtin and !type_domain.instance_of? EXPSM::TypeAggregate)
+			type_mapped_list.push type_not_builtin
+			datatype_name = type_not_builtin.name
+			superdatatype_name = '#' + type_domain.name
+			res = ERB.new(type_builtin_template)
+			t = res.result(binding)
+			file.puts t
+
+# Handle simple defined type of aggr defined type of builtin map to RDF List
+			when (!type_not_builtin.instance_of? EXPSM::TypeAggregate and type_domain.instance_of? EXPSM::TypeAggregate and type_is_builtin)
+			type_mapped_list.push type_not_builtin
+			list_mapped_type_list.push type_not_builtin
+			list_name = type_not_builtin.name
+			superlist_name = '#' + type_domain.name
+			res = ERB.new(rdflist_template)
+			t = res.result(binding)
+			file.puts t
+
+# Handle aggr defined type of simple defined type of builtin map to RDF List
+			when (type_not_builtin.instance_of? EXPSM::TypeAggregate and type_domain.instance_of? EXPSM::Type and type_is_builtin)
+			type_mapped_list.push type_not_builtin
+			list_mapped_type_list.push type_not_builtin
+			list_name = type_not_builtin.name
+			superlist_name = "http://www.w3.org/1999/02/22-rdf-syntax-ns#List"
+			res = ERB.new(rdflist_template)
+			t = res.result(binding)
+			file.puts t
+
+# Handle aggr of entity/select type map to RDF List
+			when (type_not_builtin.instance_of? EXPSM::TypeAggregate and (type_domain.instance_of? EXPSM::Entity or type_domain.instance_of? EXPSM::TypeSelect))
+			type_mapped_list.push type_not_builtin
+			list_mapped_type_list.push type_not_builtin
+			list_name = type_not_builtin.name
+			superlist_name = "http://www.w3.org/1999/02/22-rdf-syntax-ns#List"
+			res = ERB.new(rdflist_template)
+			t = res.result(binding)
+			file.puts t			
+
+# Handle defined type that are type = type that is a select 
+			when (type_domain.kind_of? EXPSM::TypeSelect)
+	 			type_mapped_list.push type_not_builtin
+				superclass_name = type_not_builtin.domain
+				class_name = type_not_builtin.name
+				res = ERB.new(entity_start_template)
+				t = res.result(binding)
+				file.puts t
+
+				superclass_name = type_not_builtin.domain
+				res = ERB.new(supertype_template)
+				t = res.result(binding)
+				file.puts t
+		 
+				res = ERB.new(class_end_template)
+				t = res.result(binding)
+				file.puts t
+
+			else
+			puts 'ERROR : Not mapped = ' + type_not_builtin.name
+		end
+	end
+
+
+# Handle EXPRESS SELECT Type mapping to OWL Class hierarchy and RDFS Datatypes
+
+	for select in select_list
+	
+		item_name_list = select.selectitems.scan(/\w+/)
+
+		this_select_all_items = get_all_selections( select.selectitems_array )
+		this_select_type_items = this_select_all_items.find_all{ |a| a.kind_of? EXPSM::Type}
+
+		case		
+
+#   Handle case of select items resolving to containing only items that are non-select Type
+		when this_select_type_items.size == this_select_all_items.size
+			type_mapped_list.push select
+			type_union_mapped_list.push select
+			type_name_list = item_name_list
+			type_name = select.name
+			res = ERB.new(datatype_collection_template)
+			t = res.result(binding)
+			file.puts t
+
+#   Handle case of select items resolving to containing no item that is a non-select Type
+		else
+			type_mapped_list.push select
+			
+			res = ERB.new(select_start_template)
+			t = res.result(binding)
+			file.puts t
+	    file.puts '<owl:equivalentClass>'		
+
+			res = ERB.new(class_collection_template)
+			t = res.result(binding)
+			file.puts t
+	    file.puts '</owl:equivalentClass>'
+
+			res = ERB.new(select_end_template)
+			t = res.result(binding)
+			file.puts t
+			if (this_select_type_items.size != 0 and this_select_type_items.size != this_select_all_items.size)
+				mixed_select_list.push select
+			end
+
+		end
+	end
+
+# Handle EXPRESS Entity mappings to OWL Class hierarchy 
+
+	for entity in entity_list
+
+		if definition_hash[entity.name.downcase] != nil
+			annotation_list[0] = ['rdfs:comment', definition_hash[entity.name.downcase]]
+		else
+			annotation_list[0] = ['rdfs:comment', nil]
+		end
+
+		entity_mapped_list.push entity
+
+		class_name = entity.name
+		res = ERB.new(entity_start_template)
+		t = res.result(binding)
+		file.puts t
+
+		for supertype in entity.supertypes_array
+			superclass_name = supertype.name
+			res = ERB.new(supertype_template)
+			t = res.result(binding)
+			file.puts t
+		end
+
+		res = ERB.new(entity_end_template)
+		t = res.result(binding)
+		file.puts t
+
+# Post-process the entity
+		post_process_entity(entity, post_processed_schema_file, datatype_hash) if post_processed_schema
+
+		
+		if entity.superexpression != nil
+		all_superexpression_list.push entity 
+
+# Handle simple case of one ONEOF in supertype expression mapped to disjoint between listed subclasses
+			case
+#			when (entity.superexpression.include?('ONEOF') and !entity.superexpression.include?('ANDOR') and !entity.superexpression.include?('TOTAL_OVER') and !entity.superexpression.include?('AND') and !entity.superexpression.include?('ABSTRACT'))
+
+			when (entity.superexpression.include?('ONEOF'))
+				superexpression_mapped_list.push entity	
+				tempexpression = entity.superexpression
+				if entity.superexpression.index('ONEOF') != 0
+					puts 'WARNING: ' + entity.name + ' supertype mapping may be incomplete, only ONEOFs processed'
+				end
+				while (tempexpression.include?('ONEOF'))
+					posoneof = tempexpression.index('ONEOF')
+					tempexpression = tempexpression[posoneof + 5,tempexpression.length - 5]
+					posclose = tempexpression.index(')')
+					oneof_name_list = tempexpression[0,posclose].scan(/\w+/)
+					while oneof_name_list.size != 0
+						first_class_name = oneof_name_list[0]
+						oneof_name_list.delete(first_class_name)
+						for disjoint_class_name in oneof_name_list
+							res = ERB.new(disjoint_template)
+							t = res.result(binding)
+							file.puts t
+						end
+					end
+				end
+			else
+			end
+		
+		end
+		
+
+	end
+
+# Handle mapping common string attributes to OWL DatatypeProperties of OWL Thing 
+
+	for thing_attribute in thing_attributes
+		owl_property_name = thing_attribute
+		owl_property_range = 'http://www.w3.org/2001/XMLSchema#string'
+		owl_property_domain = nil
+		owl_super_property_name = nil
+		res = ERB.new(attribute_builtin_template)
+		t = res.result(binding)
+		file.puts t
+	end
+
+# Handle EXPRESS attributes on an entity-by-entity basis
+	for entity in entity_list
+		
+		class_name = entity.name
+
+		attribute_list = entity.attributes.find_all{ |a| a.kind_of? EXPSM::Explicit and !thing_attributes.include?(a.name)}
+		thing_attr_list = entity.attributes.find_all{ |a| a.kind_of? EXPSM::Explicit and thing_attributes.include?(a.name)}
+		inverse_list = entity.attributes.find_all{ |a| a.kind_of? EXPSM::Inverse and !thing_attributes.include?(a.name)}
+		
+		thing_attr_mapped_list = thing_attr_mapped_list + thing_attr_list
+		
+		all_explicit_list = all_explicit_list + entity.attributes.find_all{ |a| a.kind_of? EXPSM::Explicit}
+		all_derived_list = all_derived_list + entity.attributes.find_all{ |a| a.kind_of? EXPSM::Derived}
+
+		all_inverse_list = all_inverse_list + inverse_list
+
+# Handle EXPRESS inverse attribute mapping to OWL inverse property		
+		for attribute in inverse_list
+			if attribute.reverseAttr != []
+				inverse_mapped_list.push attribute
+				owl_property_range = attribute.domain
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				owl_inverted_property_name = attribute.reverseEntity.name + '.' + attribute.reverseAttr.name
+				res = ERB.new(inverse_entity_template)
+				t = res.result(binding)
+				file.puts t
+			end
+		end
+
+# Handle EXPRESS explicit attribute mapping to OWL property
+		for attribute in attribute_list
+			
+			express_attribute_domain = nil
+			type_is_builtin = false
+			if !attribute.isBuiltin
+				express_attribute_domain = NamedType.find_by_name( attribute.domain )
+				if express_attribute_domain.instance_of? EXPSM::Type
+					type_is_builtin = is_utlimate_type_builtin( express_attribute_domain )
+				end
+			end
+	
+			case
+
+# Handle EXPRESS explicit attributes of LIST of built-in simple type, including redeclaration
+			when (attribute.isBuiltin and attribute.instance_of? EXPSM::ExplicitAggregate and attribute.rank == 1 and attribute.dimensions[0].aggrtype = 'LIST')
+				explicit_mapped_list.push attribute
+				list_mapped_attr_list.push attribute
+				list_name = entity.name + '.' + attribute.name + '-' + attribute.domain.to_s + '-List'
+				superlist_name = "http://www.w3.org/1999/02/22-rdf-syntax-ns#List"
+				res = ERB.new(rdflist_template)
+				t = res.result(binding)
+				file.puts t
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				owl_property_range = list_name
+				res = ERB.new(attribute_entity_template)
+				t = res.result(binding)
+				file.puts t
+
+# Handle EXPRESS explicit attributes of ARRAY of built-in simple type, including redeclaration
+			when (attribute.isBuiltin and attribute.instance_of? EXPSM::ExplicitAggregate and attribute.rank == 1 and attribute.dimensions[0].aggrtype = 'ARRAY')
+				explicit_mapped_list.push attribute
+				list_mapped_attr_list.push attribute
+				list_name = entity.name + '.' + attribute.name + '-' + attribute.domain.to_s + '-Array'
+				superlist_name = "http://www.w3.org/1999/02/22-rdf-syntax-ns#List"
+				res = ERB.new(rdflist_template)
+				t = res.result(binding)
+				file.puts t
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				owl_property_range = list_name
+				res = ERB.new(attribute_entity_template)
+				t = res.result(binding)
+				file.puts t
+
+# Handle EXPRESS explicit attributes of LIST of TYPE that is built-in simple type, including redeclaration		
+			when (express_attribute_domain.instance_of? EXPSM::Type and type_is_builtin and attribute.instance_of? EXPSM::ExplicitAggregate and attribute.rank == 1 and attribute.dimensions[0].aggrtype = 'LIST')
+				explicit_mapped_list.push attribute
+				list_mapped_attr_list.push attribute
+				list_name = entity.name + '.' + attribute.name + '-' + attribute.domain.to_s + '-List'
+				superlist_name = "http://www.w3.org/1999/02/22-rdf-syntax-ns#List"
+				res = ERB.new(rdflist_template)
+				t = res.result(binding)
+				file.puts t
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				owl_property_range = list_name
+				res = ERB.new(attribute_entity_template)
+				t = res.result(binding)
+				file.puts t
+
+# Handle EXPRESS explicit attributes of ARRAY of TYPE that is built-in simple type, including redeclaration		
+			when (express_attribute_domain.instance_of? EXPSM::Type and type_is_builtin and attribute.instance_of? EXPSM::ExplicitAggregate and attribute.rank == 1 and attribute.dimensions[0].aggrtype = 'ARRAY')
+				explicit_mapped_list.push attribute
+				list_mapped_attr_list.push attribute
+				list_name = entity.name + '.' + attribute.name + '-' + attribute.domain.to_s + '-Array'
+				superlist_name = "http://www.w3.org/1999/02/22-rdf-syntax-ns#List"
+				res = ERB.new(rdflist_template)
+				t = res.result(binding)
+				file.puts t
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				owl_property_range = list_name
+				res = ERB.new(attribute_entity_template)
+				t = res.result(binding)
+				file.puts t
+
+
+# Handle EXPRESS explicit attributes of built-in simple type, including redeclaration
+			when (attribute.isBuiltin)
+				explicit_mapped_list.push attribute
+				owl_property_range = datatype_hash[attribute.domain]
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				owl_super_property_name = nil
+				if attribute.redeclare_entity != nil
+					if attribute.redeclare_oldname == nil
+						owl_super_property_name = attribute.redeclare_entity + '.' + attribute.name
+					else
+						owl_super_property_name = attribute.redeclare_entity + '.' + attribute.redeclare_oldname
+					end
+				end
+				res = ERB.new(attribute_builtin_template)
+				t = res.result(binding)
+				file.puts t
+
+# Handle EXPRESS explicit attribute, not redeclaration, refers to Type that is Type = builtin datatype				
+			when (!attribute.redeclare_entity and express_attribute_domain.instance_of? EXPSM::Type and type_is_builtin)
+				explicit_mapped_list.push attribute
+				owl_property_range = attribute.domain
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				res = ERB.new(attribute_typebuiltin_template)
+				t = res.result(binding)
+				file.puts t
+
+# Handle EXPRESS explicit attributes of enum type, ignoring redeclarations
+			when (express_attribute_domain.kind_of? EXPSM::TypeEnum)
+				explicit_mapped_list.push attribute
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				owl_property_range = attribute.domain
+				res = ERB.new(attribute_entity_template)
+
+#				if !type_mapped_list.include?(express_attribute_domain)
+#					type_mapped_list.push express_attribute_domain
+#				end
+#				enumitem_name_list = express_attribute_domain.items.scan(/\w+/)
+#				res = ERB.new(attribute_enum_template)
+
+				t = res.result(binding)
+				file.puts t
+				if attribute.redeclare_entity
+					puts 'WARNING: ' + entity.name + ' ' + attribute.name + ' Attribute redeclaration for Enumerations not mapped'
+				end
+
+# Handle EXPRESS explicit attribute, not redeclaration, and only refer to EXPRESS Select or Entity				
+			when (!attribute.redeclare_entity and (express_attribute_domain.kind_of? EXPSM::Entity or express_attribute_domain.kind_of? EXPSM::TypeSelect))
+				explicit_mapped_list.push attribute
+				owl_property_range = attribute.domain
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				res = ERB.new(attribute_entity_template)
+				t = res.result(binding)
+				file.puts t
+
+# Handle EXPRESS explicit attribute, redeclaration,	and only refer to EXPRESS Select or Entity	
+			when (attribute.redeclare_entity and (express_attribute_domain.kind_of? EXPSM::Entity or express_attribute_domain.kind_of? EXPSM::TypeSelect))
+				explicit_mapped_list.push attribute
+				owl_property_range = attribute.domain
+				owl_property_name = entity.name + '.' + attribute.name
+				if attribute.redeclare_oldname == nil
+					owl_super_property_name = attribute.redeclare_entity + '.' + attribute.name
+				else
+					owl_super_property_name = attribute.redeclare_entity + '.' + attribute.redeclare_oldname
+				end
+				owl_property_domain = entity.name
+				res = ERB.new(attribute_redeclare_entity_template)
+				t = res.result(binding)
+				file.puts t
+
+# Handle EXPRESS explicit attribute of EXPRESS Type = A Type name that is a Select					
+			when (express_attribute_domain.kind_of? EXPSM::Type and NamedType.find_by_name( express_attribute_domain.domain ).kind_of? EXPSM::TypeSelect)
+				explicit_mapped_list.push attribute
+				owl_property_range = attribute.domain
+				owl_property_name = entity.name + '.' + attribute.name
+				owl_property_domain = entity.name
+				res = ERB.new(attribute_entity_template)
+				t = res.result(binding)
+				file.puts t
+
+# Handle EXPRESS explicit attribute, redeclaration,	and only refer to EXPRESS Type = A Type name that is a Select						
+			when (attribute.redeclare_entity and (express_attribute_domain.kind_of? EXPSM::Type and NamedType.find_by_name( express_attribute_domain.domain ).kind_of? EXPSM::TypeSelect))
+	
+				explicit_mapped_list.push attribute		
+				owl_property_range = attribute.domain
+				owl_property_name = entity.name + '.' + attribute.name
+				if attribute.redeclare_oldname == nil
+					owl_super_property_name = attribute.redeclare_entity + '.' + attribute.name
+				else
+					owl_super_property_name = attribute.redeclare_entity + '.' + attribute.redeclare_oldname
+				end
+				owl_property_domain = entity.name
+				res = ERB.new(attribute_redeclare_entity_template)
+				t = res.result(binding)
+				file.puts t
+
+			else
+				puts 'WARNING: ' + entity.name + ' ' + attribute.name + ' Attribute type not yet mapped'
+			end
+
+			min_cardinality = 1
+			max_cardinality = 1
+	
+			if attribute.isOptional == true
+				min_cardinality = 0
+			end
+
+			if (attribute.instance_of? EXPSM::ExplicitAggregate and attribute.rank == 1 and attribute.dimensions[0].aggrtype != 'LIST' and attribute.dimensions[0].aggrtype != 'ARRAY')
+				if attribute.isOptional == false
+					min_cardinality = attribute.dimensions[0].lower.to_i
+				end
+				if attribute.dimensions[0].upper == '?'
+					max_cardinality = -1
+				else
+					max_cardinality = attribute.dimensions[0].upper.to_i
+				end
+				if attribute.rank > 1
+					puts 'WARNING: ' + owl_property_name + ' n-dimensional aggregate attribute cardinalities not mapped ' 
+					max_cardinality = -1
+				end
+			end			
+			
+			if min_cardinality == max_cardinality
+				res = ERB.new(cardinality_template)
+				t = res.result(binding)
+				file.puts t
+			else
+				res = ERB.new(min_cardinality_template)
+				t = res.result(binding)
+				file.puts t
+				if max_cardinality != -1
+					res = ERB.new(max_cardinality_template)
+					t = res.result(binding)
+					file.puts t
+				end
+			end			
+
+
+			if (attribute.redeclare_entity and !(express_attribute_domain.kind_of? EXPSM::Entity or express_attribute_domain.kind_of? EXPSM::TypeSelect))
+				if 	(attribute.redeclare_entity and !(express_attribute_domain.kind_of? EXPSM::Type and NamedType.find_by_name( express_attribute_domain.domain ).kind_of? EXPSM::TypeSelect))
+					if (attribute.redeclare_entity and !attribute.isBuiltin)
+						puts 'WARNING: ' + entity.name + ' ' + attribute.name + ' Attribute redeclaration may need hand editing'
+					end
+				end
+			end
+			
+		end
+
+	end
+
+
+	res = ERB.new(schema_end_template)
+	t = res.result(binding)
+	file.puts t
+	
+	puts ' '
+	puts 'Schema Mapping Summary for : ' + schema.name
+	all_type_list = schema.contents.find_all{ |e| e.kind_of? EXPSM::DefinedType }
+	
+	
+	puts '  ENTITYs mapped = ' + entity_mapped_list.size.to_s + ' of ' + entity_list.size.to_s
+	puts '  - ' + superexpression_mapped_list.size.to_s + ' of ' + all_superexpression_list.size.to_s + ' ENTITY SUPERTYPE expressions mapped (only simple ONEOF supported)'
+	for t in all_superexpression_list - superexpression_mapped_list
+		puts '      Not mapped: ' + t.name
+	end
+	puts '  - ' + inverse_mapped_list.size.to_s + ' of ' + all_inverse_list.size.to_s + ' inverse attributes mapped (inverse of inherited not supported)'	
+	notmapped_list = all_inverse_list - inverse_mapped_list
+	for t in notmapped_list
+		puts '      Not mapped: ' + t.entity.name + '.' + t.name
+	end	
+	puts '  - ' + thing_attr_mapped_list.size.to_s + ' of ' + all_explicit_list.size.to_s + ' explicit attributes mapped with owl:Thing as domain (configurable)'	
+	puts '  - ' + explicit_mapped_list.size.to_s + ' of ' + all_explicit_list.size.to_s + ' explicit attributes mapped'
+	for t in list_mapped_attr_list
+		puts '      rdf:List mapped: ' + t.name
+	end
+
+	notmapped_list = all_explicit_list - explicit_mapped_list - thing_attr_mapped_list
+	for t in notmapped_list
+		puts '      Not mapped: ' + t.entity.name + '.' + t.name
+	end
+	puts '  - ' + all_derived_list.size.to_s + ' derived attributes not mapped, not supported'
+	puts '  TYPEs mapped = ' + type_mapped_list.size.to_s + ' of ' + all_type_list.size.to_s
+	for t in list_mapped_type_list
+		puts '      rdf:List mapped: ' + t.name
+	end
+	for t in mixed_select_list
+		puts '      Select of entity & type Class mapped: ' + t.name
+	end
+	for t in type_union_mapped_list
+		puts '      Select RDFS Datatype owl:unionOf mapped: ' + t.name
+	end
+	notmapped_list = all_type_list - type_mapped_list
+	for t in notmapped_list
+		puts '    Not mapped: ' + t.name
+	end
+	puts ' '
+	puts 'Wrote post-processed schema to file: ' + post_processed_schema_file_name if post_processed_schema
+
+
+end
+
+res = ERB.new(overall_end_template)
+t = res.result(binding)
+file.puts t
+
+post_processed_schema_file.close if post_processed_schema
+
+end