julianmendez / jcel

 *

 * Copyright (C) 2009-2017 Julian Mendez

 *

 *

 * This file is part of jcel.

 *

 *

 * The contents of this file are subject to the GNU Lesser General Public License

 * version 3

 *

 *

 * This program is free software: you can redistribute it and/or modify

 * it under the terms of the GNU Lesser General Public License as published by

 * the Free Software Foundation, either version 3 of the License, or

 * (at your option) any later version.

 *

 * This program is distributed in the hope that it will be useful,

 * but WITHOUT ANY WARRANTY; without even the implied warranty of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

 * GNU Lesser General Public License for more details.

 *

 * You should have received a copy of the GNU Lesser General Public License

 * along with this program.  If not, see <http://www.gnu.org/licenses/>.

 *

 *

 * Alternatively, the contents of this file may be used under the terms

 * of the Apache License, Version 2.0, in which case the

 * provisions of the Apache License, Version 2.0 are applicable instead of those

 * above.

 *

 *

 * 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.

 *

 */

package de.tudresden.inf.lat.jcel.core.completion.ext;

import java.util.Objects;

import java.util.Optional;

import de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus;

import de.tudresden.inf.lat.jcel.core.completion.common.CompletionRuleMonitor;

import de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule;

import de.tudresden.inf.lat.jcel.core.graph.VNode;

import de.tudresden.inf.lat.jcel.core.graph.VNodeImpl;

import de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager;

/**

 * 

 * <ul>

 * <li>CR-9 : <b>if</b> <u>(r<sub>1</sub>, x, y) &isin; R</u>, (r<sub>2</sub>,

 * x, z) &isin; R, r<sub>1</sub> \u2291<sub><i>T</i></sub> s, r<sub>2</sub>

 * \u2291<sub><i>T</i></sub> s, y = (\u22A4 , &psi;), z = (\u22A4 , &phi;), y

 * &ne; z, f(s) <br>

 * <b>then</b> v := (\u22A4 , &psi; &cup; &phi;) <br>

 * &nbsp;&nbsp;&nbsp;&nbsp; <b>if</b> v &notin; V <b>then</b> V := V &cup; {v}

 * <br>

 *      S := S ∪ {(v, k) | (y, k) ∈ S} ∪ {(v,

 * k) | (z, k) &isin; S} <br>

 * &nbsp;&nbsp;&nbsp;&nbsp; R := R &cup; {(r<sub>1</sub>, x, v)}</li>

 * </ul>

 * <br>

 * 

 * @author Julian Mendez

 */

public class CR9RExtRule implements RObserverRule {

	/**

	 * Constructs a new completion rule CR-9.

	 */

	public CR9RExtRule() {

	}

	@Override

	public boolean apply(ClassifierStatus status, int property, int leftClass, int rightClass) {

		Objects.requireNonNull(status);

		return applyRule(status, property, leftClass, rightClass);

	}

	private boolean applyRule(ClassifierStatus status, int r1, int x, int y) {

		CompletionRuleMonitor ret = new CompletionRuleMonitor();

		Optional<VNode> optPsiNode = status.getNode(y);

		if (!optPsiNode.isPresent()) {

			throw new IllegalStateException("Node not found in internal structure '" + y + "'.");

		}

		if (optPsiNode.get().getClassId() == IntegerEntityManager.topClassId) {

			status.getObjectPropertiesWithFunctionalAncestor(r1).forEach(r2 -> {

				status.getSecondByFirst(r2, x).forEach(z -> {

					Optional<VNode> optPhiNode = status.getNode(z);

					if (!optPsiNode.isPresent()) {

						throw new IllegalStateException("Node not found in internal structure '" + z + "'.");

					}

					if (optPhiNode.get().getClassId() == IntegerEntityManager.topClassId) {

						if (y != z) {

							VNodeImpl newNode = new VNodeImpl(IntegerEntityManager.topClassId);

							newNode.addExistentialsOf(optPsiNode.get());

							newNode.addExistentialsOf(optPhiNode.get());

							int v = status.createOrGetNodeId(newNode);

							status.getSubsumers(y).forEach(p -> {

								ret.or(status.addNewSEntry(v, p));

							});

							status.getSubsumers(z).forEach(p -> {

								ret.or(status.addNewSEntry(v, p));

							});

							ret.or(status.addNewREntry(r1, x, v));

						}

					}

				});

			});

		}

		return ret.get();

	}

	@Override

	public boolean equals(Object o) {

		return (Objects.nonNull(o)) && getClass().equals(o.getClass());

	}

	@Override

	public String toString() {

		return getClass().getSimpleName();

	}

}