org.semanticweb.elk.reasoner.saturation.properties.SubPropertyExplorer Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of elk-reasoner Show documentation
Show all versions of elk-reasoner Show documentation
The core ELK Reasoner package
/*
* #%L
* ELK Reasoner
* $Id:$
* $HeadURL:$
* %%
* Copyright (C) 2011 - 2016 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.saturation.properties;
import java.util.LinkedList;
import java.util.List;
import java.util.Queue;
import java.util.Set;
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.proof.ReasonerProducer;
import org.semanticweb.elk.reasoner.saturation.conclusions.model.SubPropertyChain;
import org.semanticweb.elk.reasoner.saturation.properties.inferences.ObjectPropertyInference;
import org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainExpandedSubObjectPropertyOf;
import org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainInference;
import org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainInferenceConclusionVisitor;
import org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainTautology;
import org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionState;
import org.semanticweb.elk.util.collections.ArrayHashSet;
import org.semanticweb.elk.util.collections.HashSetMultimap;
import org.semanticweb.elk.util.collections.LazySetIntersection;
import org.semanticweb.elk.util.collections.Multimap;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
/**
* A collection of utilities for computing entailed sub-properties of
* {@link IndexedPropertyChain}
*
* @author "Yevgeny Kazakov"
* @author Peter Skocovsky
*/
class SubPropertyExplorer {
// logger for this class
private static final Logger LOGGER_ = LoggerFactory
.getLogger(SubPropertyExplorer.class);
/**
* The element for which the sub-property (chains) are computed
*/
private final IndexedPropertyChain input_;
/**
* the set that will be closed under told sub-properties
*/
private final Set subPropertyChains_;
/**
* the subset of {@link #subProperties_} consisting of
* {@link IndexedObjectProperty}s
*/
private final Set subProperties_;
/**
* the sub-properties for which the told sub-properties may not be yet
* expanded
*/
private final Queue toDoSubProperties_ = new LinkedList();
/**
* used to record {@link SubPropertyChainInference}
*/
private final ReasonerProducer inferenceProducer_;
private final SubPropertyChainInference.Visitor inferenceProcessor_ = new SubPropertyChainInferenceConclusionVisitor(
new SubPropertyChain.Visitor() {
@Override
public Void visit(SubPropertyChain conclusion) {
toDoConclusion(conclusion);
return null;
}
});
SubPropertyExplorer(IndexedPropertyChain input,
Set subPropertyChains,
Set subProperties,
ReasonerProducer inferenceProducer) {
this.input_ = input;
this.subPropertyChains_ = subPropertyChains;
this.subProperties_ = subProperties;
this.inferenceProducer_ = inferenceProducer;
toDoInference(new SubPropertyChainTautology(input));
}
private void toDoInference(SubPropertyChainInference inference) {
LOGGER_.trace("{}: new inference", inference);
inferenceProducer_.produce(inference);
inference.accept(inferenceProcessor_);
}
private void toDoConclusion(SubPropertyChain conclusion) {
IndexedPropertyChain subChain = conclusion.getSubChain();
if (subPropertyChains_.add(subChain)) {
if (subChain instanceof IndexedObjectProperty) {
IndexedObjectProperty subProperty = (IndexedObjectProperty) subChain;
subProperties_.add(subProperty);
toDoSubProperties_.add(subProperty);
}
}
}
private void process() {
for (;;) {
IndexedObjectProperty next = toDoSubProperties_.poll();
if (next == null)
break;
List toldSubChains = next.getToldSubChains();
List reasons = next.getToldSubChainsReasons();
for (int i = 0; i < toldSubChains.size(); i++) {
IndexedPropertyChain sub = toldSubChains.get(i);
ElkAxiom reason = reasons.get(i);
toDoInference(new SubPropertyChainExpandedSubObjectPropertyOf(
sub, next, (IndexedObjectProperty) input_, reason));
}
}
}
private static void expandUnderSubProperties(IndexedPropertyChain input,
Set currentSubPropertyChains,
Set currentSubProperties,
ReasonerProducer inferenceProducer) {
new SubPropertyExplorer(input, currentSubPropertyChains,
currentSubProperties, inferenceProducer).process();
if (LOGGER_.isTraceEnabled()) {
LOGGER_.trace("{} sub-property chains: {}, sub-properties: {}",
input, currentSubPropertyChains, currentSubProperties);
}
}
private static SaturatedPropertyChain computeSubProperties(
IndexedPropertyChain input,
ReasonerProducer inferenceProducer,
final PropertyHierarchyCompositionState.Dispatcher dispatcher) {
SaturatedPropertyChain saturation = input.getSaturated();
if (saturation.derivedSubPropertiesComputed)
return saturation;
// else
synchronized (saturation) {
if (saturation.derivedSubProperyChains == null)
saturation.derivedSubProperyChains = new ArrayHashSet(
8);
}
synchronized (saturation.derivedSubProperyChains) {
if (saturation.derivedSubPropertiesComputed)
return saturation;
// else
if (saturation.derivedSubProperties == null)
saturation.derivedSubProperties = new ArrayHashSet(
8);
expandUnderSubProperties(input, saturation.derivedSubProperyChains,
saturation.derivedSubProperties, inferenceProducer);
saturation.derivedSubPropertiesComputed = true;
dispatcher.firePropertyBecameSaturated(input);
}
return saturation;
}
/**
* Computes all sub-{@link IndexedPropertyChain}s of the given
* {@link IndexedPropertyChain}, if not computing before, recording all
* {@link ObjectPropertyInference}s using the provided {@link Producer}. It
* is ensured that all {@link ObjectPropertyInference}s are applied only
* once even if the method is called multiple times.
*
* @param input
* the {@link IndexedPropertyChain} for which to find the sub-
* {@link IndexedPropertyChain}s.
* @param inferenceProducer
* the {@link Producer} using which all applied
* {@link ObjectPropertyInference}s are recorded.
* @return the sub-{@link IndexedPropertyChain}s of the given
* {@link IndexedPropertyChain}
*/
static Set getSubPropertyChains(
IndexedPropertyChain input,
ReasonerProducer inferenceProducer,
final PropertyHierarchyCompositionState.Dispatcher dispatcher) {
return computeSubProperties(input, inferenceProducer, dispatcher)
.getSubPropertyChains();
}
/**
* Computes all sub-{@link IndexedObjectProperty}s of the given
* {@link IndexedPropertyChain}, if not computing before, recording all
* {@link ObjectPropertyInference}s using the provided {@link Producer}. It
* is ensured that all {@link ObjectPropertyInference}s are applied only
* once even if the method is called multiple times.
*
* @param input
* the {@link IndexedPropertyChain} for which to find the sub-
* {@link IndexedObjectProperty}s.
* @param inferenceProducer
* the {@link Producer} using which all applied
* {@link ObjectPropertyInference}s are recorded.
* @return the sub-{@link IndexedObjectProperty} of the given
* {@link IndexedPropertyChain}
*/
static Set getSubProperties(
IndexedPropertyChain input,
ReasonerProducer inferenceProducer,
final PropertyHierarchyCompositionState.Dispatcher dispatcher) {
return computeSubProperties(input, inferenceProducer, dispatcher)
.getSubProperties();
}
/**
* Given an {@link IndexedObjectProperty} Computes a {@link Multimap} from
* {@link IndexedObjectProperty}s to {@link IndexedObjectProperty}
* consisting of the the assignments T -> S such that both S and
* ObjectPropertyChain(S, T) are sub-properties of the given
* {@link IndexedObjectProperty}. The provided {@link Producer} is used to
* record all {@link ObjectPropertyInference}s that are applied in this
* computation of sub-{@link IndexedPropertyChain}s involved. It is ensured
* that the computation is performed only once.
*
* @param input
* a given {@link IndexedObjectProperty}
* @param inferenceProducer
* @return a multimap consisting of assignments T -> S such that both S and
* ObjectPropertyChain(S, T) are sub-properties of the given
* {@link IndexedObjectProperty}
*/
static Multimap getLeftSubComposableSubPropertiesByRightProperties(
IndexedObjectProperty input,
ReasonerProducer inferenceProducer,
final PropertyHierarchyCompositionState.Dispatcher dispatcher) {
SaturatedPropertyChain saturation = input.getSaturated();
if (saturation.leftSubComposableSubPropertiesByRightPropertiesComputed)
return saturation.leftSubComposableSubPropertiesByRightProperties;
// else
synchronized (saturation) {
if (saturation.leftSubComposableSubPropertiesByRightProperties == null)
saturation.leftSubComposableSubPropertiesByRightProperties = new HashSetMultimap();
}
synchronized (saturation.leftSubComposableSubPropertiesByRightProperties) {
if (saturation.leftSubComposableSubPropertiesByRightPropertiesComputed)
return saturation.leftSubComposableSubPropertiesByRightProperties;
// else compute it
Set subProperties = getSubProperties(input,
inferenceProducer, dispatcher);
for (IndexedPropertyChain subPropertyChain : getSubPropertyChains(
input, inferenceProducer, dispatcher)) {
if (subPropertyChain instanceof IndexedComplexPropertyChain) {
IndexedComplexPropertyChain composition = (IndexedComplexPropertyChain) subPropertyChain;
Set leftSubProperties = getSubProperties(
composition.getFirstProperty(), inferenceProducer,
dispatcher);
Set commonSubProperties = new LazySetIntersection(
subProperties, leftSubProperties);
if (commonSubProperties.isEmpty())
continue;
// else
for (IndexedObjectProperty rightSubProperty : getSubProperties(
composition.getSuffixChain(), inferenceProducer,
dispatcher))
for (IndexedObjectProperty commonLeft : commonSubProperties)
saturation.leftSubComposableSubPropertiesByRightProperties
.add(rightSubProperty, commonLeft);
}
}
saturation.leftSubComposableSubPropertiesByRightPropertiesComputed = true;
}
return saturation.leftSubComposableSubPropertiesByRightProperties;
}
}