mas01mj@640: /**
mas01mj@640: * jOWL - a jQuery plugin for traversing and visualizing OWL-DL documents.
mas01mj@640: * Creator - David Decraene
mas01mj@640: * Version 1.0
mas01mj@640: * Website: 
mas01mj@640: *	http://Ontologyonline.org
mas01mj@640: * Licensed under the MIT license 
mas01mj@640: *	http://www.opensource.org/licenses/mit-license.php
mas01mj@640: * Verified with JSLint 
mas01mj@640: *	http://www.jslint.com/
mas01mj@640: */
mas01mj@640: 
mas01mj@640: jOWL = window.jOWL = function( resource, options ){ return jOWL.getResource( resource, options );  };
mas01mj@640: jOWL.version = "1.0";
mas01mj@640: 
mas01mj@640: /** for debugging compatibility */
mas01mj@640: 	try { console.log('...'); } catch(e) { console = window.console = { log: function() {} } }
mas01mj@640: 	if ($.browser.opera && opera.postError) { console = window.console = { log : function(){opera.postError(arguments); } }; }
mas01mj@640: 
mas01mj@640: 
mas01mj@640: 
mas01mj@640: (function($){
mas01mj@640: 
mas01mj@640: /** 
mas01mj@640: * if no param: @return string of main namespaces
mas01mj@640: * if 1 param: assume a documentElement, parse namespaces
mas01mj@640: * if prefix & URI: Bind prefix to namespace URI 
mas01mj@640: */
mas01mj@640: jOWL.NS = function(prefix, URI){
mas01mj@640: 	if(!arguments.length)
mas01mj@640: 	{ return "xmlns:"+jOWL.NS.owl.prefix+"='"+jOWL.NS.owl()+"' xmlns:"+jOWL.NS.rdf.prefix+"='"+jOWL.NS.rdf()+"' xmlns:"+jOWL.NS.rdfs.prefix+"='"+jOWL.NS.rdfs()+"' xmlns:"+jOWL.NS.xsd.prefix+" ='"+jOWL.NS.xsd()+"'";}
mas01mj@640: 
mas01mj@640: 	if(arguments.length == 1){
mas01mj@640: 		var attr = prefix.get(0).attributes;
mas01mj@640: 		for(var i=0;i<attr.length;i++){
mas01mj@640: 			var nn = attr[i].nodeName.split(':');
mas01mj@640: 			if(nn.length == 2){
mas01mj@640: 				if(attr[i].nodeValue == jOWL.NS.owl.URI){ jOWL.NS.owl.prefix = nn[1];}
mas01mj@640: 				else if(attr[i].nodeValue == jOWL.NS.rdf.URI){ jOWL.NS.rdf.prefix = nn[1];}
mas01mj@640: 				else if(attr[i].nodeValue == jOWL.NS.rdfs.URI){ jOWL.NS.rdfs.prefix = nn[1];}
mas01mj@640: 				else if(attr[i].nodeValue == jOWL.NS.xsd.URI){ jOWL.NS.xsd.prefix = nn[1];}
mas01mj@640: 				else { jOWL.NS(nn[1], attr[i].nodeValue);}
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		jOWL.namespace =  prefix.xmlAttr('xml:base') || prefix.xmlAttr('xmlns');
mas01mj@640: 		return;
mas01mj@640: 	}
mas01mj@640: 	jOWL.NS[prefix] = function(element){
mas01mj@640: 		if(element){
mas01mj@640: 			return (arguments.callee.prefix == 'base') ? element : arguments.callee.prefix + ":" + element;
mas01mj@640: 			}
mas01mj@640: 		return arguments.callee.URI;
mas01mj@640: 		};
mas01mj@640: 	jOWL.NS[prefix].prefix = prefix;
mas01mj@640: 	jOWL.NS[prefix].URI = URI;	
mas01mj@640: };
mas01mj@640: 
mas01mj@640: var __ = jOWL.NS;
mas01mj@640: 
mas01mj@640: /** set Main namespaces */
mas01mj@640: __("owl", "http://www.w3.org/2002/07/owl#");
mas01mj@640: __("rdf", "http://www.w3.org/1999/02/22-rdf-syntax-ns#");
mas01mj@640: __("rdfs", "http://www.w3.org/2000/01/rdf-schema#");
mas01mj@640: __("xsd", "http://www.w3.org/2001/XMLSchema#");
mas01mj@640: 
mas01mj@640: /** jQuery function additions for easy parsing of identities */
mas01mj@640: $.fn.extend({
mas01mj@640: 	/** Used for Opera compatibility when parsing xml attributes, nodeName must be checked, in contrast to native jquery call attr() */
mas01mj@640: 	xmlAttr : function(nodeName){
mas01mj@640: 		var t = this[0].attributes; if(!t){ return;}
mas01mj@640: 		for(var i =0;i<t.length;i++){
mas01mj@640: 			if(t[i].nodeName == nodeName){ return t[i].nodeValue;}
mas01mj@640: 		}
mas01mj@640: 	},
mas01mj@640: 	RDF_ID : function(match){
mas01mj@640: 		var res = this.xmlAttr(__.rdf('ID'));
mas01mj@640: 		if(!res){ return false;}
mas01mj@640: 		res = jOWL.resolveURI(res);
mas01mj@640: 		if(match){
mas01mj@640: 			return res.toLowerCase() == (jOWL.resolveURI(match.toString())).toLowerCase();}
mas01mj@640: 		return res;
mas01mj@640: 		},
mas01mj@640: 	RDF_Resource : function(match){
mas01mj@640: 		function getClassName(dom){
mas01mj@640: 			var cl = jOWL.Xpath(__.owl("Class"), dom);
mas01mj@640: 			if(cl.length == 1){ return new jOWL.Ontology.Class(cl).URI;}
mas01mj@640: 			return false;
mas01mj@640: 		}
mas01mj@640: 		if(!this.length){ return false;}
mas01mj@640: 		var rsrc = this.xmlAttr(__.rdf('resource'));
mas01mj@640: 		if(!rsrc){
mas01mj@640: 			var dom = this.get(0);
mas01mj@640: 			switch(dom.nodeName){
mas01mj@640: 				case __.rdfs("subClassOf"): rsrc = getClassName(dom); break;
mas01mj@640: 				case __.owl("disjointWith"): rsrc = getClassName(dom); break;
mas01mj@640: 				case __.owl("allValuesFrom"): rsrc = getClassName(dom); break;
mas01mj@640: 				case __.owl("someValuesFrom"): rsrc = getClassName(dom); break;
mas01mj@640: 				case __.owl("onProperty"):
mas01mj@640: 					var t = jOWL.Xpath(__.owl("ObjectProperty"), dom);
mas01mj@640: 					if(t.length === 0){ t = jOWL.Xpath(__.owl("DatatypeProperty"), dom);}
mas01mj@640: 					if(t.length === 0){ t = jOWL.Xpath(__.owl("FunctionalProperty"), dom);}
mas01mj@640: 					rsrc = t.xmlAttr(__.rdf('about')); break;
mas01mj@640: 				default: return false;
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		if(!rsrc){ return false;}
mas01mj@640: 		rsrc = jOWL.resolveURI(rsrc);
mas01mj@640: 		if(match){ return rsrc.toLowerCase() == (jOWL.resolveURI(match.toString())).toLowerCase();}
mas01mj@640: 		return rsrc;
mas01mj@640: 		},
mas01mj@640: 	RDF_About : function(match){
mas01mj@640: 		var res = this.xmlAttr(__.rdf('about'));
mas01mj@640: 		if(!res){ return false;}
mas01mj@640: 		res = jOWL.resolveURI(res);
mas01mj@640: 		if(match){
mas01mj@640: 			return res.toLowerCase() == (jOWL.resolveURI(match.toString())).toLowerCase();}
mas01mj@640: 		return res;
mas01mj@640: 		}
mas01mj@640: });
mas01mj@640: 
mas01mj@640: /** Check XPath implementation */
mas01mj@640: if( document.implementation.hasFeature("XPath", "3.0") ){
mas01mj@640: 	XMLDocument.prototype.selectNodes = function(cXPathString, xNode){
mas01mj@640: 		if( !xNode ){ xNode = this;}
mas01mj@640: 		var oNSResolver = this.createNSResolver(this.documentElement);
mas01mj@640: 		var aItems = this.evaluate(cXPathString, xNode, oNSResolver, XPathResult.ORDERED_NODE_SNAPSHOT_TYPE, null); var aResult = []; for( var i = 0; i < aItems.snapshotLength; i++){ aResult[i] = aItems.snapshotItem(i);}  
mas01mj@640: 		return aResult; 
mas01mj@640: 		};
mas01mj@640: 	Element.prototype.selectNodes = function(cXPathString){  
mas01mj@640: 		if(this.ownerDocument.selectNodes)  {  return this.ownerDocument.selectNodes(cXPathString, this);}
mas01mj@640: 		else{throw "For XML Elements Only";} 
mas01mj@640: 		}; 
mas01mj@640: 	XMLDocument.prototype.selectSingleNode = function(cXPathString, xNode){ if( !xNode ){ xNode = this;}
mas01mj@640: 		var xItems = this.selectNodes(cXPathString, xNode); if( xItems.length > 0 ){  return xItems[0];} else {  return null;}
mas01mj@640: 		};
mas01mj@640: 	Element.prototype.selectSingleNode = function(cXPathString){
mas01mj@640: 		if(this.ownerDocument.selectSingleNode)  {  return this.ownerDocument.selectSingleNode(cXPathString, this);}
mas01mj@640: 		else{throw "For XML Elements Only";} 
mas01mj@640: 		};  
mas01mj@640: }
mas01mj@640: 
mas01mj@640: /** @return A jQuery array of xml elements */
mas01mj@640: jOWL.Xpath = function(selector, elem){
mas01mj@640: 	var node = null;
mas01mj@640: 	if(elem){ if(elem.each){ node = elem.get(0);} else { node = elem;} }
mas01mj@640: 	var arr = node ? node.selectNodes(selector) : jOWL.document.selectNodes(selector);
mas01mj@640: 	if($.browser.msie){ return $($.makeArray(arr));} return $(arr); //this is needed for IE, it returns a length of 1 on empty node array
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** @return a String array of class references */
mas01mj@640: jOWL.Xpath.classes = function(jnode){
mas01mj@640: 	var cl = [];
mas01mj@640: 	jOWL.Xpath(__.rdfs("subClassOf"), jnode)
mas01mj@640: 		.each(function(){
mas01mj@640: 			var res = $(this).RDF_Resource();
mas01mj@640: 			if(res){ cl.push(res);}
mas01mj@640: 		});
mas01mj@640: 
mas01mj@640: 	jOWL.Xpath(__.owl("intersectionOf")+"/"+__.owl("Class"), jnode)
mas01mj@640: 		.each(function(){
mas01mj@640: 			var p = $(this).RDF_About(); if(p){ cl.push(p);}
mas01mj@640: 		});
mas01mj@640: 	return cl;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Functions stored in jOWL.priv are intended for local access only, to avoid a closure function */
mas01mj@640: jOWL.priv = {
mas01mj@640: 	/** Arrray functions */
mas01mj@640: 	Array : {
mas01mj@640: 		isArray : function(array){
mas01mj@640: 			return Object.prototype.toString.call(array) === '[object Array]';
mas01mj@640: 		},
mas01mj@640: 		pushUnique : function(array, item){
mas01mj@640: 			if(jOWL.priv.Array.getIndex(array, item) === -1){	array.push(item); return true;}
mas01mj@640: 			return false;
mas01mj@640: 		},
mas01mj@640: 		getIndex : function(array, item){
mas01mj@640: 			for (var i=0; i<array.length; i++){ if(item == array[i]){ return i;} }
mas01mj@640: 			return -1;
mas01mj@640: 		},
mas01mj@640: 		/** Sorted array as input, returns the same array without duplicates. */
mas01mj@640: 		unique : function(array){
mas01mj@640: 			var result = []; var lastValue="";
mas01mj@640: 			for (var i=0; i<array.length; i++)
mas01mj@640: 			{
mas01mj@640: 				var curValue=array[i];
mas01mj@640: 				if(curValue != lastValue){ result[result.length] = curValue;}
mas01mj@640: 				lastValue=curValue;
mas01mj@640: 			}
mas01mj@640: 			return result;
mas01mj@640: 		}
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Make values work with jOWL.Ontology.Array */
mas01mj@640: jOWL.Literal = function(value){
mas01mj@640: 	this.name = value;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Access to the owl:Ontology element, also the main coding namespace for ontology objects */
mas01mj@640: jOWL.Ontology = function(){
mas01mj@640: 	if(!(this instanceof arguments.callee)){ return new jOWL.Ontology();}
mas01mj@640: 	this.parse(jOWL.Xpath("/"+__.rdf("RDF")+"/"+__.owl("Ontology")));
mas01mj@640: 	return this;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** 'superclass' for referencable ontology objects */
mas01mj@640: jOWL.Ontology.Thing = function(jnode){
mas01mj@640: 	this.parse(jnode);
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Thing.prototype = {
mas01mj@640: 	jOWL : jOWL.version,
mas01mj@640: 	equals : function(id){
mas01mj@640: 		var URI = (typeof id == "string") ? jOWL.resolveURI(id) : id.URI;
mas01mj@640: 		return URI === this.URI;
mas01mj@640: 	},
mas01mj@640: 	/** Initialization */
mas01mj@640: 	parse : function(jnode){
mas01mj@640: 		if(!jnode.length){ return;}
mas01mj@640: 		var identifier;
mas01mj@640: 		if(typeof jnode == 'string'){
mas01mj@640: 			identifier = jnode;
mas01mj@640: 			jnode = $();
mas01mj@640: 			}
mas01mj@640: 		else {
mas01mj@640: 			identifier = jnode.RDF_ID() || jnode.RDF_About();
mas01mj@640: 			if(!identifier){identifier = "anonymousOntologyObject";
mas01mj@640: 			this.isAnonymous = true;
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		identifier = jOWL.resolveURI(identifier);
mas01mj@640: 		this.isExternal = jOWL.isExternal(identifier);
mas01mj@640: 		if(this.isExternal){this.baseURI = this.isExternal[0]; this.name = this.isExternal[1]; this.URI = this.baseURI+this.name;}
mas01mj@640: 		else { this.baseURI = jOWL.namespace; this.name = identifier; this.URI = this.name;}
mas01mj@640: 		this.jnode = jnode;
mas01mj@640: 		this.type = jnode.get(0).nodeName;
mas01mj@640: 	},
mas01mj@640: 	/** @return A jQuery array of elements matching the annotation (qualified name or annotation Property) */
mas01mj@640: 	annotations : function(annotation){
mas01mj@640: 		return jOWL.Xpath(annotation, this.jnode);
mas01mj@640: 	},
mas01mj@640: 	/** @return rdfs:comment annotations */
mas01mj@640: 	description : function(){
mas01mj@640: 		return $.map(this.annotations(__.rdfs('comment')), function(n){ return $(n).text();});
mas01mj@640: 	},
mas01mj@640: 	/**
mas01mj@640: 	@return Array of Arrays, where secondary array is of form: [0] = term (rdfs:label) , [1] = identifier, [2] = language; [3] = type of object
mas01mj@640: 	example:
mas01mj@640: 	[
mas01mj@640: 		["bleu", "blue", "fr", "owl:Class"]
mas01mj@640: 	]
mas01mj@640: 	*/
mas01mj@640: 	terms : function(){
mas01mj@640: 		var terms = [], self = this;
mas01mj@640: 		if(jOWL.options.dictionary.addID && this.name != "anonymousOntologyObject"){ terms.push([this.name.beautify(), this.URI, jOWL.options.defaultlocale, this.type]);}
mas01mj@640: 		this.annotations(__.rdfs('label')).each(function(){
mas01mj@640: 			var lbl = $(this);
mas01mj@640: 			var locale = lbl.xmlAttr("xml:lang") || jOWL.options.defaultlocale;
mas01mj@640: 			var txt = lbl.text();
mas01mj@640: 			var match = false;
mas01mj@640: 			for(var i =0;i<terms.length;i++){
mas01mj@640: 			if(terms[i][0].toUpperCase() == txt.toUpperCase() && terms[i][2] == locale){ match = true;}
mas01mj@640: 			}
mas01mj@640: 			if(!match){ terms.push([lbl.text(), self.URI, locale, self.type]);}
mas01mj@640: 		});
mas01mj@640: 		return terms;
mas01mj@640: 	},
mas01mj@640: 	/** @return A representation name */
mas01mj@640: 	label : function(){
mas01mj@640: 		var label = false;
mas01mj@640: 		this.annotations(__.rdfs('label')).each(function(){
mas01mj@640: 			var $label = $(this);
mas01mj@640: 			if(jOWL.options.locale){
mas01mj@640: 				var lang = $label.xmlAttr('xml:lang') || jOWL.options.defaultlocale;
mas01mj@640: 				if(lang == jOWL.options.locale){ label = $label.text(); return false;}
mas01mj@640: 			} else { label = $label.text(); return false;}
mas01mj@640: 		});
mas01mj@640: 		if(label){ return label;}
mas01mj@640: 		if(this.name == "anonymousOntologyObject"){ return jOWL.Manchester(this) || "anonymous Object";}
mas01mj@640: 		if(jOWL.options.niceClassLabels && (this.isClass || this.isThing)){
mas01mj@640: 			return this.name.beautify();
mas01mj@640: 		}
mas01mj@640: 		return this.name;
mas01mj@640: 	},
mas01mj@640: 	/** Binds the Ontology element to the jQuery element for visual representation 
mas01mj@640: 	* @return jQuery Element
mas01mj@640: 	*/
mas01mj@640: 	bind : function(jqelem){
mas01mj@640: 		return jqelem.text(this.label()).attr('typeof', this.type).attr('title', this.URI);
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.prototype = jOWL.Ontology.Thing.prototype;
mas01mj@640: 
mas01mj@640: /** used for jOWL.Ontology.Individual.sourceof */
mas01mj@640: jOWL.priv.testObjectTarget = function(target, matchtarget){
mas01mj@640: 	if(target.isArray){
mas01mj@640: 		for(var i=0;i<target.length;i++){
mas01mj@640: 			if(jOWL.priv.testObjectTarget(target.get(i), matchtarget)){ return true;}
mas01mj@640: 		}
mas01mj@640: 		return false;
mas01mj@640: 	}
mas01mj@640: 	//if the target is a class, fetch individuals instead.
mas01mj@640: 	else if(target.isClass){
mas01mj@640: 		 var a = target.individuals();
mas01mj@640: 		 for(var i=0;i<a.length;i++){
mas01mj@640: 			if(a.get(i).URI == matchtarget){ return true;}
mas01mj@640: 		}
mas01mj@640: 	}
mas01mj@640: 	else if(target.URI == matchtarget){ return true;}
mas01mj@640: 	return false;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** access to Individuals of the ontology*/
mas01mj@640: jOWL.Ontology.Individual = function(jnode, owlclass){	
mas01mj@640: 	this.parse(jnode);
mas01mj@640: 	if(this.type == __.owl("Thing")){
mas01mj@640: 	var t = jOWL.Xpath(__.rdf('type'), this.jnode);
mas01mj@640: 		if(!t.length){ throw "unable to find a Class for the Individual "+this.name;}
mas01mj@640: 		this.Class = $(t[0]).RDF_Resource();
mas01mj@640: 	}
mas01mj@640: 	else {
mas01mj@640: 		this.Class = jOWL.resolveURI(jnode.get(0));
mas01mj@640: 	}
mas01mj@640: 	this.type = __.owl("Thing");
mas01mj@640: 	if(owlclass){ this.owlClass(owlclass);}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Individual.prototype = $.extend({}, jOWL.Ontology.Thing.prototype, {
mas01mj@640: 	isThing : true,
mas01mj@640: 	/** @return The owl:Class */
mas01mj@640: 	owlClass : function(owlclass){
mas01mj@640: 		if(owlclass){ jOWL.data(this.name, "class", owlclass);}
mas01mj@640: 		else {
mas01mj@640: 			var cl = jOWL.data(this.name, "class");
mas01mj@640: 			if(!cl){ cl = jOWL(this.Class); if(cl){ this.owlClass(cl);} }
mas01mj@640: 			return cl;
mas01mj@640: 		}
mas01mj@640: 	},
mas01mj@640: 	/** Access to restrictions */
mas01mj@640: 	sourceof : function(property, target, options){
mas01mj@640: 		options = $.extend({
mas01mj@640: 			inherited : true, // add restrictions specified on parents as well
mas01mj@640: 			transitive : true,
mas01mj@640: 			ignoreGenerics : false, //if a parent has an identical property, with another target 'Thing', skip that restriction
mas01mj@640: 			ignoreClasses : true,
mas01mj@640: 			valuesOnly : true
mas01mj@640: 		}, options);
mas01mj@640: 
mas01mj@640: 		var results = new jOWL.Ontology.Array();
mas01mj@640: 
mas01mj@640: 		this.jnode.children().filter(function(){return (this.prefix != __.rdfs.prefix && this.prefix != __.rdf.prefix && this.prefix != __.owl.prefix);})
mas01mj@640: 			.each(function(){
mas01mj@640: 			var restriction = new jOWL.Ontology.Restriction($(this));
mas01mj@640: 			var propertyMatch = property ? false : true;
mas01mj@640: 			var targetMatch = target ? false : true;
mas01mj@640: 
mas01mj@640: 			if(!propertyMatch){
mas01mj@640: 				if( property.isArray){ propertyMatch = property.contains(restriction.property);}
mas01mj@640: 				else { propertyMatch = (property.URI == restriction.property.URI);}
mas01mj@640: 				if(!propertyMatch){ return;}
mas01mj@640: 			}
mas01mj@640: 
mas01mj@640: 			if(!target){
mas01mj@640: 				if(options.transitive && restriction.property.isTransitive && !options.ignoreGenerics){
mas01mj@640: 					var rTarget = restriction.getTarget();
mas01mj@640: 					var transitives = rTarget.sourceof(restriction.property, null, options);
mas01mj@640: 					results.concat(transitives);
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 			else {
mas01mj@640: 				if(restriction.property.isObjectProperty){
mas01mj@640: 					targetMatch = jOWL.priv.testObjectTarget(target, restriction.target);
mas01mj@640: 					if(!targetMatch && options.transitive && restriction.property.isTransitive){
mas01mj@640: 						var rTransitives = restriction.getTarget().sourceof(restriction.property, target, options);
mas01mj@640: 						if(rTransitives.length > 0){ targetMatch = true;}
mas01mj@640: 					}
mas01mj@640: 				}
mas01mj@640: 				else if(restriction.property.isDatatypeProperty){
mas01mj@640: 					targetMatch = restriction.property.assert(restriction.target, target);
mas01mj@640: 				}
mas01mj@640: 				else { targetMatch = (target == restriction.target);}
mas01mj@640: 			}
mas01mj@640: 			if(propertyMatch && targetMatch){ results.pushUnique(restriction);}
mas01mj@640: 
mas01mj@640: 		});
mas01mj@640: 		if(options.inherited){ 
mas01mj@640: 			var clRestrictions = this.owlClass().sourceof(property, target, options)
mas01mj@640: 				.each(function(){
mas01mj@640: 				//target can be a class, null, a duplicate individual...
mas01mj@640: 				var clRestr = this;
mas01mj@640: 				if(options.valuesOnly && clRestr.target === null){return;}
mas01mj@640: 				var clTarget = this.getTarget();
mas01mj@640: 				if(clTarget.isClass && options.ignoreClasses){ return;}
mas01mj@640: 
mas01mj@640: 				var containsProperty = false;
mas01mj@640: 				for(var i = 0;i<results.length;i++){
mas01mj@640: 					var restr = results.get(i);
mas01mj@640: 					if(restr.property.URI == clRestr.property.URI){
mas01mj@640: 						containsProperty = true;
mas01mj@640: 						if(!options.ignoreGenerics){
mas01mj@640: 							if(clRestr.target != restr.target){ results.pushUnique(clRestr);}
mas01mj@640: 						}
mas01mj@640: 					}
mas01mj@640: 				}
mas01mj@640: 				if(!containsProperty){ results.pushUnique(clRestr);}
mas01mj@640: 			});
mas01mj@640: 		}
mas01mj@640: 		return results;
mas01mj@640: 
mas01mj@640: 	},
mas01mj@640: 	localRestrictions : function(property, target){
mas01mj@640: 		return this.sourceof(property, target, {inherited : false, transitive : false });
mas01mj@640: 	},
mas01mj@640: 	/** Include generic will add transitivity reasoning */
mas01mj@640: 	valueRestrictions : function(includeGeneric){
mas01mj@640: 		return this.sourceof(null, null, {ignoreGenerics : !includeGeneric, valuesOnly : true });
mas01mj@640: 	}
mas01mj@640: });
mas01mj@640: 
mas01mj@640: /** jNode is of type owl:Restriction */
mas01mj@640: jOWL.Ontology.Restriction = function(jnode){
mas01mj@640: 
mas01mj@640: 	var jprop, prop, op, restrtype;
mas01mj@640: 
mas01mj@640: 	this.cachedTarget = null;
mas01mj@640: 
mas01mj@640: 	if(jnode.get(0).nodeName != __.owl("Restriction")){
mas01mj@640: 		this.property = jOWL(jOWL.resolveURI(jnode.get(0)), {type: "property"});
mas01mj@640: 		this.target = jnode.RDF_Resource() || jnode.text();
mas01mj@640: 		restrtype = "Individual";
mas01mj@640: 	}
mas01mj@640: 	else
mas01mj@640: 	{
mas01mj@640: 		jprop = jOWL.Xpath(__.owl("onProperty"), jnode);
mas01mj@640: 		prop = jprop.RDF_Resource(); if(!prop){ throw "no property found for the given owl:restriction";}
mas01mj@640: 		op = jprop.siblings(); 
mas01mj@640: 		restrtype = op.get(0).nodeName;
mas01mj@640: 		this.property = jOWL(prop, {type: "property"});
mas01mj@640: 		this.target = null; //string only
mas01mj@640: 	}
mas01mj@640: 
mas01mj@640: 	this.restriction = { minCard: false, maxCard : false, some: [], all : [], value : false };
mas01mj@640: 	this.type = jnode.get(0).nodeName;
mas01mj@640: 	this.isAnonymous = true;
mas01mj@640: 	this.isValueRestriction = (restrtype == __.owl('someValuesFrom') || restrtype == __.owl('allValuesFrom') || restrtype == __.owl('hasValue'));
mas01mj@640: 	this.isCardinalityRestriction = (restrtype == __.owl('cardinality') || restrtype == __.owl('maxCardinality') || restrtype == __.owl('minCardinality'));
mas01mj@640: 
mas01mj@640: 	if(!this.property || !restrtype){ throw "badly formed owl:restriction";}
mas01mj@640: 	switch(restrtype){
mas01mj@640: 		case __.owl('cardinality'): this.restriction.minCard = this.restriction.maxCard = parseInt(op.text(), 10); break;
mas01mj@640: 		case __.owl('maxCardinality'): this.restriction.maxCard = parseInt(op.text(), 10); break;
mas01mj@640: 		case __.owl('minCardinality'): this.restriction.minCard = parseInt(op.text(), 10); break;
mas01mj@640: 		case __.owl('hasValue'): var res = op.RDF_Resource(); if(res){ this.target = res;} break;
mas01mj@640: 	}
mas01mj@640: 	if(this.property.isObjectProperty){
mas01mj@640: 		if(this.isCardinalityRestriction && this.property.range){ this.target = this.property.range;}
mas01mj@640: 		else if(this.isValueRestriction){
mas01mj@640: 			var t = op.RDF_Resource(); 
mas01mj@640: 			if(t == "anonymousOntologyObject"){//nested groupings, anonymous classes
mas01mj@640: 				this.cachedTarget = new jOWL.Ontology.Class(jOWL.Xpath(__.owl("Class"), op));
mas01mj@640: 			}
mas01mj@640: 			this.target = t;
mas01mj@640: 		}
mas01mj@640: 	}
mas01mj@640: 
mas01mj@640: 	var suffix = this.target || this.restrtype;
mas01mj@640: 	this.name = this.property.name+'#'+suffix;
mas01mj@640: 	return this;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Restriction.prototype = {
mas01mj@640: 	jOWL : jOWL.version,
mas01mj@640: 	isRestriction : true,
mas01mj@640: 	bind : function(){return null;},
mas01mj@640: 	merge : function(crit){
mas01mj@640: 		if(this.isCardinalityRestriction && crit.isValueRestriction ){ this.target = crit.target; return true;}
mas01mj@640: 		else if(this.isValueRestriction && crit.isCardinalityRestriction){
mas01mj@640: 			switch(crit.restrtype){
mas01mj@640: 			case __.owl('cardinality'): this.restriction.minCard = this.restriction.maxCard = crit.restriction.minCard; return true;
mas01mj@640: 			case __.owl('minCardinality'): this.restriction.minCard = crit.restriction.minCard; return true;
mas01mj@640: 			case __.owl('maxCardinality'): this.restriction.maxCard = crit.restriction.maxCard; return true;
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		return false;
mas01mj@640: 	},
mas01mj@640: 	getTarget : function(){
mas01mj@640: 		if(!this.target){ return jOWL('Thing');}
mas01mj@640: 		if(this.cachedTarget){ return this.cachedTarget;}
mas01mj@640: 		this.cachedTarget = (this.property.isObjectProperty) ? jOWL(this.target) : new jOWL.Literal(this.target);
mas01mj@640: 		return this.cachedTarget;	
mas01mj@640: 	},
mas01mj@640: 	equals : function(restr){
mas01mj@640: 		if(!restr.isRestriction){ return false;}
mas01mj@640: 		if(this.property.URI == restr.property.URI){
mas01mj@640: 			if(this.target == 'anonymousOntologyObject'){return false;}//oneof lists etc unsupported right now
mas01mj@640: 			if(this.target && this.target === restr.target){ return true;}
mas01mj@640: 		}
mas01mj@640: 		return false;
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Datatype Logic, local functions */
mas01mj@640: jOWL.priv.Dt = function(options){
mas01mj@640: 	this.settings = $.extend({base: null, pattern : null, assert: function(b){return true;}, match: function(a, b){return true;}}, options);
mas01mj@640: 	this.base = jOWL.Ontology.Datatype[this.settings.base];
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.priv.Dt.prototype = {
mas01mj@640: 	sanitize : function(b){
mas01mj@640: 		if(this.settings.sanitize){ return this.settings.sanitize(b);}
mas01mj@640: 		if(this.base && this.base.sanitize){ return this.base.sanitize(b);}
mas01mj@640: 	},
mas01mj@640: 	assert : function(b){
mas01mj@640: 		var v = this.sanitize(b); if(v !== undefined){ b = v;}
mas01mj@640: 		if(this.base && !this.base.assert(b)){ return false;}
mas01mj@640: 		if(this.settings.pattern && !this.settings.pattern.test(b)){ return false;}
mas01mj@640: 		return this.settings.assert(b);
mas01mj@640: 	},
mas01mj@640: 	match : function(a, b){
mas01mj@640: 		var v = this.sanitize(b); if(v !== undefined){ b = v;}
mas01mj@640: 		if(!this.assert(b)){ return false;}
mas01mj@640: 		if(this.base && !this.base.match(a, b)){ return false;}
mas01mj@640: 		return this.settings.match(a, b);
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Datatype = function(URI, options){
mas01mj@640: 	jOWL.Ontology.Datatype[URI] = new jOWL.priv.Dt(options);
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Datatype Definitions */
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"integer", {sanitize : function(x){return  parseInt(x, 10);}, assert : function(x){ return Math.round(x) == x;}, match : function(a, b){
mas01mj@640: 	var check = parseInt(a, 10);
mas01mj@640: 	if(!isNaN(check)){ return check == b;}
mas01mj@640: 	var arr = a.split('&&');
mas01mj@640: 	for(var i=0;i<arr.length;i++){ arr[i] = b+arr[i];}
mas01mj@640: 	try {
mas01mj@640: 		return eval(arr.join(' && '));
mas01mj@640: 	} catch(e){ return false;}
mas01mj@640: } });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"positiveInteger", {base: __.xsd()+"integer", assert : function(x){ return x > 0;} });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"decimal", {base: __.xsd()+"integer" });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"float", {base: __.xsd()+"integer" });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"double", {base: __.xsd()+"integer" });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"negativeInteger", {base: __.xsd()+"integer", assert : function(x){ return x < 0;} });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"nonNegativeInteger", {base: __.xsd()+"integer", assert : function(x){ return x >= 0;} });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"nonPositiveInteger", {base: __.xsd()+"integer", assert : function(x){ return x <= 0;} });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"string");
mas01mj@640: 
mas01mj@640: var URIPattern = /^([a-z0-9+.\-]+):(?:\/\/(?:((?:[a-z0-9-._~!$&'()*+,;=:]|%[0-9A-F]{2})*)@)?((?:[a-z0-9-._~!$&'()*+,;=]|%[0-9A-F]{2})*)(?::(\d*))?(\/(?:[a-z0-9-._~!$&'()*+,;=:@\/]|%[0-9A-F]{2})*)?|(\/?(?:[a-z0-9-._~!$&'()*+,;=:@]|%[0-9A-F]{2})+(?:[a-z0-9-._~!$&'()*+,;=:@\/]|%[0-9A-F]{2})*)?)(?:\?((?:[a-z0-9-._~!$&'()*+,;=:\/?@]|%[0-9A-F]{2})*))?(?:#((?:[a-z0-9-._~!$&'()*+,;=:\/?@]|%[0-9A-F]{2})*))?$/i;    
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"anyURI", {base: __.xsd()+"string", pattern : URIPattern });
mas01mj@640: jOWL.Ontology.Datatype(__.xsd()+"boolean", {sanitize : function(x){
mas01mj@640: 		if(typeof x == 'boolean'){ return x;}
mas01mj@640: 		if(x == 'true'){ return true;}
mas01mj@640: 		if(x == 'false'){ return false;}
mas01mj@640: 	}, assert : function(x){
mas01mj@640: 		return typeof x == 'boolean';
mas01mj@640: 	}, match: function(a, b){
mas01mj@640: 		if(a === "false"){ a = false;}
mas01mj@640: 		if(a === "true"){ a = true;}
mas01mj@640: 		return (a === b);
mas01mj@640: }});
mas01mj@640: 
mas01mj@640: /** 'superclass' for Properties */
mas01mj@640: jOWL.Ontology.Property = function(jnode){
mas01mj@640: 	var r = this.parseProperty(jnode);
mas01mj@640: 	if(r){ return r;}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Property.prototype = $.extend({}, jOWL.Ontology.Thing.prototype,{
mas01mj@640: 	isProperty : true,
mas01mj@640: 	parseProperty : function(jnode){
mas01mj@640: 		if(!jnode || typeof jnode == 'string'){
mas01mj@640: 			this.domain = this.range = null;
mas01mj@640: 			this.parse(jnode);
mas01mj@640: 			return;
mas01mj@640: 		}
mas01mj@640: 		if(jOWL.options.cacheProperties && jOWL.indices.IDs){
mas01mj@640: 			var res = jnode.RDF_ID() || jnode.RDF_About();
mas01mj@640: 			var c = jOWL.index('property').get(res);
mas01mj@640: 			if(c){ return c;}
mas01mj@640: 		}
mas01mj@640: 		this.parse(jnode);
mas01mj@640: 		this.domain= $(this.jnode.get(0).selectSingleNode(__.rdfs('domain'))).RDF_Resource();
mas01mj@640: 		this.range = $(this.jnode.get(0).selectSingleNode(__.rdfs('range'))).RDF_Resource();	
mas01mj@640: 	}
mas01mj@640: });
mas01mj@640: 
mas01mj@640: /** access to Datatype properties */
mas01mj@640: jOWL.Ontology.DatatypeProperty = function(jnode){
mas01mj@640: 	var r = this.parseProperty(jnode);
mas01mj@640: 	if(r){ return r;}
mas01mj@640: 	if(this.type == __.owl("AnnotationProperty")){ this.range = __.xsd()+"string";}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.DatatypeProperty.prototype = $.extend({}, jOWL.Ontology.Thing.prototype, jOWL.Ontology.Property.prototype, {
mas01mj@640: 	isDatatypeProperty : true,
mas01mj@640: 	/** check datatype values against this */
mas01mj@640: 	assert : function(targetValue, value){
mas01mj@640: 		var self = this;
mas01mj@640: 		var dt = jOWL.Ontology.Datatype[this.range];
mas01mj@640: 		if(!dt){
mas01mj@640: 			console.log(this.range+" datatype reasoning not implemented");
mas01mj@640: 			return true;
mas01mj@640: 		}
mas01mj@640: 		if(value === undefined){ return dt.assert(targetValue);}
mas01mj@640: 		else {return dt.match(value, targetValue);}
mas01mj@640: 	}
mas01mj@640: });
mas01mj@640: 
mas01mj@640: /** access to Object properties */
mas01mj@640: jOWL.Ontology.ObjectProperty = function(jnode){
mas01mj@640: 	var r = this.parseProperty(jnode);	
mas01mj@640: 	if(r){ return r;}
mas01mj@640: 	var self = this;
mas01mj@640: 	jOWL.Xpath(__.rdf('type'), this.jnode).each(function(){
mas01mj@640: 		if($(this).RDF_Resource() == __.owl()+"TransitiveProperty"){ self.isTransitive = true;}
mas01mj@640: 	});
mas01mj@640: 	if(this.jnode.get(0).nodeName == __.owl("TransitiveProperty")){ self.isTransitive = true;}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.ObjectProperty.prototype = $.extend({}, jOWL.Ontology.Thing.prototype, jOWL.Ontology.Property.prototype, {
mas01mj@640: 	isObjectProperty : true
mas01mj@640: });
mas01mj@640: 
mas01mj@640: /** access to an owl:Class */
mas01mj@640: jOWL.Ontology.Class = function(jnode){
mas01mj@640: 	this.parse(jnode);
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** @return jOWL Array of Restrictions */
mas01mj@640: jOWL.Xpath.restrictions = function(jnode){
mas01mj@640: 	var result = new jOWL.Ontology.Array();
mas01mj@640: 	jOWL.Xpath(__.rdfs("subClassOf")+"/"+__.owl("Restriction"), jnode)
mas01mj@640: 		.add(jOWL.Xpath(__.owl("intersectionOf")+"/"+__.owl("Restriction"), jnode))
mas01mj@640: 		.each(function(){
mas01mj@640: 			result.push(new jOWL.Ontology.Restriction($(this)));
mas01mj@640: 		});
mas01mj@640: 	return result;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Internal Use */
mas01mj@640: jOWL.Ontology.Intersection = function(jnode){
mas01mj@640: 	var self = this;
mas01mj@640: 	this.jnode = jnode;
mas01mj@640: 	this._arr = [];
mas01mj@640: 	this.URI = this.jnode.parent().RDF_ID();
mas01mj@640: 	this.matches = {};
mas01mj@640: 	jOWL.Xpath(__.owl("Restriction"), jnode).each(function(){
mas01mj@640: 		var restr = new jOWL.Ontology.Restriction($(this));
mas01mj@640: 		if(restr.isValueRestriction){self._arr.push(restr);}
mas01mj@640: 	});
mas01mj@640: 	jOWL.Xpath(__.owl('Class'), jnode).each(function(){
mas01mj@640: 		var uri = $(this).RDF_About();
mas01mj@640: 		if(uri){ self._arr.push(jOWL(uri));}
mas01mj@640: 	});
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Intersection.prototype = {
mas01mj@640: 	isIntersection : true,
mas01mj@640: 	jOWL : jOWL.version,
mas01mj@640: 	match : function(id, cls, clRestr){
mas01mj@640: 		if(id == this.URI){ return false;}
mas01mj@640: 		if(this.matches[id] !== undefined){ return this.matches[id]; }//local cache
mas01mj@640: 
mas01mj@640: 		for(var i =0;i<this._arr.length;i++){
mas01mj@640: 			var entry = this._arr[i];
mas01mj@640: 			var m = false;
mas01mj@640: 			if(entry.isRestriction){
mas01mj@640: 				clRestr.each(function(){
mas01mj@640: 					if(this.equals(entry)){ m = true; return false;}
mas01mj@640: 				});
mas01mj@640: 				if(!m) {
mas01mj@640: 					this.matches[id] = false;
mas01mj@640: 					return false;
mas01mj@640: 				}
mas01mj@640: 			} else if(entry.isClass){
mas01mj@640: 				for(var j = 0;j<cls.length;j++){
mas01mj@640: 					if(entry.equals(cls[j])){m = true; break;}
mas01mj@640: 					var it = jOWL.index('ID')[cls[j]];
mas01mj@640: 					if(it){
mas01mj@640: 						var narr = jOWL.Xpath.classes(jOWL.index('ID')[cls[j]].jnode);
mas01mj@640: 						for (var z=0;z<narr.length ; z++){
mas01mj@640: 							if(entry.equals(narr[z])){m = true; break;}
mas01mj@640: 						}
mas01mj@640: 					}
mas01mj@640: 				}
mas01mj@640: 				if(!m){
mas01mj@640: 					this.matches[id] = false;
mas01mj@640: 					return false;
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		this.matches[id] = true;
mas01mj@640: 		return this.matches[id];
mas01mj@640: 	},
mas01mj@640: 	equals : function(isect){
mas01mj@640: 		if(!isect.isIntersection){ return false;}
mas01mj@640: 			for(var i =0;i<this._arr.length;i++){
mas01mj@640: 				var match = false;
mas01mj@640: 				for(var j = 0;j<isect._arr.length;j++){
mas01mj@640: 					if(isect._arr[j].equals(this._arr[i])){ match = true;}
mas01mj@640: 				}
mas01mj@640: 				if(!match){ return false;}
mas01mj@640: 			}
mas01mj@640: 		return true;
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Class.prototype = $.extend({}, jOWL.Ontology.Thing.prototype, {
mas01mj@640: 	isClass : true,
mas01mj@640: 	/** @return A jOWL.Ontology.Array of individuals for this class & its subclasses */
mas01mj@640: 	individuals : function(){
mas01mj@640: 		var arr = new jOWL.Ontology.Array();
mas01mj@640: 		var q = new jOWL.SPARQL_DL("Type(?x, "+this.name+")").execute({async: false, onComplete: function(r){ arr = r.jOWLArray("?x");}  });
mas01mj@640: 		return arr;
mas01mj@640: 	},
mas01mj@640: 	/** @return A jOWL.Ontology.Array of individuals (if oneOf list) */
mas01mj@640: 	oneOf : function(){
mas01mj@640: 		var arr = new jOWL.Ontology.Array();
mas01mj@640: 		var oneOf = this.jnode.children().filter(function(){return this.tagName == __.owl("oneOf");});
mas01mj@640: 		oneOf.children().each(function(){
mas01mj@640: 			arr.push(jOWL($(this).RDF_About()));
mas01mj@640: 		});
mas01mj@640: 		return arr;
mas01mj@640: 	},
mas01mj@640: 	/** @return A jOWL.Ontology.Array of direct children */
mas01mj@640: 	children : function(){
mas01mj@640: 		var that = this;
mas01mj@640: 		var oChildren = jOWL.data(this.name, "children");
mas01mj@640: 		if(oChildren){ return oChildren;}
mas01mj@640: 		oChildren = new jOWL.Ontology.Array();
mas01mj@640: 		if(this.oneOf().length){return oChildren;}
mas01mj@640: 		var URI = this.URI;
mas01mj@640: 
mas01mj@640: 		for(x in jOWL.index('ID')){
mas01mj@640: 			if(x === this.URI){ continue;}
mas01mj@640: 			var node = jOWL.index('ID')[x]; 
mas01mj@640: 			if(!node.isClass){continue;}
mas01mj@640: 			var cls = jOWL.Xpath.classes(node.jnode); //direct subClasses
mas01mj@640: 			for(var i=0;i<cls.length;i++){
mas01mj@640: 				if(this.equals(cls[i])){
mas01mj@640: 					oChildren.push(node);
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 			var clRestr = jOWL.Xpath.restrictions(node.jnode);
mas01mj@640: 			var intersections = jOWL.index("intersection")[URI];
mas01mj@640: 			if(intersections){
mas01mj@640: 				intersections.each(function(){//fully defined Subclasses
mas01mj@640: 					if(this.match(x, cls, clRestr)){oChildren.push(node);}
mas01mj@640: 				});
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		//an ObjectProperty mentions this as domain
mas01mj@640: 		jOWL.index("property").each(function(){
mas01mj@640: 		if(this.domain == that.name){
mas01mj@640: 			var nodes = jOWL.Xpath('//'+__.owl('onProperty')+'[@'+__.rdf('resource')+'="#'+this.name+'"]/parent::'+__.owl('Restriction')+'/..');
mas01mj@640: 			nodes.filter(function(){ return (this.nodeName == __.owl('intersectionOf') || this.nodeName == __.rdfs('subClassOf'));
mas01mj@640: 			}).each(function(){
mas01mj@640: 				var cl = jOWL($(this.selectSingleNode('parent::'+__.owl('Class'))));
mas01mj@640: 				if(!oChildren.contains(cl) && cl.name != that.name && cl.name !== undefined){ oChildren.push(cl);}
mas01mj@640: 				});
mas01mj@640: 			}
mas01mj@640: 			});
mas01mj@640: 		//filter out redundancies
mas01mj@640: 		oChildren.filter(function(){
mas01mj@640: 			this.hierarchy(false);
mas01mj@640: 			return (this.parents().contains(URI));
mas01mj@640: 		});
mas01mj@640: 		jOWL.data(this.name, "children", oChildren);
mas01mj@640: 		return oChildren;
mas01mj@640: 	},
mas01mj@640: 	setParents : function(parents){
mas01mj@640: 		jOWL.data(this.name, "parents", parents); return parents;
mas01mj@640: 	},
mas01mj@640: 	/** @return A jOWL.Ontology.Array of parents, includes redundancies, to exclude do a hierarchy search first.*/
mas01mj@640: 	parents : function(){
mas01mj@640: 		var self = this;
mas01mj@640: 		var oParents = jOWL.data(this.name, "parents");
mas01mj@640: 		if(oParents){ return oParents;}
mas01mj@640: 
mas01mj@640: 		var temp = [];
mas01mj@640: 
mas01mj@640: 		var cls = jOWL.Xpath.classes(this.jnode);
mas01mj@640: 			for(var i=0;i<cls.length;i++){ jOWL.priv.Array.pushUnique(temp, cls[i]);}
mas01mj@640: 
mas01mj@640: 		var restr = jOWL.Xpath.restrictions(this.jnode);
mas01mj@640: 			restr.each(function(){
mas01mj@640: 				if(this.property.domain && this.property.domain != self.name){ jOWL.priv.Array.pushUnique(temp, this.property.domain);
mas01mj@640: 			}
mas01mj@640: 		});
mas01mj@640: 
mas01mj@640: 		var iSectLoop = function(){
mas01mj@640: 			if(this.match(self.URI, cls, restr)){
mas01mj@640: 				jOWL.priv.Array.pushUnique(temp, this.URI);
mas01mj@640: 			}
mas01mj@640: 		
mas01mj@640: 		};
mas01mj@640: 
mas01mj@640: 		if(jOWL.options.reason){
mas01mj@640: 			for(resource in jOWL.index('intersection')){
mas01mj@640: 				jOWL.index('intersection')[resource].each(iSectLoop);
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 
mas01mj@640: 		oParents = new jOWL.Ontology.Array( jOWL.getXML(temp), true);
mas01mj@640: 		if(!oParents.length){ oParents.push(jOWL('Thing'));}
mas01mj@640: 		else if(oParents.length > 1){ oParents.filter(function(){return this.name != ('Thing');});} //Remove Thing reference if other parents exist
mas01mj@640: 		jOWL.data(this.name, "parents", oParents);
mas01mj@640: 		return oParents;
mas01mj@640: 	},
mas01mj@640: /** @return ancestors to the class in a jOWL.Ontology.Array */
mas01mj@640: 	ancestors : function(){
mas01mj@640: 		return this.hierarchy(false).flatindex;
mas01mj@640: 	},
mas01mj@640: /**
mas01mj@640: Constructs the entire (parent) hierarchy for a class
mas01mj@640: @return a jOWL.Ontology.Array containing top nodes (classes directly subsumed by 'owl:Thing')
mas01mj@640: @param addInverse add a variable invParents (jOWL.Ontology.Array of child references) to each node with exception of the leaves (original concept)
mas01mj@640: */
mas01mj@640: 	hierarchy : function(addInverse){
mas01mj@640: 		var endNodes = new jOWL.Ontology.Array();
mas01mj@640: 		var self = this;
mas01mj@640: 		endNodes.flatindex  = new jOWL.Ontology.Array();
mas01mj@640: 
mas01mj@640: 		function URIARR(p_arr, obj){
mas01mj@640: 			var add = true;
mas01mj@640: 			if(!obj){ obj = {}; add = false;}
mas01mj@640: 			if(p_arr.each){
mas01mj@640: 				p_arr.each(function(){
mas01mj@640: 					if(obj[this.URI]){return;}
mas01mj@640: 					if(this.URI == __.owl()+'Thing'){ return;}
mas01mj@640: 					if(add){ obj[this.URI] = true;}
mas01mj@640: 					if(this.parents){ URIARR(this.parents(), obj);}
mas01mj@640: 				});
mas01mj@640: 			}
mas01mj@640: 			return obj;
mas01mj@640: 		}
mas01mj@640: 
mas01mj@640: 		function traverse(concept){
mas01mj@640: 			var parents = concept.parents();
mas01mj@640: 			if(parents.length == 1 && parents.contains(__.owl()+'Thing')){ endNodes.pushUnique(concept); return;}
mas01mj@640: 			else
mas01mj@640: 			{
mas01mj@640: 				var asso = jOWL.options.reason ? URIARR(parents) : {};
mas01mj@640: 				parents.filter(function(){ return (!asso[this.URI]);}); //throw out redundancies
mas01mj@640: 				parents.each(function(){
mas01mj@640: 						var item = endNodes.flatindex.pushUnique(this);
mas01mj@640: 						if(addInverse){
mas01mj@640: 							if(!item.invParents){ item.invParents = new jOWL.Ontology.Array();}
mas01mj@640: 							item.invParents.pushUnique(concept);
mas01mj@640: 							}
mas01mj@640: 						traverse(item);
mas01mj@640: 					});
mas01mj@640: 				concept.setParents(parents);
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 
mas01mj@640: 		traverse(this);
mas01mj@640: 		return endNodes;
mas01mj@640: 
mas01mj@640: 	},
mas01mj@640: 	/**
mas01mj@640: 	@param level depth to fetch children, Default 5 
mas01mj@640: 	@return jOWL array of classes that are descendant
mas01mj@640: 	*/
mas01mj@640: 	descendants : function(level){
mas01mj@640: 		level = (typeof level == 'number') ? level : 5;
mas01mj@640: 		var oDescendants = jOWL.data(this.name, "descendants");
mas01mj@640: 		if(oDescendants && oDescendants.level >= level){ return oDescendants;}
mas01mj@640: 		oDescendants = new jOWL.Ontology.Array();
mas01mj@640: 		oDescendants.level = level;
mas01mj@640: 
mas01mj@640: 		function descend(concept, i){
mas01mj@640: 			if(i <= level){
mas01mj@640: 				i++;
mas01mj@640: 				var ch = concept.children();
mas01mj@640: 				oDescendants.concat(ch);
mas01mj@640: 				ch.each(function(item){ descend(item, i);});
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 
mas01mj@640: 		descend(this, 1);
mas01mj@640: 		jOWL.data(this.name, "descendants", oDescendants);
mas01mj@640: 		return oDescendants;
mas01mj@640: 	},
mas01mj@640: 	/** @return jOWL.Array of Restrictions, target is an individual, not a class or undefined (unless includeAll is specified) - deprecated */
mas01mj@640: 	valueRestrictions : function(includeAll, array){
mas01mj@640: 		return this.sourceof(null, null, {ignoreClasses : !includeAll});
mas01mj@640: 	},
mas01mj@640: 	/**
mas01mj@640: 	get all restrictions that satisfy the arguments
mas01mj@640: 	@param property property or array of properties, or null
mas01mj@640: 	@param target class, individuals of array of them, or null
mas01mj@640: 	@return jOWL.Array of Restrictions
mas01mj@640: 	*/
mas01mj@640: 	sourceof : function(property, target, options){
mas01mj@640: 		options = $.extend({
mas01mj@640: 			inherited : true, // add restrictions specified on parents as well
mas01mj@640: 			transitive : true, //expand on transitive relations too
mas01mj@640: 			ignoreGenerics : true, //if a parent has an identical property, with another target 'Thing', skip that restriction
mas01mj@640: 			ignoreClasses : false, //only individuals should return
mas01mj@640: 			valuesOnly : true //do not return valueless criteria
mas01mj@640: 		}, options);
mas01mj@640: 		var self = this;
mas01mj@640: 		var crit = jOWL.data(this.name, "sourceof");
mas01mj@640: 		var jnode = this.jnode;
mas01mj@640: 
mas01mj@640: 		if(!crit){
mas01mj@640: 			crit = new jOWL.Ontology.Array();
mas01mj@640: 			var arr = jOWL.Xpath(__.rdfs("subClassOf")+"/"+__.owl("Restriction"), jnode)
mas01mj@640: 				.add(jOWL.Xpath(__.owl("intersectionOf")+"/"+__.owl("Restriction"), jnode));
mas01mj@640: 			arr.each(function(index, entry){
mas01mj@640: 			var cr = new jOWL.Ontology.Restriction($(entry));
mas01mj@640: 				var dupe = false;
mas01mj@640: 				crit.each(function(item, i){
mas01mj@640: 						if(this.property.name == cr.property.name){ dupe = item;}
mas01mj@640: 				});
mas01mj@640: 				if(dupe){ if(!dupe.merge(cr)){ crit.push(cr);} }
mas01mj@640: 				else { crit.push(cr);}
mas01mj@640: 			});
mas01mj@640: 			jOWL.data(self.name, "sourceof", crit);
mas01mj@640: 		}
mas01mj@640: 		var results = new jOWL.Ontology.Array();
mas01mj@640: 
mas01mj@640: 		crit.each(function(){
mas01mj@640: 
mas01mj@640: 			var propertyMatch = property ? false : true;
mas01mj@640: 			var targetMatch = target ? false : true;
mas01mj@640: 
mas01mj@640: 			if(!propertyMatch){
mas01mj@640: 				if(property.isArray){	propertyMatch = property.contains(this.property);}
mas01mj@640: 				else { propertyMatch = (property.URI == this.property.URI);}
mas01mj@640: 			}
mas01mj@640: 
mas01mj@640: 			if(!target){
mas01mj@640: 				if(options.transitive && this.property.isTransitive){ 
mas01mj@640: 					var rTarget = this.getTarget();
mas01mj@640: 					var transitives = rTarget.sourceof(this.property, null, options);
mas01mj@640: 					results.concat(transitives);
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 
mas01mj@640: 			if(!targetMatch && !this.target){
mas01mj@640: 				targetMatch = !options.valuesOnly;
mas01mj@640: 			} 
mas01mj@640: 
mas01mj@640: 			if(!targetMatch){
mas01mj@640: 				var targ = this.getTarget();
mas01mj@640: 				if(targ.isClass && options.ignoreClasses){ return;}
mas01mj@640: 				targetMatch = jOWL.priv.testObjectTarget(target, this.target);
mas01mj@640: 				if(!targetMatch && options.transitive && propertyMatch && this.property.isTransitive){
mas01mj@640: 					if(targ.isThing){
mas01mj@640: 						if(targ.sourceof(property, target).length){ targetMatch = true;}
mas01mj@640: 					}
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 
mas01mj@640: 			if(propertyMatch && targetMatch){ results.pushUnique(this);}
mas01mj@640: 		});
mas01mj@640: 
mas01mj@640: 		if(!options.inherited){ return results;}
mas01mj@640: 
mas01mj@640: 		this.parents().each(function(){ 
mas01mj@640: 			if(this.sourceof){
mas01mj@640: 				this.sourceof(property, target, options).each(function(parentsource){
mas01mj@640: 					var ptarget = this.getTarget();
mas01mj@640: 					var containsProperty = false; 
mas01mj@640: 					var tempArray = new jOWL.Ontology.Array();
mas01mj@640: 					results.filter(function(){
mas01mj@640: 						var restr = this, keep = true;
mas01mj@640: 						if(restr.property.URI == parentsource.property.URI){
mas01mj@640: 							containsProperty = true;
mas01mj@640: 							if(!options.ignoreGenerics){
mas01mj@640: 								if(parentsource.target != restr.target){ tempArray.push(parentsource);}
mas01mj@640: 							} else {
mas01mj@640: 								if(ptarget.isThing){
mas01mj@640: 									keep = restr.getTarget().isThing && parentsource.target != restr.target;
mas01mj@640: 									tempArray.push(parentsource);
mas01mj@640: 								}
mas01mj@640: 							}
mas01mj@640: 						}
mas01mj@640: 						return keep;
mas01mj@640: 					});
mas01mj@640: 					if(!containsProperty){ results.push(parentsource);}
mas01mj@640: 					results.concat(tempArray);
mas01mj@640: 				});
mas01mj@640: 			}
mas01mj@640: 		});
mas01mj@640: 		return results;
mas01mj@640: 	}
mas01mj@640: });
mas01mj@640: 
mas01mj@640: /** Utility object */
mas01mj@640: jOWL.Ontology.Array = function(arr, isXML){
mas01mj@640: 	var self = this;
mas01mj@640: 	this.items = [];
mas01mj@640: 	if(arr){
mas01mj@640: 		if(isXML){ $.each(arr, function(){
mas01mj@640: 			var entry = this.jOWL ? this : jOWL($(this));
mas01mj@640: 			self.items.push(entry);}); 
mas01mj@640: 			}
mas01mj@640: 		else { this.items = arr;}
mas01mj@640: 	}
mas01mj@640: 	this.length = this.items.length;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.Ontology.Array.prototype = {
mas01mj@640: 	jOWL : jOWL.version,
mas01mj@640: 	isArray : true,
mas01mj@640: 	bind : function(listitem, fn){
mas01mj@640: 		return this.map(function(){
mas01mj@640: 			var syntax = listitem ? listitem.clone(true) : $('<span/>');
mas01mj@640: 			var html  = this.bind(syntax).append(document.createTextNode(' '));
mas01mj@640: 			if(fn){ fn.call(html, html, this);}
mas01mj@640: 			return html.get(0);
mas01mj@640: 		});
mas01mj@640: 	},
mas01mj@640: 	concat : function(arr, ignoreUnique){
mas01mj@640: 		var self = this;
mas01mj@640: 		if(arr.each){ arr.each(function(){
mas01mj@640: 			if(ignoreUnique){ self.push(this); }
mas01mj@640: 			else { self.pushUnique(this); }
mas01mj@640: 			});
mas01mj@640: 			}
mas01mj@640: 		else { self.items = self.items.concat(arr.items); this.length = self.items.length;}
mas01mj@640: 		return this;
mas01mj@640: 	},
mas01mj@640: 	contains : function(o){
mas01mj@640: 		return this.get(o) ? true: false;
mas01mj@640: 	},
mas01mj@640: 	each : function(fn, reverse){
mas01mj@640: 		var i, self = this;
mas01mj@640: 		var stop = false;
mas01mj@640: 		if(reverse){
mas01mj@640: 			for(i=this.items.length - 1; i>=0;i--){ 
mas01mj@640: 				if(stop){ break;}
mas01mj@640: 				(function(){
mas01mj@640: 					var item = self.eq(i); 
mas01mj@640: 					if(fn.call(item, item, i) === false){ stop = true;}
mas01mj@640: 				})();
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		else {
mas01mj@640: 			for(i=0;i<this.items.length;i++){
mas01mj@640: 				if(stop){ break;}
mas01mj@640: 				(function(){
mas01mj@640: 					var item = self.eq(i); 
mas01mj@640: 					if(fn.call(item, item, i) === false){ stop = true;}
mas01mj@640: 				})();} 
mas01mj@640: 		}
mas01mj@640: 		return this;
mas01mj@640: 	},
mas01mj@640: 	eq : function(index){
mas01mj@640: 		if(index < 0 || index > this.items.length -1){ return null;}
mas01mj@640: 		return this.items[index];
mas01mj@640: 	},
mas01mj@640: 	filter : function(fn){
mas01mj@640: 		var self = this;
mas01mj@640: 		this.each(function(item, i){
mas01mj@640: 			var q = fn.call(item, item, i);
mas01mj@640: 			if(!q){ self.items.splice(i, 1);}
mas01mj@640: 			}, true);
mas01mj@640: 		this.length = this.items.length;
mas01mj@640: 		return this;
mas01mj@640: 	},
mas01mj@640: 	getIndex : function(o){
mas01mj@640: 		var found  = -1;
mas01mj@640: 		if(o.equals){
mas01mj@640: 			this.each(function(a, i){
mas01mj@640: 				if(this.equals && this.equals(o)){ found = i; return false;}
mas01mj@640: 			});
mas01mj@640: 		}
mas01mj@640: 		else {
mas01mj@640: 			if(typeof o == 'number'){ return o;}
mas01mj@640: 			var name = typeof o == "string" ? o : o.name;
mas01mj@640: 			var URI = o.URI || name;
mas01mj@640: 
mas01mj@640: 			this.each(function(a, i){
mas01mj@640: 				if(this.URI){ if(this.URI == URI){ found = i;}}
mas01mj@640: 				else if(this.name == name){ found = i;}
mas01mj@640: 			});
mas01mj@640: 		}
mas01mj@640: 		return found;
mas01mj@640: 	},
mas01mj@640: 	get : function(o){
mas01mj@640: 		return this.eq(this.getIndex(o));
mas01mj@640: 	},
mas01mj@640: 	map : function(fn){
mas01mj@640: 		var arr = [];
mas01mj@640: 		this.each(function(){ arr.push(fn.call(this, this));});
mas01mj@640: 		return arr;
mas01mj@640: 	},
mas01mj@640: 	push : function(o){
mas01mj@640: 		this.items.push(o);
mas01mj@640: 		this.length = this.items.length;
mas01mj@640: 		return this;
mas01mj@640: 	},
mas01mj@640: 	pushUnique : function(o){
mas01mj@640: 		return this.get(o) || this.push(o).get(o);
mas01mj@640: 	},
mas01mj@640: 	toString : function(){
mas01mj@640: 		return this.map(function(){return this.URI;}).join(', ');
mas01mj@640: 	},
mas01mj@640: 	/** Convert this array into an associative array with key = URI */
mas01mj@640: 	associative : function(){
mas01mj@640: 		var arr = {};
mas01mj@640: 		this.each(function(){
mas01mj@640: 			if(this.URI){ arr[this.URI] = this;}
mas01mj@640: 		});
mas01mj@640: 		return arr;
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: 
mas01mj@640: jOWL.options = {reason: true, locale:false, defaultlocale: 'en',
mas01mj@640: 	dictionary : { create: true, addID : true },
mas01mj@640: 	onParseError : function(msg){alert("jOWL parseError: "+msg);}, cacheProperties : true, niceClassLabels : true};
mas01mj@640: jOWL.document = null;
mas01mj@640: jOWL.namespace = null;
mas01mj@640: jOWL.indices = { //internal indices
mas01mj@640: 	P : null, //jOWL array
mas01mj@640: 	data : {},
mas01mj@640: 	IDs : null,
mas01mj@640: 	I : null, //Intersection
mas01mj@640: 	T : null, //Thing
mas01mj@640: 	D : null, //dictionary
mas01mj@640: 	reset : function(){var i = jOWL.indices; i.data = {}; i.P = null; i.T = null; i.IDs = null; i.I = null;i.D = null;}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.index = function(type, wipe){
mas01mj@640: 		var i = jOWL.indices;
mas01mj@640: 		switch (type)
mas01mj@640: 		{
mas01mj@640: 		/**jOWL indexes all elements with rdf:ID, and first order ontology elements specified with rdf:about 
mas01mj@640: 		@return Associative array with key = URI and value = jOWL object.
mas01mj@640: 		*/
mas01mj@640: 		case "ID":
mas01mj@640: 			if(i.IDs === null || wipe){
mas01mj@640: 				if(wipe){ i.reset();}
mas01mj@640: 				i.IDs = {};
mas01mj@640: 				i.T = {};
mas01mj@640: 				var start = new Date();
mas01mj@640: 
mas01mj@640: 				var rID = jOWL.Xpath("//*[@"+__.rdf("ID")+"]").each(function(){
mas01mj@640: 					var jowl = jOWL.getResource($(this)); 
mas01mj@640: 					if(jowl){
mas01mj@640: 						i.IDs[jowl.URI] = jowl;
mas01mj@640: 						if(jowl.isThing){
mas01mj@640: 							if(!i.T[jowl.Class]){ i.T[jowl.Class] = new jOWL.Ontology.Array();}
mas01mj@640: 							i.T[jowl.Class].push(jowl);
mas01mj@640: 						}
mas01mj@640: 					}
mas01mj@640: 				});
mas01mj@640: 
mas01mj@640: 				var rAbout = jOWL.Xpath("/"+__.rdf("RDF")+"/*[@"+__.rdf("about")+"]").each(function(){
mas01mj@640: 					var jnode = $(this);
mas01mj@640: 					var jowl = jOWL.getResource($(this));
mas01mj@640: 					if(!jowl){ return;}
mas01mj@640: 						if(jowl.isClass || jowl.isProperty || jowl.isThing){
mas01mj@640: 							if(i.IDs[jowl.URI]){ jnode.children().appendTo(i.IDs[jowl.URI].jnode); return;}
mas01mj@640: 							i.IDs[jowl.URI] = jowl; 
mas01mj@640: 							if(jowl.isThing){
mas01mj@640: 								if(!i.T[jowl.Class]){ i.T[jowl.Class] = new jOWL.Ontology.Array();}
mas01mj@640: 								i.T[jowl.Class].push(jowl);
mas01mj@640: 							}
mas01mj@640: 							return; 
mas01mj@640: 						}
mas01mj@640: 				});
mas01mj@640: 				console.log("Loaded in "+(new Date().getTime() - start.getTime())+"ms");
mas01mj@640: 				}
mas01mj@640: 			return i.IDs;
mas01mj@640: 		/** Generated together with ID index.
mas01mj@640: 		* @return Associative Array, key = class, value = jOWL Array of individuals.
mas01mj@640: 		*/
mas01mj@640: 		case "Thing":
mas01mj@640: 			return i.T;
mas01mj@640: 		case "intersection":
mas01mj@640: 			if(i.I === null || wipe){
mas01mj@640: 				var temp =  new jOWL.Ontology.Array();
mas01mj@640: 				i.I  = {};
mas01mj@640: 				jOWL.Xpath("//"+__.owl("intersectionOf")).each(function(){
mas01mj@640: 					var isect = new jOWL.Ontology.Intersection($(this));
mas01mj@640: 					if(!isect.URI){return;}
mas01mj@640: 					var dupe = temp.get(isect);
mas01mj@640: 					if(dupe){
mas01mj@640: 						console.log("duplicate intersection found between : (Ignoring) "+isect.URI+"  and "+dupe.URI);
mas01mj@640: 					} else {
mas01mj@640: 						if(!i.I[isect.URI]){i.I[isect.URI] = new jOWL.Ontology.Array();}
mas01mj@640: 						temp.push(isect);
mas01mj@640: 						i.I[isect.URI].push(isect);
mas01mj@640: 					}
mas01mj@640: 				});
mas01mj@640: 				}
mas01mj@640: 			return i.I;
mas01mj@640: 		case "property":
mas01mj@640: 			if(i.P === null || wipe)
mas01mj@640: 			{
mas01mj@640: 			jOWL.options.cacheProperties = false;
mas01mj@640: 			i.P = new jOWL.Ontology.Array();
mas01mj@640: 			for(x in i.IDs){
mas01mj@640: 				var jowl = i.IDs[x];
mas01mj@640: 				if(jowl.isProperty){ i.P.push(jowl);}
mas01mj@640: 			}
mas01mj@640: 			jOWL.options.cacheProperties = true;
mas01mj@640: 			}
mas01mj@640: 			return i.P;
mas01mj@640: 		case "dictionary":
mas01mj@640: 			/**Dictionary: Array of Arrays, where secondary array is of form: [0] = term, [1] = rdfID, [2] = locale */
mas01mj@640: 			if(i.D === null || wipe)
mas01mj@640: 			{
mas01mj@640: 				i.D = [];
mas01mj@640: 				for(x in i.IDs){
mas01mj@640: 					var entry = i.IDs[x];
mas01mj@640: 					i.D = i.D.concat(entry.terms());
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 			return i.D;
mas01mj@640: 		}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Internal Function, storing data in associative array (JSON),
mas01mj@640: jquery data function cannot be used as expando data does not work in IE for ActiveX XMLhttprequest*/
mas01mj@640: jOWL.data = function(rdfID, dtype, data){
mas01mj@640: 	var d = jOWL.indices.data;
mas01mj@640: 	if(!d[rdfID]){ d[rdfID] = {};}
mas01mj@640: 	if(!data){ return d[rdfID][dtype];}
mas01mj@640: 	d[rdfID][dtype] = data;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: * Initialize jOWL with an OWL-RDFS document.
mas01mj@640: * @param path relative path to xml document
mas01mj@640: * @param callback callback function to be called when loaded.
mas01mj@640: * @options : optional settings:
mas01mj@640: *	onParseError : function(msg){} function to ba called when parsing fails
mas01mj@640: *	reason : true/false, turns on additional reasoning at the expense of performance
mas01mj@640: *	locale: set preferred language (if available), examples en, fr...
mas01mj@640: */
mas01mj@640: jOWL.load = function(path, callback, options){
mas01mj@640: 	var that = this;
mas01mj@640: 	if($.browser.msie && location.toString().indexOf('file') === 0){ //IE won't load local xml files otherwise
mas01mj@640: 		var xml = document.createElement("xml");
mas01mj@640: 		xml.validateOnParse = false; //IE throws DTD errors (for 'rdf:') on perfectly defined OWL files otherwise
mas01mj@640: 		xml.src = path;
mas01mj@640: 		xml.onreadystatechange = function(){
mas01mj@640: 			if(xml.readyState == "interactive"){ var xmldoc = xml.XMLDocument; document.body.removeChild(xml);callback(that.parse(xmldoc, options));}
mas01mj@640: 			};
mas01mj@640: 		document.body.appendChild(xml);
mas01mj@640: 		}
mas01mj@640: 	else {
mas01mj@640: 		$.get(path, function(xml){callback(that.parse(xml, options));});
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: * initialize jOWL with some OWL-RDFS syntax
mas01mj@640: * @param doc Either an xmlString or an xmlDocument
mas01mj@640: * @param options optional, onParseError(msg) : function to execute when parse fails
mas01mj@640: * @returns false on failure, or the jOWL object
mas01mj@640: */
mas01mj@640: jOWL.parse = function(doc, options){
mas01mj@640: 	jOWL.document = null;
mas01mj@640: 	this.options = $.extend(jOWL.options, options);
mas01mj@640: 	if(typeof doc == 'string'){ doc = jOWL.fromString(doc);}
mas01mj@640: 	jOWL.document = doc;
mas01mj@640: 	if($.browser.msie){
mas01mj@640: 		if(doc.parseError.errorCode !== 0){ jOWL.options.onParseError(doc.parseError.reason); return false;}
mas01mj@640: 		}
mas01mj@640: 	else if(doc.documentElement.nodeName == 'parsererror'){jOWL.options.onParseError(doc.documentElement.firstChild.nodeValue); return false;}
mas01mj@640: 	var root = $(doc.documentElement);
mas01mj@640: 	jOWL.NS(root);
mas01mj@640: 	if($.browser.msie){
mas01mj@640: 		jOWL.document.setProperty("SelectionLanguage", "XPath");
mas01mj@640: 		jOWL.document.setProperty("SelectionNamespaces", __());
mas01mj@640: 	}
mas01mj@640: 	this.index('ID', true);
mas01mj@640: 	if(jOWL.options.cacheProperties){ this.index('property', true);}
mas01mj@640: 	if(jOWL.options.dictionary.create){ jOWL.index("dictionary");}
mas01mj@640: 	jOWL.Thing = new jOWL.Ontology.Thing($(jOWL.create(__.owl, "Class").attr(__.rdf, 'about', __.owl()+'Thing').node)); 
mas01mj@640: 	jOWL.Thing.type = false;	
mas01mj@640: 	return this;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: * A String representation of the OWL-RDFS document
mas01mj@640: * @param xmlNode optional, node to generate a string from, when unspecified the entire document
mas01mj@640: */
mas01mj@640: jOWL.toString = function(xmlNode){
mas01mj@640: 	if(!xmlNode){ return jOWL.toString(jOWL.document);}
mas01mj@640: 	if($.browser.msie){ return xmlNode.xml;}
mas01mj@640: 	return new XMLSerializer().serializeToString(xmlNode);// Gecko-based browsers, Safari, Opera.
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** create a document from string */
mas01mj@640: jOWL.fromString = function(doc){
mas01mj@640: 	var owldoc;
mas01mj@640: 	if(document.implementation.createDocument){ owldoc = new DOMParser().parseFromString(doc, "text/xml");} // Mozilla and Netscape browsers
mas01mj@640: 	else if(window.ActiveXObject){ // MSIE
mas01mj@640: 		var xmldoc = new ActiveXObject("Microsoft.XMLDOM");
mas01mj@640: 		xmldoc.async="false";
mas01mj@640: 		xmldoc.validateOnParse = false;
mas01mj@640: 		xmldoc.loadXML(doc);
mas01mj@640: 		owldoc = xmldoc;
mas01mj@640: 		}
mas01mj@640: 	return owldoc;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** @return false if belongs to this namespace, or an array with length two, arr[0] == url, arr[1] == id */
mas01mj@640: jOWL.isExternal = function(resource){
mas01mj@640: 	var r = jOWL.resolveURI(resource, true);
mas01mj@640: 	return r[0] != jOWL.namespace ? r : false;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** 
mas01mj@640: if a URI belongs to the loaded namespace, then strips the prefix url of, else preserves URI 
mas01mj@640: also able to parse and reference html (or jquery) elements for their URI.
mas01mj@640: */
mas01mj@640: jOWL.resolveURI = function(URI, array){
mas01mj@640: 	if(typeof URI != "string"){
mas01mj@640: 		var node = URI.jquery ? URI.get(0) : URI;
mas01mj@640: 		URI = node.localName || node.baseName;
mas01mj@640: 		if(node.namespaceURI){ URI = node.namespaceURI + URI;}
mas01mj@640: 		return jOWL.resolveURI(URI, array);
mas01mj@640: 	}
mas01mj@640: 	var rs = URI, ns = jOWL.namespace;
mas01mj@640: 	if(URI.indexOf('http') === 0){
mas01mj@640: 		var tr = URI.indexOf('#');
mas01mj@640: 		if(tr <= 0){ tr = URI.lastIndexOf('/');}
mas01mj@640: 		if(tr > 0)
mas01mj@640: 		{
mas01mj@640: 			ns = URI.substring(0, tr+1);
mas01mj@640: 			rs = URI.substring(tr+1);
mas01mj@640: 		}
mas01mj@640: 	} else if(URI.charAt(0) == '#'){ return URI.substring(1);}
mas01mj@640: 	if(array){ return [ns, rs];}
mas01mj@640: 	if(ns == jOWL.namespace){ return rs;}
mas01mj@640: 	return URI;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: Main method to get an Ontology Object, access via jOWL(>String>, options);
mas01mj@640: resource: rdfID/rdfResource<String> or jQuery node.
mas01mj@640: */
mas01mj@640: jOWL.getResource = function(resource, options){
mas01mj@640: 	if(!jOWL.document){ throw "You must successfully load an ontology before you can find anything";}
mas01mj@640: 	if(!resource){ throw "No resource specified";}
mas01mj@640: 	var node;
mas01mj@640: 	var opts = $.extend({}, options);
mas01mj@640: 	if(typeof resource == 'string'){
mas01mj@640: 		resource = jOWL.resolveURI(resource);
mas01mj@640: 		if(resource == 'Thing' || resource == __.owl()+'Thing'){ return jOWL.Thing;}
mas01mj@640: 		if(opts.type == 'property' && jOWL.options.cacheProperties){
mas01mj@640: 			var c = jOWL.index('property').get(resource);
mas01mj@640: 			if(c){ return c;}
mas01mj@640: 			if(jOWL.isExternal(resource)){ console.log("undeclared resource: "+resource); return new jOWL.Ontology.Property(resource);}
mas01mj@640: 			}
mas01mj@640: 		var match = jOWL.index("ID")[resource];
mas01mj@640: 		if(!match){ //try case insensitive
mas01mj@640: 			for(caseIns in jOWL.index("ID")){
mas01mj@640: 				if(caseIns.toLowerCase() == resource.replace(/ /g, "").toLowerCase()){ match = jOWL.index("ID")[caseIns]; break;}
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		if(!match){
mas01mj@640: 			if(jOWL.isExternal(resource)){
mas01mj@640: 				console.log("undeclared resource: "+resource);
mas01mj@640: 				return new jOWL.Ontology.Thing(resource);
mas01mj@640: 			}
mas01mj@640: 			console.log(resource+" not found"); 
mas01mj@640: 			return null; 
mas01mj@640: 		}
mas01mj@640: 		return match;
mas01mj@640: 	}
mas01mj@640: 	node = resource.jquery ? resource : $(resource);
mas01mj@640: 	var jj = jOWL.type(node); if(!jj){ return null;}
mas01mj@640: 	return new (jj)(node);
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** 
mas01mj@640: * @param node jquery or html element.
mas01mj@640: * @return the ontology type of the object.
mas01mj@640: */
mas01mj@640: jOWL.type = function(node){
mas01mj@640: 	var xmlNode = node.jquery ? node.get(0) : node;
mas01mj@640: 	switch(xmlNode.nodeName){
mas01mj@640: 		case __.owl("Class") : return jOWL.Ontology.Class;
mas01mj@640: 		case __.rdfs("Class") : return jOWL.Ontology.Class; //test
mas01mj@640: 		case __.owl("Ontology") : return jOWL.Ontology;
mas01mj@640: 		case __.owl("ObjectProperty") : return jOWL.Ontology.ObjectProperty;
mas01mj@640: 		case __.owl("DatatypeProperty") : return jOWL.Ontology.DatatypeProperty;
mas01mj@640: 		case __.owl("FunctionalProperty") : return jOWL.Ontology.Property;
mas01mj@640: 		case __.rdf("Property") : return jOWL.Ontology.Property;
mas01mj@640: 		case __.owl("InverseFunctionalProperty") : return jOWL.Ontology.ObjectProperty;
mas01mj@640: 		case __.owl("TransitiveProperty") : return jOWL.Ontology.ObjectProperty;
mas01mj@640: 		case __.owl("SymmetricProperty") : return jOWL.Ontology.ObjectProperty;
mas01mj@640: 		//jOWL currently treats annotationproperties as string datatypeproperties.
mas01mj@640: 		case __.owl("AnnotationProperty") : return jOWL.Ontology.DatatypeProperty;
mas01mj@640: 		default :
mas01mj@640: 			switch(xmlNode.namespaceURI){
mas01mj@640: 				case __.owl(): if(xmlNode.nodeName == __.owl("Thing") ){ return jOWL.Ontology.Individual;} return false;
mas01mj@640: 				case __.rdf(): return false;
mas01mj@640: 				case __.rdfs(): return false;
mas01mj@640: 				default : return jOWL.Ontology.Individual;
mas01mj@640: 			}
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: @param rdfID <String> or Array<String>
mas01mj@640: @return Array of DOM (xml) Nodes
mas01mj@640: */
mas01mj@640: jOWL.getXML = function(rdfID){
mas01mj@640: 	var node = [];
mas01mj@640: 	function fetchFromIndex(rdfID){ 
mas01mj@640: 		var el = jOWL.index("ID")[rdfID];
mas01mj@640: 		return el ? el : null;
mas01mj@640: 	}
mas01mj@640: 
mas01mj@640: 	if(typeof rdfID == 'string'){ var q = fetchFromIndex(rdfID); if(q){ node.push(q);} }
mas01mj@640: 	else if(jOWL.priv.Array.isArray(rdfID)){ //assume an array of string rdfIDs
mas01mj@640: 		$.each(rdfID, function(){  
mas01mj@640: 			var el = fetchFromIndex(this); if(el){ node.push(el);}
mas01mj@640: 			});
mas01mj@640: 	}
mas01mj@640: 	return node;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Create new ontology elements */
mas01mj@640: jOWL.create = function(namespace, name, document){
mas01mj@640: 	var doc = document ? document : jOWL.document;
mas01mj@640: 
mas01mj@640: 	var el = {
mas01mj@640: 		attr : function(namespace, name, value){
mas01mj@640: 			if($.browser.msie){
mas01mj@640: 				var attribute = doc.createNode(2, namespace(name), namespace());
mas01mj@640: 				attribute.nodeValue = value;
mas01mj@640: 				this.node.setAttributeNode(attribute);
mas01mj@640: 			}
mas01mj@640: 			else { this.node.setAttributeNS(namespace(), namespace(name), value);}
mas01mj@640: 			return this;
mas01mj@640: 		},
mas01mj@640: 		appendTo : function(node){
mas01mj@640: 			var n = node.node ? node.node : node;
mas01mj@640: 			n.appendChild(this.node);
mas01mj@640: 			return this;
mas01mj@640: 		},
mas01mj@640: 		text : function(text, cdata){
mas01mj@640: 			var txt = cdata ? doc.createCDATASection(text) : doc.createTextNode(text);
mas01mj@640: 			this.node.appendChild(txt);
mas01mj@640: 			return this;
mas01mj@640: 		}
mas01mj@640: 	};
mas01mj@640: 
mas01mj@640: 	if($.browser.msie){ el.node = doc.createNode(1, namespace(name), namespace());}
mas01mj@640: 	else { el.node = doc.createElementNS(namespace(), namespace(name));}
mas01mj@640: 	return el;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Create a blank ontology document */
mas01mj@640: jOWL.create.document = function(href){
mas01mj@640: 	var owl = [];
mas01mj@640: 	var base = href || window.location.href+"#";
mas01mj@640: 	owl.push('<?xml version="1.0"?>');
mas01mj@640: 	owl.push('<'+__.rdf('RDF')+' xml:base="'+base+'" xmlns="'+base+'" '+__()+'>');
mas01mj@640: 	owl.push('   <'+__.owl('Ontology')+' '+__.rdf('about')+'=""/>');
mas01mj@640: 	owl.push('</'+__.rdf('RDF')+'>');
mas01mj@640: 	return jOWL.fromString(owl.join('\n'));
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Extracts RDFa syntax from current page and feeds it to jOWL, simple implementation, only classes for the time being */
mas01mj@640: jOWL.parseRDFa = function(fn, options){
mas01mj@640: 	var entries = options.node ? $("[typeof]", options.node) : $("[typeof]");
mas01mj@640: 	var doc = jOWL.create.document();
mas01mj@640: 
mas01mj@640: 	 function property(p, node){
mas01mj@640: 		var arr = [];
mas01mj@640: 		$("[property="+p+"]", node).each(function(){ arr.push($(this).attr('content') || $(this).html());});
mas01mj@640: 		if(node.attr('property') === p){ arr.push(node.attr('content') || node.html());}
mas01mj@640: 		return arr;
mas01mj@640: 	}
mas01mj@640: 
mas01mj@640: 	function rel(p, node){
mas01mj@640: 		var arr = [];
mas01mj@640: 		$("[rel="+p+"]", node).each(function(){ arr.push($(this).attr('resource'));});
mas01mj@640: 		if(node.attr("rel") === p){ arr.push(node.attr('resource'));}
mas01mj@640: 		return arr;
mas01mj@640: 	}
mas01mj@640: 
mas01mj@640: 	function makeClass(node, ID){
mas01mj@640: 		var cl = jOWL.create(__.owl, "Class", doc).attr(__.rdf, 'about', ID).appendTo(doc.documentElement);
mas01mj@640: 
mas01mj@640: 		var parents = property(__.rdfs("subClassOf"), node).concat(rel(__.rdfs("subClassOf"), node));
mas01mj@640: 		for(var i = 0;i<parents.length;i++){
mas01mj@640: 			var p = jOWL.create(__.rdfs, "subClassOf", doc).attr(__.rdf, "resource", parents[i]).appendTo(cl);
mas01mj@640: 		}
mas01mj@640: 		return cl;
mas01mj@640: 	}
mas01mj@640: 
mas01mj@640: 	entries.each(function(){
mas01mj@640: 		var node = $(this);
mas01mj@640: 		var type = node.attr("typeof"), el;
mas01mj@640: 
mas01mj@640: 		if(type == __.owl("Class")){ el = makeClass(node, jOWL.resolveURI(node.attr("about")));}
mas01mj@640: 
mas01mj@640: 		$.each(property(__.rdfs('comment'), node), function(){
mas01mj@640: 			jOWL.create(__.rdfs, "comment", doc).appendTo(el).text(this, true);
mas01mj@640: 		});
mas01mj@640: 
mas01mj@640: 		$.each(property(__.rdfs('label'), node), function(){
mas01mj@640: 			jOWL.create(__.rdfs, "label", doc).appendTo(el).text(this);
mas01mj@640: 		});
mas01mj@640: 	});
mas01mj@640: 	jOWL.parse(doc, options);
mas01mj@640: 	fn();
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: Match part or whole of the rdfResource<String>
mas01mj@640: Used for term searches, intend to (partially) replace it by a sparql-dl query later on
mas01mj@640: options:
mas01mj@640:     filter: filter on a specific type, possible values: Class, Thing, ObjectProperty, DatatypeProperty
mas01mj@640:     exclude: exclude specific types, not fully implemented
mas01mj@640: */
mas01mj@640: jOWL.query = function(match, options){
mas01mj@640: 	options = $.extend({exclude : false}, options);
mas01mj@640: 	if(options.filter == 'Class'){ options.filter = __.owl("Class");}
mas01mj@640: 	var that = this;
mas01mj@640: 	//filter : [], exclude : false
mas01mj@640: 	var items = new jOWL.Ontology.Array();
mas01mj@640: 	var jsonobj = {};
mas01mj@640: 	var test = jOWL.index("dictionary");
mas01mj@640: 
mas01mj@640: 	function store(item){
mas01mj@640: 			var include = false, i = 0;
mas01mj@640: 			if(options.filter){
mas01mj@640: 				if(typeof options.filter == 'string'){ include = (options.filter == item[3]);}
mas01mj@640: 				else { for(i = 0;i<options.filter.length;i++){ if(options.filter[i] == item[3]){ include = true;} } }
mas01mj@640: 				}
mas01mj@640: 			else if(options.exclude){
mas01mj@640: 				include = true;
mas01mj@640: 				if(typeof options.exclude == 'string'){ include = (options.exclude !== item[3]);}
mas01mj@640: 				else { for(i = 0;i<options.exclude.length;i++){ if(options.exclude[i] == item[3]){ include = false;} } }
mas01mj@640: 			}
mas01mj@640: 			else { include = true;}
mas01mj@640: 			if(!include){ return;}
mas01mj@640: 			if(!jsonobj[item[1]]){ jsonobj[item[1]] = [];}
mas01mj@640: 			jsonobj[item[1]].push( { term : item[0], locale: item[2], type: item[3] });
mas01mj@640: 	}
mas01mj@640: 
mas01mj@640: 	for(var y = 0;y<test.length;y++){
mas01mj@640: 		var item = test[y];
mas01mj@640: 		var bool = options.exclude;
mas01mj@640: 		var r = item[0].searchMatch(match);
mas01mj@640: 		if(r > -1){
mas01mj@640: 			if(options.locale){ if(options.locale == item[2]){ store(item);} }
mas01mj@640: 			else { store(item);}
mas01mj@640: 		}
mas01mj@640: 	}
mas01mj@640: 	return jsonobj;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: allows asynchronous looping over arrays (prevent bowser freezing).
mas01mj@640: arr the array to loop asynchonrously over.
mas01mj@640: options.modify(item) things to do with each item of the array
mas01mj@640: options.onUpdate array the size of chewsize or smaller, containing processed entries
mas01mj@640: options.onComplete(array of results) function triggered when looping has completed
mas01mj@640: */
mas01mj@640: jOWL.throttle =function(array, options){
mas01mj@640: 	options = $.extend({
mas01mj@640: 		modify : function(result){},
mas01mj@640: 		//onUpdate : function(arr){},
mas01mj@640: 		onComplete : function(arr){},
mas01mj@640: 		async : true,
mas01mj@640: 		chewsize : 5,
mas01mj@640: 		startIndex : 0,
mas01mj@640: 		timing : 5
mas01mj@640: 		}, options);
mas01mj@640: 	var temp = array.jOWL ? array.items : (array.jquery) ? $.makeArray(array) : array;
mas01mj@640: 	var items = options.startIndex ? temp.slice(startIndex) : temp.concat(); //clone the array
mas01mj@640: 	var results = [];
mas01mj@640: 
mas01mj@640: 	(function(){
mas01mj@640: 		var count = options.chewsize;
mas01mj@640: 		var a = [];
mas01mj@640: 		while (count > 0 && items.length > 0)
mas01mj@640: 		{
mas01mj@640: 			var item = items.shift(); count--;
mas01mj@640: 			var result = options.modify.call(item, item);
mas01mj@640: 			if(result){ results.push(result); a.push(result);}
mas01mj@640: 		}
mas01mj@640: 		if(options.onUpdate){ options.onUpdate(a);}
mas01mj@640: 
mas01mj@640: 		if(items.length> 0){
mas01mj@640: 			if(options.async){ setTimeout(arguments.callee, options.timing);}
mas01mj@640: 			else {arguments.callee();}
mas01mj@640: 		}
mas01mj@640: 		else{ options.onComplete(results);}
mas01mj@640: 	})();
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Creates a new resultobj for the SPARQL-DL functionality */
mas01mj@640: jOWL.SPARQL_DL_Result = function(){
mas01mj@640: 	this.assert = undefined;
mas01mj@640: 	this.head = {}; //associative array of query parameters, with value jOWL Array of results
mas01mj@640: 	this.results = []; //sparql-dl bindings
mas01mj@640: 	this.isBound = false;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.SPARQL_DL_Result.prototype = {
mas01mj@640: 	sort : function(param){
mas01mj@640: 		if(!param){ throw "parameter must be defined for sort function";}
mas01mj@640: 		function sortResults(a, b){
mas01mj@640: 			var o = a[param].name || a[param];
mas01mj@640: 			var p = b[param].name || b[param];
mas01mj@640: 			return (o < p) ? -1 : 1;
mas01mj@640: 		}
mas01mj@640: 		if(this.results){ this.results.sort(sortResults); }
mas01mj@640: 	},
mas01mj@640: 	jOWLArray : function(param){
mas01mj@640: 		if(!param){ throw "parameter must be defined for jOWLArray function";}
mas01mj@640: 		var arr = new jOWL.Ontology.Array();
mas01mj@640: 		for(var i=0;i<this.results.length;i++){
mas01mj@640: 		if(this.results[i][param]){ arr.pushUnique(this.results[i][param]);}
mas01mj@640: 		}
mas01mj@640: 		return arr;
mas01mj@640: 	},
mas01mj@640: 	/** Filter head Parameters */
mas01mj@640: 	filter : function(param, arr){
mas01mj@640: 		if(this.head[param] === undefined){this.head[param] = arr;}
mas01mj@640: 		else {
mas01mj@640: 			var self = this; 
mas01mj@640: 			this.head[param].filter(function(){ return (arr.contains(this));});
mas01mj@640: 			arr.filter(function(){ return (self.head[param].contains(this));});
mas01mj@640: 		}
mas01mj@640: 	},
mas01mj@640: 	/** Update result section, results = SPARQL_DL_Array */
mas01mj@640: 	bind : function(results){
mas01mj@640: 		if(!this.isBound){//new results
mas01mj@640: 			this.results = this.results.concat(results.arr);
mas01mj@640: 			this.isBound = true;
mas01mj@640: 			return;
mas01mj@640: 		}
mas01mj@640: 		var multimapping = -1;
mas01mj@640: 		for(x in results.mappings){ multimapping++; }
mas01mj@640: 		var toAdd = [];
mas01mj@640: 
mas01mj@640: 		for(x in results.mappings){
mas01mj@640: 			var otherKeys;
mas01mj@640: 			if(multimapping){
mas01mj@640: 				otherKeys = results.keyCentric(x);
mas01mj@640: 			}
mas01mj@640: 			for(var i = this.results.length-1;i>=0;i--){
mas01mj@640: 				var valueX = this.results[i][x];
mas01mj@640: 				if(valueX){
mas01mj@640: 					if(!results.mappings[x].contains(valueX)){
mas01mj@640: 						this.results.splice(i, 1);
mas01mj@640: 						continue;
mas01mj@640: 					}
mas01mj@640: 					if(multimapping){
mas01mj@640: 						var keyArr= otherKeys[valueX.URI];
mas01mj@640: 						//ignoring the opposite for now (assuming original key x is unique (limits statements))
mas01mj@640: 						//TODO: improve these result merging methods/flexibility
mas01mj@640: 						for(var oK = 0; oK < keyArr.length;oK++){
mas01mj@640: 							var obj = (oK === 0) ? this.results[i] : {};
mas01mj@640: 							var valueY = keyArr[oK];
mas01mj@640: 							obj[x] = valueX;
mas01mj@640: 							for(yK in valueY){ obj[yK] = valueY[yK]; }
mas01mj@640: 							toAdd.push(obj);
mas01mj@640: 						}
mas01mj@640: 						this.results.splice(i, 1);
mas01mj@640: 					}
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		this.results = this.results.concat(toAdd);
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: /** Creates a new query for the SPARQL-DL functionality */
mas01mj@640: jOWL.SPARQL_DL_Query = function(syntax, parameters){
mas01mj@640: 		this.parse(syntax);
mas01mj@640: 		this.fill(parameters);
mas01mj@640: 		this.entries = this.entries.sort(this.sort);
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.SPARQL_DL_Query.prototype = {
mas01mj@640: 	parse : function(syntax){
mas01mj@640: 		 var r2 = /(\w+)[(]([^)]+)[)]/;
mas01mj@640: 		 var entries = syntax.match(/(\w+[(][^)]+[)])/g);
mas01mj@640: 		 if(!entries){ this.error =  "invalid abstract sparql-dl syntax"; return;}
mas01mj@640: 		 entries = jOWL.priv.Array.unique(entries);
mas01mj@640: 		 for(var i = 0;i<entries.length;i++){
mas01mj@640: 			var y = entries[i].match(r2);
mas01mj@640: 			if(y.length != 3){ this.error = "invalid abstract sparql-dl syntax"; return;}
mas01mj@640: 			entries[i] = [y[1], y[2].replace(/ /g, "").split(',')];
mas01mj@640: 		 }
mas01mj@640: 		 this.entries = entries;
mas01mj@640: 	},
mas01mj@640: 	fill : function(parameters){
mas01mj@640: 		for(var i = 0;i<this.entries.length;i++){
mas01mj@640: 			for(var j =0; j<this.entries[i][1].length; j++){
mas01mj@640: 				var p = parameters[this.entries[i][1][j]];
mas01mj@640: 				if(p !== undefined)  { this.entries[i][1][j] = p;}
mas01mj@640: 				else {
mas01mj@640: 					p = this.entries[i][1][j];
mas01mj@640: 					if(p.charAt(0) != '?')
mas01mj@640: 					{
mas01mj@640: 						if(this.entries[i][0] == "PropertyValue" && j == 2)
mas01mj@640: 						{
mas01mj@640: 						var m = p.match(/^["'](.+)["']$/);
mas01mj@640: 						if(m && m.length == 2){ this.entries[i][1][j] = {test: m[1]}; break;}
mas01mj@640: 						}
mas01mj@640: 					this.entries[i][1][j] = jOWL(p);
mas01mj@640: 					if(this.entries[i][1][j] === null){this.entries.error = "a parameter in the query was not found"; return;}
mas01mj@640: 					}
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 	},
mas01mj@640: 	sort : function(a, b){
mas01mj@640: 		var i;
mas01mj@640: 		if(a[1].length == 1){ return (b[0] == 'PropertyValue') ? 1 : -1;}
mas01mj@640: 		if(b[1].length == 1){ return (a[0] == 'PropertyValue') ? -1 : 1;}
mas01mj@640: 		var avar = 0; for(i = 0;i<a[1].length;i++){ if(typeof a[1][i] == 'string'){ avar++;} }
mas01mj@640: 		var bvar = 0; for(i = 0;i<a[1].length;i++){ if(typeof b[1][i] == 'string'){ bvar++;} }
mas01mj@640: 		if(avar != bvar){ return avar - bvar;}
mas01mj@640: 		if(a[0] == 'Type' && b[0] != 'Type'){ return -1;}
mas01mj@640: 		if(a[0] != 'Type' && b[0] == 'Type'){ return 1;}
mas01mj@640: 		return 0;
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Private function */
mas01mj@640: function _Binding(bindingarray){
mas01mj@640: 	this.value = {};
mas01mj@640: 	this.arr = bindingarray;
mas01mj@640: }
mas01mj@640: 
mas01mj@640: _Binding.prototype = {
mas01mj@640: 	bind : function(key, value){
mas01mj@640: 		this.value[key] = value;
mas01mj@640: 		if(!this.arr.mappings[key]){ this.arr.mappings[key] = new jOWL.Ontology.Array();}
mas01mj@640: 		this.arr.mappings[key].push(value);
mas01mj@640: 		return this;
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Local Function, private access, Temp results */
mas01mj@640: function SPARQL_DL_Array(keys){	
mas01mj@640: 	this.arr = [];
mas01mj@640: 	this.mappings = {};
mas01mj@640: 
mas01mj@640: 	if(keys){
mas01mj@640: 		for(var i =0;i<keys.length;i++){
mas01mj@640: 			if(keys[i]){this.mappings[keys[i]] = new jOWL.Ontology.Array();}
mas01mj@640: 		}
mas01mj@640: 	}
mas01mj@640: }
mas01mj@640: 
mas01mj@640: SPARQL_DL_Array.prototype = {
mas01mj@640: 	add : function(binding){
mas01mj@640: 		this.arr.push(binding.value);
mas01mj@640: 		return binding;
mas01mj@640: 	},
mas01mj@640: 	push : function(key, value){
mas01mj@640: 		var binding = new _Binding(this);
mas01mj@640: 		binding.bind(key, value);
mas01mj@640: 		this.arr.push(binding.value);
mas01mj@640: 		return binding;
mas01mj@640: 	},
mas01mj@640: 	keyCentric : function(keyX){
mas01mj@640: 		var arr = {};
mas01mj@640: 		for(var i = this.arr.length-1;i>=0;i--){
mas01mj@640: 			if(this.arr[i][keyX]){
mas01mj@640: 				if(!arr[this.arr[i][keyX].URI]){ arr[this.arr[i][keyX].URI] = []; }
mas01mj@640: 				arr[this.arr[i][keyX].URI].push(this.arr[i]);
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		return arr;
mas01mj@640: 	},
mas01mj@640: 	get : function(key)
mas01mj@640: 	{
mas01mj@640: 		return (this.mappings[key]) ? this.mappings[key] : new jOWL.Ontology.Array();
mas01mj@640: 	},
mas01mj@640: 	getArray : function(){
mas01mj@640: 		//check mappings for presence, discard arr entries based on that, return remainder.
mas01mj@640: 		for(var i = this.arr.length - 1;i>=0;i--){
mas01mj@640: 			var binding = this.arr[i], splice = false;
mas01mj@640: 			for(key in binding){
mas01mj@640: 				if(!splice){
mas01mj@640: 					splice = (!this.mappings[key] || !this.mappings[key].contains(binding[key]));
mas01mj@640: 				}
mas01mj@640: 			}
mas01mj@640: 			if(splice){
mas01mj@640: 				this.arr.splice(i, 1);
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		return this;
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: Support for abstract SPARQl-DL syntax
mas01mj@640: options.onComplete: function triggered when all individuals have been looped over
mas01mj@640: options.childDepth: depth to fetch children, default 5, impacts performance
mas01mj@640: options.chewsize: arrays will be processed in smaller chunks (asynchronous), with size indicated by chewsize, default 10
mas01mj@640: options.async: default true, query asynchronously
mas01mj@640: parameters: prefill some sparql-dl parameters with jOWL objects
mas01mj@640: execute: start query, results are passed through options.onComplete
mas01mj@640: */
mas01mj@640: jOWL.SPARQL_DL = function(syntax, parameters, options){
mas01mj@640: 	if(!(this instanceof arguments.callee)){ return new jOWL.SPARQL_DL(syntax, parameters, options);}
mas01mj@640: 	var self = this;
mas01mj@640: 	this.parameters = $.extend({}, parameters);
mas01mj@640: 	this.query = new jOWL.SPARQL_DL_Query(syntax, this.parameters).entries;
mas01mj@640: 	this.result = new jOWL.SPARQL_DL_Result();
mas01mj@640: 	this.options = $.extend({onComplete: function(results){}}, options);
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.SPARQL_DL.prototype = {
mas01mj@640: 	error: function(msg){ this.result.error = msg; return this.options.onComplete(this.result);},
mas01mj@640: 	/**
mas01mj@640: 	if(options.async == false) then this method returns the result of options.onComplete,
mas01mj@640: 	no matter what, result is always passed in options.onComplete
mas01mj@640: 	*/
mas01mj@640: 	execute : function(options){
mas01mj@640: 		var self = this;
mas01mj@640: 		this.options = $.extend(this.options, options);
mas01mj@640: 		if(this.query.error){ return this.error(this.query.error);}
mas01mj@640: 		
mas01mj@640: 		var resultobj = this.result;
mas01mj@640: 		var i = 0;  
mas01mj@640: 		var loopoptions = $.extend({}, this.options);
mas01mj@640: 		loopoptions.onComplete = function(results){ i++; resultobj = results; loop(i);};
mas01mj@640: 		
mas01mj@640: 		if(!this.query.length){
mas01mj@640: 			resultobj.error = "no query found or query did not parse properly";
mas01mj@640: 			return self.options.onComplete(resultobj);
mas01mj@640: 			}  
mas01mj@640: 			
mas01mj@640: 		function loop(i){
mas01mj@640: 			if(i < self.query.length){
mas01mj@640: 				self.process(self.query[i], resultobj, loopoptions );
mas01mj@640: 				}
mas01mj@640: 			else {
mas01mj@640: 				for(var j =0;j<resultobj.results.length;j++){ //Convert Literals into strings
mas01mj@640: 					var b = resultobj.results[j];
mas01mj@640: 					for(x in b){
mas01mj@640: 						if(b[x] instanceof jOWL.Literal){b[x] = b[x].name;}
mas01mj@640: 					}
mas01mj@640: 				}
mas01mj@640: 				return self.options.onComplete(resultobj);
mas01mj@640: 			}
mas01mj@640: 		} 
mas01mj@640: 		loop(i);
mas01mj@640: 	},
mas01mj@640: 	/** results are passed in the options.onComplete function */
mas01mj@640: 	process: function(entry, resultobj, options){
mas01mj@640: 		var self = this;
mas01mj@640: 		options = $.extend({chewsize: 10, async : true, onComplete : function(results){}}, options);
mas01mj@640: 		var q = entry[0];
mas01mj@640: 		var sizes = {
mas01mj@640: 			"Type": [__.owl('Thing'), __.owl('Class')],
mas01mj@640: 			"DirectType": [__.owl('Thing'), __.owl('Class')],
mas01mj@640: 			"PropertyValue" : [false, false, false],
mas01mj@640: 			"Class": [false],
mas01mj@640: 			"Thing": [false],
mas01mj@640: 			"ObjectProperty": [false],
mas01mj@640: 			"DatatypeProperty": [false],
mas01mj@640: 			"SubClassOf" : [__.owl('Class'), __.owl('Class')],
mas01mj@640: 			"DirectSubClassOf" : [__.owl('Class'), __.owl('Class')]
mas01mj@640: 			};
mas01mj@640: 		
mas01mj@640: 		if(!sizes[q]){ return self.error("'"+q+"' queries are not implemented");}
mas01mj@640: 		if(sizes[q].length != entry[1].length){ return self.error("invalid SPARQL-DL "+q+" specifications, "+sizes[q].length+" parameters required");}
mas01mj@640: 		for(var i = 0;i<entry[1].length;i++){
mas01mj@640: 			var v = sizes[q][i];
mas01mj@640: 			if(v){
mas01mj@640: 				var m = entry[1][i];
mas01mj@640: 				if(typeof m != 'string' && m.type != v){ return self.error("Parameter "+i+" in SPARQL-DL Query for "+q+" must be of the type: "+v);}
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: 		if(q == "DirectType"){ options.childDepth = 0; return self.fn.Type.call(self, entry[1], resultobj, options);}
mas01mj@640: 		else if(q == "DirectSubClassOf"){ options.childDepth = 1; return self.fn.SubClassOf.call(self, entry[1], resultobj, options);}
mas01mj@640: 		return self.fn[q].call(self, entry[1], resultobj, options);
mas01mj@640: 	},
mas01mj@640: 	fn : {
mas01mj@640: 			"SubClassOf" : function(syntax, resultobj, options){
mas01mj@640: 				var atom = new jOWL.SPARQL_DL.DoubleAtom(syntax, resultobj.head);
mas01mj@640: 				var results = new SPARQL_DL_Array();
mas01mj@640: 
mas01mj@640: 				if(atom.source.isURI() && atom.target.isURI()){//assert
mas01mj@640: 					if(resultobj.assert !== false){
mas01mj@640: 						var parents = atom.source.value.ancestors();
mas01mj@640: 						resultobj.assert = parents.contains(atom.target.value);
mas01mj@640: 					}
mas01mj@640: 					return options.onComplete(resultobj);
mas01mj@640: 				}
mas01mj@640: 				else if(atom.source.isURI()){//get parents
mas01mj@640: 					atom.source.value.ancestors().each(function(){
mas01mj@640: 						results.push(atom.target.value, this);
mas01mj@640: 						});
mas01mj@640: 					resultobj.filter(atom.target.value, results.get(atom.target.value));
mas01mj@640: 					resultobj.bind(results.getArray());
mas01mj@640: 					return options.onComplete(resultobj);
mas01mj@640: 				}
mas01mj@640: 				else if(atom.target.isURI()){//get children
mas01mj@640: 					atom.target.value.descendants(options.childDepth).each(function(){
mas01mj@640: 						results.push(atom.source.value, this);
mas01mj@640: 						});
mas01mj@640: 					resultobj.filter(atom.source.value, results.get(atom.source.value));
mas01mj@640: 					resultobj.bind(results.getArray());
mas01mj@640: 					return options.onComplete(resultobj);
mas01mj@640: 				}
mas01mj@640: 				else{//both undefined
mas01mj@640: 					return this.error('Unsupported SubClassOf query');
mas01mj@640: 				}
mas01mj@640: 			},
mas01mj@640: 			"Type" : function(syntax, resultobj, options){
mas01mj@640: 				var atom = new jOWL.SPARQL_DL.DoubleAtom(syntax, resultobj.head);
mas01mj@640: 			
mas01mj@640: 			function addIndividual(cl){
mas01mj@640: 				if(indivs[this.URI]){ return;}
mas01mj@640: 				var b = results.push(atom.source.value, this);
mas01mj@640: 				if(addTarget){  b.bind(atom.target.value, cl);}
mas01mj@640: 				indivs[this.URI] = true;
mas01mj@640: 			}
mas01mj@640: 
mas01mj@640: 			function traverse(node, match){
mas01mj@640: 					var a = node.parents();
mas01mj@640: 					var found = false;
mas01mj@640: 					if(a.contains(match)){ found = true;}
mas01mj@640: 					else { 
mas01mj@640: 						a.each(function(){
mas01mj@640: 							if(this == jOWL.Thing){ return;}
mas01mj@640: 							if(!found && traverse(this, match)){ found = true;} });
mas01mj@640: 						}
mas01mj@640: 					return found;
mas01mj@640: 				}
mas01mj@640: 				
mas01mj@640: 				if(atom.source.isURI() && atom.target.isURI()){//assert
mas01mj@640: 					return jOWL.SPARQL_DL.priv.assert(resultobj, function(){
mas01mj@640: 						var cl = atom.source.value.owlClass();
mas01mj@640: 						if(cl.URI == atom.target.value.URI){ return true;}
mas01mj@640: 						return traverse(cl, atom.target.value); 
mas01mj@640: 					}, options.onComplete);
mas01mj@640: 				}
mas01mj@640: 				else if(atom.source.getURIs() && !atom.target.getURIs()){//get class
mas01mj@640: 					var results = new SPARQL_DL_Array();
mas01mj@640: 					var addSource = !atom.source.isURI();
mas01mj@640: 					var addTarget = !atom.target.isURI();
mas01mj@640: 					 atom.source.getURIs().each(function(){
mas01mj@640: 						var b;
mas01mj@640: 						if(addTarget){ b = results.push(atom.target.value, this.owlClass());}
mas01mj@640: 						if(addSource){ 
mas01mj@640: 							if(addTarget){ b.bind(atom.source.value, this);}
mas01mj@640: 							else {results.push(atom.source.value, this);}
mas01mj@640: 						}
mas01mj@640: 					 });
mas01mj@640: 					if(addSource){  resultobj.filter(atom.source.value, results.get(atom.source.value));}
mas01mj@640: 					if(addTarget){  resultobj.filter(atom.target.value, results.get(atom.target.value));}
mas01mj@640: 					resultobj.bind(results.getArray());
mas01mj@640: 					return options.onComplete(resultobj);
mas01mj@640: 				}
mas01mj@640: 				else if(atom.target.getURIs()){//get Individuals, slow
mas01mj@640: 					var addTarget = !atom.target.isURI();
mas01mj@640: 					var classlist = atom.target.getURIs(),
mas01mj@640: 						classes = {}, indivs = {};
mas01mj@640: 
mas01mj@640: 						var results = new SPARQL_DL_Array();
mas01mj@640: 
mas01mj@640: 
mas01mj@640: 						classlist.each(function(){ //expand list of classes, not very fast!
mas01mj@640: 							if(classes[this.URI]){ return;}
mas01mj@640: 							var oneOf = this.oneOf(), cl = this;
mas01mj@640: 							if(oneOf.length){ oneOf.each(function(){ addIndividual.call(this, cl);});}
mas01mj@640: 							else{ this.descendants(options.childDepth).each(function(){ //this is the slower call
mas01mj@640: 								classes[this.URI] = true;
mas01mj@640: 							}); }
mas01mj@640: 							classes[this.URI] = true;
mas01mj@640: 						});
mas01mj@640: 
mas01mj@640: 						for(x in classes){
mas01mj@640: 							var individuals = jOWL.index("Thing")[x];
mas01mj@640: 							if(individuals){
mas01mj@640: 								var cl = jOWL.index('ID')[x];
mas01mj@640: 								if(options.onUpdate){ options.onUpdate(individuals);}
mas01mj@640: 								individuals.each(function(){
mas01mj@640: 									addIndividual.call(this, cl);
mas01mj@640: 								});
mas01mj@640: 							}
mas01mj@640: 						}
mas01mj@640: 						resultobj.filter(atom.source.value, results.get(atom.source.value));
mas01mj@640: 						resultobj.bind(results.getArray());
mas01mj@640: 						return options.onComplete(resultobj);
mas01mj@640: 				}
mas01mj@640: 				return this.error('Unsupported Type query');
mas01mj@640: 			},
mas01mj@640: 			"Thing" : function(syntax, resultobj, options){
mas01mj@640: 				jOWL.SPARQL_DL.priv.IDQuery(syntax[0], "isThing", resultobj, options);
mas01mj@640: 			},
mas01mj@640: 			"Class" : function(syntax, resultobj, options){ console.log('cl');
mas01mj@640: 				jOWL.SPARQL_DL.priv.IDQuery(syntax[0], "isClass", resultobj, options);
mas01mj@640: 			},
mas01mj@640: 			"ObjectProperty" : function(syntax, resultobj, options){
mas01mj@640: 				jOWL.SPARQL_DL.priv.PropertyQuery(syntax[0], jOWL.index("property").items, "isObjectProperty", resultobj, options);
mas01mj@640: 			},
mas01mj@640: 			"DatatypeProperty" : function(syntax, resultobj, options){
mas01mj@640: 				jOWL.SPARQL_DL.priv.PropertyQuery(syntax[0], jOWL.index("property").items, "isDatatypeProperty", resultobj, options);
mas01mj@640: 			},
mas01mj@640: 			"PropertyValue" : function(syntax, resultobj, options){
mas01mj@640: 				var atom = new jOWL.SPARQL_DL.TripleAtom(syntax, resultobj.head);
mas01mj@640: 				
mas01mj@640: 				if(atom.source.isURI() && atom.property.isURI() && atom.target.isURI()){//assert
mas01mj@640: 					if(resultobj.assert !== false){
mas01mj@640: 						jOWL.SPARQL_DL.priv.PropertyValuegetSourceInfo(atom.source.value, atom.property.value, atom.target.value, resultobj, { assert : true });
mas01mj@640: 					}
mas01mj@640: 					return options.onComplete(resultobj);
mas01mj@640: 				}
mas01mj@640: 
mas01mj@640: 				if(!atom.source.getURIs()){
mas01mj@640: 					jOWL.SPARQL_DL.priv.IDQuery(atom.source.value, ["isClass", "isThing"], resultobj, options);
mas01mj@640: 					return;
mas01mj@640: 				}
mas01mj@640: 				var filterTarget = atom.target.isVar() ? atom.target.value : false;
mas01mj@640: 				var filterProperty = atom.property.isVar() ? atom.property.value : false;
mas01mj@640: 				var filterSource = atom.source.isVar() ? atom.source.value : false;
mas01mj@640: 				jOWL.SPARQL_DL.priv.PropertyValuegetSourceInfo(atom.source.getURIs(), atom.property.getURIs(), atom.target.getURIs(), resultobj,
mas01mj@640: 					{
mas01mj@640: 						filterTarget : filterTarget, filterProperty : filterProperty, filterSource : filterSource
mas01mj@640: 					});
mas01mj@640: 				return options.onComplete(resultobj);
mas01mj@640: 			}
mas01mj@640: 		}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.SPARQL_DL.priv = {
mas01mj@640: 	assert : function(resultobj, fn, onComplete){
mas01mj@640: 		if(resultobj.assert !== false){
mas01mj@640: 			resultobj.assert = fn();
mas01mj@640: 		}
mas01mj@640: 		onComplete(resultobj);	
mas01mj@640: 	},
mas01mj@640: 	//reusable function
mas01mj@640: 	PropertyValuegetSourceInfo : function(jSource, property, target, resultobj, options){
mas01mj@640: 		if(!(jSource.isArray)){
mas01mj@640: 			return jOWL.SPARQL_DL.priv.PropertyValuegetSourceInfo(new jOWL.Ontology.Array([jSource]), property, target, resultobj, options);
mas01mj@640: 		}
mas01mj@640: 		
mas01mj@640: 		options = $.extend({}, options);
mas01mj@640: 		var results = new SPARQL_DL_Array([options.filterSource, options.filterProperty, options.filterTarget]), 
mas01mj@640: 			match = false;
mas01mj@640: 		jSource.each(function(){
mas01mj@640: 			var source = this;
mas01mj@640: 			if(target && target.isArray && target.length == 1){
mas01mj@640: 				var literal = target.get(0).test;
mas01mj@640: 				if(literal){ target = literal;}//unwrap literal expressions
mas01mj@640: 			}
mas01mj@640: 			var restrictions = source.sourceof(property, target);
mas01mj@640: 			if(options.assert){
mas01mj@640: 				if(restrictions.length > 0){ match = true;}
mas01mj@640: 				return;
mas01mj@640: 			}
mas01mj@640: 			if(!restrictions.length){ return;}
mas01mj@640: 			restrictions.each(function(){
mas01mj@640: 				var binding = new _Binding(results);
mas01mj@640: 				if(options.filterSource){
mas01mj@640: 					binding.bind(options.filterSource, source);
mas01mj@640: 					if(!options.filterProperty && !options.filterTarget){ results.add(binding); return false;}
mas01mj@640: 				}
mas01mj@640: 				if(options.filterProperty){
mas01mj@640: 					binding.bind(options.filterProperty, this.property);
mas01mj@640: 				}
mas01mj@640: 				if(options.filterTarget){
mas01mj@640: 					binding.bind(options.filterTarget, this.getTarget());
mas01mj@640: 				}
mas01mj@640: 				results.add(binding);
mas01mj@640: 			});
mas01mj@640: 			return true;
mas01mj@640: 		});
mas01mj@640: 		if(options.assert){
mas01mj@640: 			resultobj.assert = match;
mas01mj@640: 			return resultobj.assert;
mas01mj@640: 		}
mas01mj@640: 		if(options.filterSource){ resultobj.filter(options.filterSource, results.get(options.filterSource));}
mas01mj@640: 		if(options.filterProperty){ resultobj.filter(options.filterProperty, results.get(options.filterProperty));}
mas01mj@640: 		if(options.filterTarget)  { resultobj.filter(options.filterTarget, results.get(options.filterTarget));}
mas01mj@640: 		resultobj.bind(results.getArray());
mas01mj@640: 	},
mas01mj@640: 	hasClassID: function(match, classID){
mas01mj@640: 		if(Object.prototype.toString.call(classID) === '[object Array]'){
mas01mj@640: 			for(var i =0;i<classID.length;i++){
mas01mj@640: 				if(match[classID]){ return true;}
mas01mj@640: 			}
mas01mj@640: 		} else if(match[classID]){  return true;}
mas01mj@640: 		return false;	
mas01mj@640: 	},
mas01mj@640: 	IDQuery : function(parameter, classID, resultobj, options){
mas01mj@640: 		var atom = new jOWL.SPARQL_DL.Atom(parameter, resultobj.head);
mas01mj@640: 		if(atom.isURI()){
mas01mj@640: 			return jOWL.SPARQL_DL.priv.assert(resultobj, function(){
mas01mj@640: 				return jOWL.SPARQL_DL.priv.hasClassID(atom.getURIs().get(0), classID);
mas01mj@640: 			}, options.onComplete);
mas01mj@640: 		}
mas01mj@640: 		var results = new SPARQL_DL_Array();
mas01mj@640: 		for(x in jOWL.index("ID")){
mas01mj@640: 			var match = jOWL.index("ID")[x];
mas01mj@640: 			if(jOWL.SPARQL_DL.priv.hasClassID(match, classID)){ results.push(parameter, match);}
mas01mj@640: 		}
mas01mj@640: 		resultobj.filter(parameter, results.get(parameter));
mas01mj@640: 		resultobj.bind(results.getArray());
mas01mj@640: 		options.onComplete(resultobj);
mas01mj@640: 	},
mas01mj@640: 	PropertyQuery : function(parameter, index, className, resultobj, options){
mas01mj@640: 		var atom = new jOWL.SPARQL_DL.Atom(parameter, resultobj.head);
mas01mj@640: 		if(atom.isURI()){
mas01mj@640: 			return jOWL.SPARQL_DL.priv.assert(resultobj, function(){
mas01mj@640: 				return jOWL.SPARQL_DL.priv.hasClassID(atom.getURIs().get(0), className);
mas01mj@640: 			}, options.onComplete);
mas01mj@640: 		}
mas01mj@640: 		var results = new SPARQL_DL_Array();
mas01mj@640: 		var tr = new jOWL.throttle(index, $.extend({}, options, {
mas01mj@640: 			modify : function(result){
mas01mj@640: 				if(!result.jOWL){ result = jOWL(result);}
mas01mj@640: 				if(jOWL.SPARQL_DL.priv.hasClassID(result, className)){results.push(parameter, result);}
mas01mj@640: 				return false;
mas01mj@640: 			},
mas01mj@640: 			onComplete : function(){
mas01mj@640: 				resultobj.filter(parameter, results.get(parameter));
mas01mj@640: 				resultobj.bind(results.getArray());
mas01mj@640: 				options.onComplete(resultobj);
mas01mj@640: 			}
mas01mj@640: 		}));
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.SPARQL_DL.TripleAtom = function(syntax, store){
mas01mj@640: 	this.source = new jOWL.SPARQL_DL.Atom(syntax[0], store);
mas01mj@640: 	this.property = new jOWL.SPARQL_DL.Atom(syntax[1], store);
mas01mj@640: 	this.target = new jOWL.SPARQL_DL.Atom(syntax[2], store);
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.SPARQL_DL.DoubleAtom = function(syntax, store){
mas01mj@640: 	this.source = new jOWL.SPARQL_DL.Atom(syntax[0], store);
mas01mj@640: 	this.target = new jOWL.SPARQL_DL.Atom(syntax[1], store);
mas01mj@640: };
mas01mj@640: 
mas01mj@640: 
mas01mj@640: jOWL.SPARQL_DL.Atom = function(syntax, store){
mas01mj@640: 	this.value = syntax;
mas01mj@640: 	this.type = 0;
mas01mj@640: 	if(typeof syntax == 'string'){
mas01mj@640: 		if(syntax.indexOf('?') === 0){
mas01mj@640: 			this.type = this.VAR;
mas01mj@640: 			if(store && store[syntax]){ this.mappings = store[syntax];}
mas01mj@640: 		} else {
mas01mj@640: 			this.type = this.LITERAL;
mas01mj@640: 		}
mas01mj@640: 	} else {
mas01mj@640: 		this.type = this.URI;
mas01mj@640: 	}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: jOWL.SPARQL_DL.Atom.prototype = {
mas01mj@640: 	URI : 1, LITERAL : 2, VAR : 3,
mas01mj@640: 	getURIs : function(){
mas01mj@640: 		if(this.isURI()){return new jOWL.Ontology.Array([this.value]);}
mas01mj@640: 		return this.mappings;
mas01mj@640: 	},
mas01mj@640: 	isVar : function(){return this.type == this.VAR;},
mas01mj@640: 	isLiteral :  function(){return this.type == this.LITERAL;},
mas01mj@640: 	isURI : function(){ return this.type == this.URI;}
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: * @return Associative array of parameters in the current documents URL 
mas01mj@640: */
mas01mj@640: jOWL.getURLParameters = function(){
mas01mj@640: 	var href = window.location.href.split("?", 2), param = {};
mas01mj@640: 	if(href.length == 1){ return {};}
mas01mj@640: 	var qstr = href[1].split('&');
mas01mj@640: 	for(var i =0;i<qstr.length;i++){
mas01mj@640: 		var arr = qstr[i].split("=");
mas01mj@640: 		if(arr.length == 2){ param[arr[0]] = arr[1];}
mas01mj@640: 	}
mas01mj@640: 	return param;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: Without arguments this function will parse the current url and see if any parameters are defined, returns a JOWL object
mas01mj@640: @return With argument it will return a string that identifies the potential permalink fr the given entry
mas01mj@640: */
mas01mj@640: jOWL.permalink = function(entry){
mas01mj@640: 	if(!entry){
mas01mj@640: 		var param = jOWL.getURLParameters();
mas01mj@640: 		if(param.owlClass){ return jOWL(unescape(param.owlClass));}
mas01mj@640: 	}
mas01mj@640: 	else {
mas01mj@640: 		if(!entry.URI){ return false;}
mas01mj@640: 		var href = window.location.href.split("?", 2);
mas01mj@640: 		if(window.location.search){ href = href[0];}
mas01mj@640: 		if(entry.isClass){ return href+'?owlClass='+escape(entry.URI);}
mas01mj@640: 	}
mas01mj@640: 	return false;
mas01mj@640: };
mas01mj@640: 
mas01mj@640: /** Convert an item into Manchester syntax, currently only for oneOf 
mas01mj@640: * @return String
mas01mj@640: */
mas01mj@640: jOWL.Manchester = function(owlElement){
mas01mj@640: 	var syntax = [];
mas01mj@640: 	if(owlElement.isClass){
mas01mj@640: 		var oneOf = owlElement.oneOf().map(function(){ return this.label();});
mas01mj@640: 		if(oneOf.length){ syntax.push("{ "+oneOf.join(", ")+" }");}
mas01mj@640: 	}
mas01mj@640: 	return syntax.join(", ");
mas01mj@640: };
mas01mj@640: 
mas01mj@640: })(jQuery);
mas01mj@640: 
mas01mj@640: /**
mas01mj@640: * @return 1 for exact match, 0 for partial match, -1 for no match.
mas01mj@640: */
mas01mj@640: String.prototype.searchMatch = function(matchstring, exact){
mas01mj@640: 	if(this.search(new RegExp(matchstring, "i")) > -1){ return 1;} //contained within
mas01mj@640: 	var c = 0; var arr = matchstring.match(new RegExp("\\w+", "ig"));
mas01mj@640: 	for(var i = 0;i<arr.length;i++){ if(this.search(arr[i]) > -1){ c++;} }
mas01mj@640: 	if(c == arr.length){ return 0;} //word shift
mas01mj@640: 	return -1; //nomatch
mas01mj@640: };
mas01mj@640: /**
mas01mj@640: * @return Modified String.
mas01mj@640: */
mas01mj@640: String.prototype.beautify = function(){
mas01mj@640: 	var e1 = new RegExp("([a-z0-9])([A-Z])", "g");
mas01mj@640: 	var e2 = new RegExp("([A-Z])([A-Z0-9])([a-z])", "g");
mas01mj@640: 	var e3 = new RegExp("_", "g");
mas01mj@640: 	return this.replace(e1, "$1 $2").replace(e2, "$1 $2$3").replace(e3, " ");
mas01mj@640: };