@Override protected OWLClassExpression translateEquivalentClass(IRI mainNode) { return df.getOWLObjectComplementOf(ce(mainNode)); } }
@Override protected OWLClassExpression translateEquivalentClass(IRI mainNode) { return df.getOWLObjectComplementOf(ce(mainNode)); } }
final public OWLClassExpression parseObjectComplementOf() throws ParseException {OWLClassExpression op; jj_consume_token(NOT); op = NamedClassOrNestedDescription(); return factory.getOWLObjectComplementOf(op); }
final public OWLClassExpression parseObjectComplementOf() throws ParseException {OWLClassExpression op; jj_consume_token(NOT); op = NamedClassOrNestedDescription(); return factory.getOWLObjectComplementOf(op); }
final public OWLClassExpression parseObjectComplementOf() throws ParseException {OWLClassExpression op; jj_consume_token(NOT); op = NamedClassOrNestedDescription(); return factory.getOWLObjectComplementOf(op); }
@Override public Optional<OWLClassExpression> visit(OWLSubClassOfAxiom axiom) { return Optional .of(df.getOWLObjectIntersectionOf(axiom.getSubClass(), df.getOWLObjectComplementOf(axiom .getSuperClass()))); } }
@Override public Optional<OWLClassExpression> visit(OWLSubClassOfAxiom axiom) { return Optional .of(df.getOWLObjectIntersectionOf(axiom.getSubClass(), df.getOWLObjectComplementOf(axiom .getSuperClass()))); } }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject())); } }
@Override public OWLClassExpression visit(OWLNegativeObjectPropertyAssertionAxiom ax) { return df.getOWLObjectComplementOf( df.getOWLObjectHasValue(ax.getProperty(), ax.getObject())); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject())); } }
final public OWLClassExpression Not() throws ParseException, KRSS2OWLParserException {OWLClassExpression operand; jj_consume_token(OPENPAR); jj_consume_token(NOT); operand = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectComplementOf(operand); }
@Override public void visit(OWLSubClassOfAxiom axiom) { // A and not (B) OWLClassExpression complement = dataFactory.getOWLObjectComplementOf(axiom.getSuperClass()); desc = dataFactory.getOWLObjectIntersectionOf( CollectionFactory.createSet(axiom.getSubClass(), complement)); }
final public OWLClassExpression ObjectComplementOf() throws ParseException {OWLClassExpression operand; jj_consume_token(OBJECTCOMPLEMENTOF); jj_consume_token(OPENPAR); operand = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectComplementOf(operand); }
final public OWLClassExpression Not() throws ParseException {OWLClassExpression operand; jj_consume_token(OPENPAR); jj_consume_token(NOT); operand = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectComplementOf(operand); }
@Override public void visit(OWLSubClassOfAxiom axiom) { // A and not (B) OWLClassExpression complement = dataFactory.getOWLObjectComplementOf(axiom.getSuperClass()); desc = dataFactory.getOWLObjectIntersectionOf( CollectionFactory.createSet(axiom.getSubClass(), complement)); }
final public OWLClassExpression Not() throws ParseException, KRSS2OWLParserException {OWLClassExpression operand; jj_consume_token(OPENPAR); jj_consume_token(NOT); operand = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectComplementOf(operand); }
final public OWLClassExpression Not() throws ParseException, KRSS2OWLParserException {OWLClassExpression operand; jj_consume_token(OPENPAR); jj_consume_token(NOT); operand = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectComplementOf(operand); }
final public OWLClassExpression ObjectComplementOf() throws ParseException {OWLClassExpression operand; jj_consume_token(OBJECTCOMPLEMENTOF); jj_consume_token(OPENPAR); operand = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectComplementOf(operand); }
@Override public OWLObjectComplementOf translate(IRI mainNode) { IRI complementOfObject = getConsumer() .getResourceObject(mainNode, OWL_COMPLEMENT_OF, true); OWLClassExpression operand = accessor .translateClassExpression(verifyNotNull(complementOfObject)); return getDataFactory().getOWLObjectComplementOf(operand); } }
@Override public Collection<OWLAxiom> visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLObjectAllValuesFrom(axiom.getProperty(), df.getOWLObjectComplementOf(df.getOWLObjectOneOf(axiom.getObject())))); }