Refine search
@Override public Boolean visit(OWLDisjointObjectPropertiesAxiom axiom) { List<OWLObjectPropertyExpression> props=asList(axiom.properties()); for (int i=0;i<props.size()-1;i++) for (int j=i+1;j<props.size();j++) if (!reasoner.isDisjointObjectProperty(props.get(i),props.get(j))) return Boolean.FALSE; return Boolean.TRUE; } @Override
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { List<OWLObjectPropertyExpression> list=asList(axiom.properties()); for (int i=0;i<list.size();i++) { m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(list.get(i).getNamedProperty()); } m_axioms.m_disjointObjectProperties.add(list); } @Override
/** * @param s stream to turn to list. The stream is consumed by this operation. * @param type force return type to be exactly T * @param <T> type of return collection * @return list including all elements in the stream */ public static <T> List<T> asList(Stream<?> s, Class<T> type) { return asList(s.map(type::cast)); }
@Override public void visit(OWLDifferentIndividualsAxiom object) { List<OWLIndividual> individuals=asList(object.individuals()); for (int i=0;i<individuals.size()-1;i++) for (int j=i+1;j<individuals.size();j++) m_positiveFacts.add(Atom.create(Inequality.create(),getIndividual(individuals.get(i)),getIndividual(individuals.get(j)))); } @Override
@Override public void visit(OWLDifferentIndividualsAxiom object) { List<OWLIndividual> individuals=asList(object.individuals()); for (int i=0;i<individuals.size()-1;i++) for (int j=i+1;j<individuals.size();j++) m_positiveFacts.add(Atom.create(Inequality.create(),getIndividual(individuals.get(i)),getIndividual(individuals.get(j)))); } @Override