Java 类org.semanticweb.owlapi.model.OWLObjectHasSelf 实例源码

public void visit(OWLObjectComplementOf object) {
    OWLClassExpression description=object.getOperand();
    if (description instanceof OWLObjectHasSelf) {
        OWLObjectPropertyExpression objectProperty=((OWLObjectHasSelf)description).getProperty();
        Atom roleAtom=getRoleAtom(objectProperty,X,X);
        m_bodyAtoms.add(roleAtom);
    }
    else if (description instanceof OWLObjectOneOf && ((OWLObjectOneOf)description).getIndividuals().size()==1) {
        OWLIndividual individual=((OWLObjectOneOf)description).getIndividuals().iterator().next();
        m_bodyAtoms.add(Atom.create(getConceptForNominal(individual),X));
    }
    else if (!(description instanceof OWLClass))
        throw new IllegalStateException("Internal error: invalid normal form.");
    else
        m_bodyAtoms.add(Atom.create(AtomicConcept.create(((OWLClass)description).getIRI().toString()),X));
}

public void visit(OWLObjectComplementOf object) {
    OWLClassExpression description=object.getOperand();
    if (description instanceof OWLObjectHasSelf) {
        OWLObjectPropertyExpression objectProperty=((OWLObjectHasSelf)description).getProperty();
        Atom roleAtom=getRoleAtom(objectProperty,X,X);
        m_bodyAtoms.add(roleAtom);
    }
    else if (description instanceof OWLObjectOneOf && ((OWLObjectOneOf)description).getIndividuals().size()==1) {
        OWLIndividual individual=((OWLObjectOneOf)description).getIndividuals().iterator().next();
        m_bodyAtoms.add(Atom.create(getConceptForNominal(individual),X));
    }
    else if (!(description instanceof OWLClass))
        throw new IllegalStateException("Internal error: invalid normal form.");
    else
        m_bodyAtoms.add(Atom.create(AtomicConcept.create(((OWLClass)description).getIRI().toString()),X));
}

@Override
public void addToOntology() {
  OWLObjectProperty property = featurePool.getExclusiveProperty(":hasSelfProperty");

  OWLClass hasSelf = featurePool.getExclusiveClass(":HasSelfClass");

  OWLObjectHasSelf restriction = factory.getOWLObjectHasSelf(property);
  addAxiomToOntology(factory.getOWLEquivalentClassesAxiom(hasSelf, restriction));
}

/**
 * We assume that we deal with a normalized axioms, i.e. they are in NNF and structural transformation took place.
 *
 * Thereofre we test here whether the operand
 * @see org.semanticweb.owlapi.model.OWLClassExpressionVisitor#visit(org.semanticweb.owlapi.model.OWLObjectComplementOf)
 */

public void visit(OWLObjectComplementOf objComplementOf) {
    OWLClassExpression operand = objComplementOf.getOperand();
    if (operand instanceof OWLClass) {
        OWLClass owlClass = operand.asOWLClass();
        String predicateName = mapper.getPredicateName(owlClass);

        writer.print(predicateName);
        writer.print(ASP2CoreSymbols.BRACKET_OPEN);
        writer.print(var.currentVar());
        writer.print(ASP2CoreSymbols.BRACKET_CLOSE);

        if (isAuxiliaryClass(owlClass)) auxClasses.add(owlClass);
    }
    //
    else if (operand instanceof OWLObjectHasSelf) {
        OWLObjectHasSelf owlHasSelf = (OWLObjectHasSelf) operand;
        OWLObjectProperty property = owlHasSelf.getProperty().asOWLObjectProperty();
        String propertyName = mapper.getPredicateName(property);
        String cVar = var.currentVar();

        // r(X,X)
        writer.print(propertyName);
        writer.print(ASP2CoreSymbols.BRACKET_OPEN);
        writer.print(cVar);
        writer.print(ASP2CoreSymbols.ARG_SEPERATOR);
        writer.print(cVar);
        writer.print(ASP2CoreSymbols.BRACKET_CLOSE);
    }
    else if (operand instanceof OWLObjectOneOf) {
        throw new NotImplementedException();
    }
}

public void visit(OWLObjectHasSelf owlHasSelf) {
    OWLObjectProperty property = owlHasSelf.getProperty().asOWLObjectProperty();
    String propertyName = mapper.getPredicateName(property);
    String cVar = var.currentVar();

    // not r(X,X)
    writer.print("not_");
    writer.print(propertyName);
    writer.print(ASP2CoreSymbols.BRACKET_OPEN);
    writer.print(cVar);
    writer.print(ASP2CoreSymbols.ARG_SEPERATOR);
    writer.print(cVar);
    writer.print(ASP2CoreSymbols.BRACKET_CLOSE);

}

/**
 * We assume that we deal with a normalized axioms, i.e. they are in NNF and structural transformation took place.
 *
 * Thereofre we test here whether the operand
 * @see org.semanticweb.owlapi.model.OWLClassExpressionVisitor#visit(org.semanticweb.owlapi.model.OWLObjectComplementOf)
 */

public void visit(OWLObjectComplementOf objComplementOf) {
    OWLClassExpression operand = objComplementOf.getOperand();

    if (operand instanceof OWLClass) {
        OWLClass owlClass = operand.asOWLClass();
        String predicateName = mapper.getPredicateName(owlClass);

        writer.print(predicateName);
        writer.print(ASP2CoreSymbols.BRACKET_OPEN);
        writer.print(var.currentVar());
        writer.print(ASP2CoreSymbols.BRACKET_CLOSE);

        if (isAuxiliaryClass(owlClass)) auxClasses.add(owlClass);
    }
    else if (operand instanceof OWLObjectHasSelf) {
        OWLObjectHasSelf owlHasSelf = (OWLObjectHasSelf) operand;
        OWLObjectProperty property = owlHasSelf.getProperty().asOWLObjectProperty();
        String propertyName = mapper.getPredicateName(property);
        String cVar = var.currentVar();

        // r(X,X)
        writer.print(propertyName);
        writer.print(ASP2CoreSymbols.BRACKET_OPEN);
        writer.print(cVar);
        writer.print(ASP2CoreSymbols.ARG_SEPERATOR);
        writer.print(cVar);
        writer.print(ASP2CoreSymbols.BRACKET_CLOSE);
    }
    else if (operand instanceof OWLObjectOneOf) {
        throw new NotImplementedException();
    }
}

public void visit(OWLObjectHasSelf owlHasSelf) {
    OWLObjectProperty property = owlHasSelf.getProperty().asOWLObjectProperty();
    String propertyName = mapper.getPredicateName(property);
    String cVar = var.currentVar();

    // not r(X,X)
    writer.print(ASP2CoreSymbols.NAF + " ");
    writer.print(propertyName);
    writer.print(ASP2CoreSymbols.BRACKET_OPEN);
    writer.print(cVar);
    writer.print(ASP2CoreSymbols.ARG_SEPERATOR);
    writer.print(cVar);
    writer.print(ASP2CoreSymbols.BRACKET_CLOSE);
}

@Override
public OWLClassExpression visit(OWLObjectHasSelf ce) {
    if (negated) {
        return getNegation(ce);
    } else {
        return ce;
    }
}

@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    if (!(obj instanceof OWLObjectHasSelf)) {
        return false;
    }
    return getProperty().equals(((OWLObjectHasSelf) obj).getProperty());
}

public void visit(OWLObjectHasSelf arg0) {
    notSupported(arg0);
}

public void visit(OWLObjectHasSelf object) {
    visitProperty(object.getProperty());
}

public OWLClassExpression visit(OWLObjectHasSelf object) {
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(object.getProperty().getNamedProperty());
    return object;
}

public Boolean visit(OWLObjectHasSelf object) {
    return Boolean.TRUE;
}

public void visit(OWLObjectHasSelf object) {
    visitProperty(object.getProperty());
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectHasSelf(d.getProperty().getSimplified());
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectComplementOf(getNNF(d));
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectHasSelf(d.getProperty().getSimplified());
}

public void visit(OWLObjectHasSelf object) {
    OWLObjectPropertyExpression objectProperty=object.getProperty();
    Atom roleAtom=getRoleAtom(objectProperty,X,X);
    m_headAtoms.add(roleAtom);
}

@Override
public OWLObjectHasSelf visit(ElkObjectHasSelf expression) {
    return owlFactory_
            .getOWLObjectHasSelf(convert(expression.getProperty()));
}

@Override
public ElkObjectHasSelf visit(OWLObjectHasSelf owlObjectHasSelf) {
    return CONVERTER.convert(owlObjectHasSelf);
}

@SuppressWarnings("static-method")
public ElkObjectHasSelf convert(OWLObjectHasSelf owlObjectHasSelf) {
    return new ElkObjectHasSelfWrap<OWLObjectHasSelf>(owlObjectHasSelf);
}

public void visit(OWLObjectHasSelf object) {
    visitProperty(object.getProperty());
}

public OWLClassExpression visit(OWLObjectHasSelf object) {
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(object.getProperty().getNamedProperty());
    return object;
}

public Boolean visit(OWLObjectHasSelf object) {
    return Boolean.TRUE;
}

public void visit(OWLObjectHasSelf object) {
    visitProperty(object.getProperty());
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectHasSelf(d.getProperty().getSimplified());
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectComplementOf(getNNF(d));
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectHasSelf(d.getProperty().getSimplified());
}

public void visit(OWLObjectHasSelf object) {
    OWLObjectPropertyExpression objectProperty=object.getProperty();
    Atom roleAtom=getRoleAtom(objectProperty,X,X);
    m_headAtoms.add(roleAtom);
}

@Override
public OWLObjectHasSelf visit(OWLObjectHasSelf ce) {
    return null;
}

@Override
public HandlerResult visit(OWLObjectHasSelf ce) {
    return null;
}

public OWLClassExpression visit(OWLObjectHasSelf object) {
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(object.getProperty().getNamedProperty());
    return object;
}

public Boolean visit(OWLObjectHasSelf object) {
    return Boolean.TRUE;
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectHasSelf(d.getProperty().getSimplified());
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectComplementOf(getNNF(d));
}

public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectHasSelf(d.getProperty().getSimplified());
}

@Override
public Boolean visit(OWLObjectHasSelf classExpression) {
    return false;
}

@Override
public IntegerClassExpression visit(OWLObjectHasSelf ce) {
    Objects.requireNonNull(ce);
    throw TranslationException.newUnsupportedTranslationException(ce);
}

@Override
public OWLClassExpression visit(OWLObjectHasSelf ce) {
    return ce;
}

@Override
public O visit(OWLObjectHasSelf ce) {
    return doDefault(ce);
}