public Instance getInstance(Identifier id, Concept concept) {
reasoner.deRegisterOntology((IRI) (state.getIdentifier()));
try {
reasoner.registerOntology(state);
} catch (InconsistencyException e) {
logger.warn("Ontology registration failed.", e);
}
Set<Instance> instances = reasoner.getInstances((IRI) state.getIdentifier(), concept);
Instance instance = null;
for (Instance i : instances) if (i.getIdentifier().equals(id)) instance = i;
for (Entry<Molecule, Axiom> e : axioms.entrySet()) {
if (e.getKey() instanceof AttributeValueMolecule) {
AttributeValueMolecule avm = (AttributeValueMolecule) e.getKey();
Axiom axiom = e.getValue();
if (avm.getLeftParameter().equals(instance.getIdentifier())) {
try {
instance.addAttributeValue((IRI) avm.getAttribute(), (Value) avm.getRightParameter());
} catch (Exception e2) {
logger.warn("Failed to pseudo-reason.", e2);
}
}
}
}
return instance;
}
public boolean isOut(Instance instance) {
if (instance.getIdentifier() instanceof UnnumberedAnonymousID) return false;
for (Out mode : signature.listOutModes()) {
if (reasoner.isMemberOf((IRI) state.getIdentifier(), instance, mode.getConcept()))
return true;
}
return false;
}
public void initializeWithControlState() {
Concept controlState =
factory.createConcept(factory.createIRI(OASM_NAMESPACE + "controlState"));
Instance controlStateInstance =
factory.createInstance(factory.createIRI(OASM_NAMESPACE + "cs"));
try {
controlStateInstance.addConcept(controlState);
state.addInstance(controlStateInstance);
AttributeValueMolecule avm =
leFactory.createAttributeValue(
factory.createIRI(OASM_NAMESPACE + "cs"),
factory.createIRI(OASM_NAMESPACE + "value"),
factory.createIRI(OASM_NAMESPACE + "initial"));
add(avm);
} catch (SynchronisationException e) {
logger.warn("Failure during insertion of control state.", e);
} catch (InvalidModelException e) {
logger.warn("Failure during insertion of control state.", e);
}
}