replacement=dataFactory.getOWLClass(IRI.create("internal:all#","a"+(firstReplacementIndex++))); if (objectAll.getFiller() instanceof OWLObjectComplementOf || objectAll.getFiller().equals(dataFactory.getOWLNothing())) replacement=replacement.getComplementNNF(); replacedDescriptions.put(objectAll,replacement); OWLClassExpression stateConcept=dataFactory.getOWLClass(IRI.create("internal:all#","a"+(firstReplacementIndex++))); if (isOfNegativePolarity) stateConcept=stateConcept.getComplementNNF(); statesToConcepts.put(state,stateConcept); OWLClassExpression fromStateConcept=statesToConcepts.get(transition.start()).getComplementNNF(); OWLClassExpression toStateConcept=statesToConcepts.get(transition.end()); if (transition.label()==null) OWLClassExpression finalStateConceptComplement=statesToConcepts.get(finalStateObject).getComplementNNF(); if (filler.isOWLNothing()) axioms.m_conceptInclusions.add(Arrays.asList(finalStateConceptComplement));
replacement=dataFactory.getOWLClass(IRI.create("internal:all#"+(firstReplacementIndex++))); if (objectAll.getFiller() instanceof OWLObjectComplementOf || objectAll.getFiller().equals(dataFactory.getOWLNothing())) replacement=replacement.getComplementNNF(); replacedDescriptions.put(objectAll,replacement); OWLClassExpression stateConcept=dataFactory.getOWLClass(IRI.create("internal:all#"+(firstReplacementIndex++))); if (isOfNegativePolarity) stateConcept=stateConcept.getComplementNNF(); statesToConcepts.put(state,stateConcept); OWLClassExpression fromStateConcept=statesToConcepts.get(transition.start()).getComplementNNF(); OWLClassExpression toStateConcept=statesToConcepts.get(transition.end()); if (transition.label()==null) OWLClassExpression finalStateConceptComplement=statesToConcepts.get(finalStateObject).getComplementNNF(); if (filler.isOWLNothing()) axioms.m_conceptInclusions.add(new OWLClassExpression[] { finalStateConceptComplement });
OWLClass newConcept = ret.getNormalizer().createNewNamedClass(); newAxioms.add(fac.getOWLSubClassOfAxiom(newConcept, sub.getNNF())); newAxioms.add(fac.getOWLSubClassOfAxiom(newConcept, sup.getComplementNNF())); List<OWLAxiom> newNonOWLQLAxioms = new LinkedList<OWLAxiom>();
else { OWLClassExpression tExp1 = factory.getOWLObjectAllValuesFrom(maxExp.getProperty(), tExp.getComplementNNF()); if (card == 0) return tExp1;