All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedPropertyChainImpl Maven / Gradle / Ivy

Go to download

The core ELK Reasoner package

There is a newer version: 0.29.0
Show newest version
/*
 * #%L
 * ELK Reasoner
 * 
 * $Id$
 * $HeadURL$
 * %%
 * Copyright (C) 2011 Department of Computer Science, University of Oxford
 * %%
 * 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%
 */
package org.semanticweb.elk.reasoner.indexing.classes;

import java.util.ArrayList;
import java.util.Collection;
import java.util.Collections;

import org.semanticweb.elk.owl.interfaces.ElkAxiom;
import org.semanticweb.elk.reasoner.indexing.model.IndexedComplexPropertyChain;
import org.semanticweb.elk.reasoner.indexing.model.IndexedObjectProperty;
import org.semanticweb.elk.reasoner.indexing.model.IndexedPropertyChain;
import org.semanticweb.elk.reasoner.indexing.model.IndexedSubObject;
import org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClassEntity;
import org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedPropertyChain;
import org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain;

/**
 * Implements {@link ModifiableIndexedClassEntity}.
 * 
 * @author "Yevgeny Kazakov"
 * 
 * @param 
 *            The type of structured objects this object can be compared with
 * @param 
 *            The type of the elements in the set where this entry is used
 * 
 */
abstract class ModifiableIndexedPropertyChainImpl, N>
		extends StructuralIndexedSubObjectHasOccurrenceImpl
		implements ModifiableIndexedPropertyChain {

	// TODO: move to elk-utils-collections
	private static ArrayList EMPTY_ARRAY_LIST_ = new ArrayList(0);

	@SuppressWarnings("unchecked")
	protected static  ArrayList emptyArrayList() {
		return (ArrayList) EMPTY_ARRAY_LIST_;
	}

	/**
	 * The {@link SaturatedPropertyChain} object assigned to this
	 * {@link IndexedPropertyChain}
	 */
	private final SaturatedPropertyChain saturated_;

	/**
	 * All told super object properties of this
	 * {@link IndexedComplexPropertyChain}. Should be a List for correctness of
	 * axioms deletions (duplicates matter).
	 */
	private ArrayList toldSuperProperties_;

	/**
	 * The {@link ElkAxiom}s responsible for the corresponding told
	 * super-properties
	 */
	private ArrayList toldSuperPropertiesReasons_;

	/**
	 * Collections of all binary role chains in which this
	 * {@link IndexedComplexPropertyChain} occurs on the right.
	 */
	private Collection rightChains_;

	ModifiableIndexedPropertyChainImpl(int structuralHash) {
		super(structuralHash);
		this.saturated_ = new SaturatedPropertyChain(this);
	}

	@Override
	public final ArrayList getToldSuperProperties() {
		if (toldSuperProperties_ == null) {
			final ArrayList result = ModifiableIndexedPropertyChainImpl
					.emptyArrayList();
			return result;
		}
		// else
		return toldSuperProperties_;
	}

	@Override
	public ArrayList getToldSuperPropertiesReasons() {
		if (toldSuperPropertiesReasons_ == null) {
			final ArrayList result = ModifiableIndexedPropertyChainImpl
					.emptyArrayList();
			return result;
		}
		// else
		return toldSuperPropertiesReasons_;
	}

	@Override
	public final Collection getRightChains() {
		return rightChains_ == null
				? Collections. emptySet()
				: Collections.unmodifiableCollection(rightChains_);
	}

	@Override
	public final SaturatedPropertyChain getSaturated() {
		return saturated_;
	}

	@Override
	public final int compareTo(ModifiableIndexedPropertyChain o) {
		if (this == o)
			return 0;
		// else
		int thisHash = hashCode();
		int otherHash = o.hashCode();
		if (thisHash == otherHash) {
			/*
			 * hash code collision for different elements should happen very
			 * rarely; in this case we rely on the unique string representation
			 * of indexed objects to compare them
			 */
			return this.toString().compareTo(o.toString());
		}
		// else
		return (thisHash < otherHash ? -1 : 1);
	}

	@Override
	public final boolean addToldSuperObjectProperty(
			IndexedObjectProperty superObjectProperty, ElkAxiom reason) {
		if (toldSuperProperties_ == null) {
			toldSuperProperties_ = new ArrayList(1);
		}
		if (toldSuperPropertiesReasons_ == null) {
			toldSuperPropertiesReasons_ = new ArrayList(1);
		}
		toldSuperProperties_.add(superObjectProperty);
		toldSuperPropertiesReasons_.add(reason);
		return true;
	}

	@Override
	public final boolean removeToldSuperObjectProperty(
			IndexedObjectProperty superObjectProperty, ElkAxiom reason) {
		int i = indexOf(superObjectProperty, reason);
		if (i < 0)
			return false;
		// else success
		toldSuperProperties_.remove(i);
		toldSuperPropertiesReasons_.remove(i);
		if (toldSuperProperties_.isEmpty())
			toldSuperProperties_ = null;
		if (toldSuperPropertiesReasons_.isEmpty())
			toldSuperPropertiesReasons_ = null;
		return true;
	}

	private int indexOf(IndexedPropertyChain superObjectProperty,
			ElkAxiom reason) {
		for (int i = 0; i < toldSuperProperties_.size(); i++) {
			if (toldSuperProperties_.get(i).equals(superObjectProperty)
					&& toldSuperPropertiesReasons_.get(i).equals(reason))
				return i;
		}
		// else not found
		return -1;
	}

	@Override
	public final boolean addRightChain(IndexedComplexPropertyChain chain) {
		if (rightChains_ == null)
			rightChains_ = new ArrayList(1);
		return rightChains_.add(chain);
	}

	@Override
	public final boolean removeRightChain(IndexedComplexPropertyChain chain) {
		boolean success = false;
		if (rightChains_ != null) {
			success = rightChains_.remove(chain);
			if (rightChains_.isEmpty())
				rightChains_ = null;
		}
		return success;
	}
		
	@Override
	public final  O accept(IndexedSubObject.Visitor visitor) {
		return accept((IndexedPropertyChain.Visitor) visitor);
	}

}
    

    

    

            

    

            



    
    






    
© 2015 - 2024 Weber Informatics LLC | Privacy Policy