Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
  package it.unibz.krdb.obda.owlrefplatform.core.reformulation;
  
  /*
   * #%L
   * ontop-reformulation-core
   * %%
   * Copyright (C) 2009 - 2014 Free University of Bozen-Bolzano
   * %%
   * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
  * 
  *      http://www.apache.org/licenses/LICENSE-2.0
  * 
  * Unless required by applicable law or agreed to in writing, software
  * distributed under the License is distributed on an "AS IS" BASIS,
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  * See the License for the specific language governing permissions and
  * limitations under the License.
  * #L%
  */
 
 
 import java.util.Set;
 
 
 public class TreeWitnessGenerator {
 	private final Property property;
 	private final OClass filler;
 
 
 	private final TreeWitnessReasonerLite reasoner;
 	private final OntologyFactory ontFactory
 
 	private static final Logger log = LoggerFactory.getLogger(TreeWitnessGenerator.class);	
 	
 	public TreeWitnessGenerator(TreeWitnessReasonerLite reasonerProperty propertyOClass filler) {
 		this. = reasoner;
 		this. = property;
 		this. = filler;
 		this. = reasoner.getOntologyFactory();
 	}
 
 		.add(con);
 	}
 	
 		for (TreeWitnessGenerator twg : gens
 			concepts.addAll(twg.concepts);
 
 		if (concepts.isEmpty())
 			return concepts;
 		
 		if (concepts.size() == 1 && concepts.iterator().next() instanceof OClass)
 			return concepts;
 		
 		.debug("MORE THAN ONE GENERATING CONCEPT: {}"concepts);
 		// add all sub-concepts of all \exists R
 		for (BasicClassDescription b : concepts
 			if (b instanceof PropertySomeRestriction)
 				extension.addAll(reasoner.getSubConcepts(b));
 		concepts.addAll(extension);
 		
 		// use all concept names to subsume their sub-concepts
 		{
 			boolean modified = true
 			while (modified) {
 				modified = false;
 				for (BasicClassDescription b : concepts
 					if (b instanceof OClass) {
 						Set<BasicClassDescriptionbsubconcepts = reasoner.getSubConcepts(b);
 						while (i.hasNext()) {
 							if ((b != bp) && bsubconcepts.contains(bp)) { 
 								i.remove();
 								modified = true;
 							}
 						}
 						if (modified)
 							break;
 					}
 			}
		}
		// use all \exists R to subsume their sub-concepts of the form \exists R
		{
			boolean modified = true;
			while (modified) {
				modified = false;
				for (BasicClassDescription b : concepts
					if (b instanceof PropertySomeRestriction) {
						Set<Propertybsubproperties = reasoner.getSubProperties(some.getPredicate(), some.isInverse());
						while (i.hasNext()) {
							if ((b != bp) && (bp instanceof PropertySomeRestriction)) {
								if (bsubproperties.contains(reasoner.getProperty(somep))) {
									i.remove();
									modified = true;
								}
							}
						}
						if (modified)
							break;
					}
			}
		}
		return concepts;
	}
		if ( == null) {
		}
		return ;
	}
	public Property getProperty() {
		return ;
	}
		if ( == null)
		return subc.contains() || subc.contains();
	}
	public String toString() {
		return "tw-generator E" + .toString() + "." + .toString();
	}
	public int hashCode() {
	}
	public boolean equals(Object other) {
		if (other instanceof TreeWitnessGenerator) {
			return (this..equals(o.property) && this..equals(o.filler));		
		}
		return false;
	}
New to GrepCode? Check out our FAQ X