import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
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));
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public void addToOntology() {
  OWLObjectProperty property = featurePool.getExclusiveProperty(":hasSelfProperty");

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

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

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
/**
 * 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();
	}
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
/**
 * 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();
	}
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public OWLClassExpression visit(OWLObjectHasSelf ce) {
    if (negated) {
        return getNegation(ce);
    } else {
        return ce;
    }
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@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());
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
public void visit(OWLObjectHasSelf arg0) {
    notSupported(arg0);
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
public void visit(OWLObjectHasSelf object) {
    visitProperty(object.getProperty());
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectHasSelf object) {
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(object.getProperty().getNamedProperty());
    return object;
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectHasSelf d) {
    return m_factory.getOWLObjectHasSelf(d.getProperty().getSimplified());
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public OWLObjectHasSelf visit(ElkObjectHasSelf expression) {
	return owlFactory_
			.getOWLObjectHasSelf(convert(expression.getProperty()));
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public ElkObjectHasSelf visit(OWLObjectHasSelf owlObjectHasSelf) {
	return CONVERTER.convert(owlObjectHasSelf);
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkObjectHasSelf convert(OWLObjectHasSelf owlObjectHasSelf) {
	return new ElkObjectHasSelfWrap<OWLObjectHasSelf>(owlObjectHasSelf);
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public OWLObjectHasSelf visit(OWLObjectHasSelf ce) {
	return null;
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public HandlerResult visit(OWLObjectHasSelf ce) {
	return null;
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public Boolean visit(OWLObjectHasSelf classExpression) {
	return false;
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public IntegerClassExpression visit(OWLObjectHasSelf ce) {
	Objects.requireNonNull(ce);
	throw TranslationException.newUnsupportedTranslationException(ce);
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public OWLClassExpression visit(OWLObjectHasSelf ce) {
	return ce;
}
 

import org.semanticweb.owlapi.model.OWLObjectHasSelf; //导入依赖的package包/类
@Override
public O visit(OWLObjectHasSelf ce) {
    return doDefault(ce);
}