org.semanticweb.owlapi.profiles.InsufficientIndividuals Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of owlapi-api Show documentation

The newest version!

package org.semanticweb.owlapi.profiles;

import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLOntology;
@SuppressWarnings("javadoc")
public class InsufficientIndividuals extends OWLProfileViolation implements
OWL2DLProfileViolation, OWL2ELProfileViolation, OWL2ProfileViolation,
OWL2QLProfileViolation, OWL2RLProfileViolation {

	public InsufficientIndividuals(OWLOntology currentOntology,
			OWLAxiom node) {
super(currentOntology, node);
	}

	@Override
	public String toString() {
		StringBuilder sb = new StringBuilder();
		sb.append("Not enough individuals; at least two needed: ");
		sb.append(getAxiom());
		return sb.toString();
	}

    @Override
    public void accept(OWL2RLProfileViolationVisitor visitor) {
		visitor.visit(this);

	}

    @Override
    public void accept(OWL2QLProfileViolationVisitor visitor) {
		visitor.visit(this);

	}

    @Override
    public void accept(OWL2ProfileViolationVisitor visitor) {
		visitor.visit(this);

	}

    @Override
    public void accept(OWL2ELProfileViolationVisitor visitor) {
		visitor.visit(this);

	}

    @Override
    public void accept(OWL2DLProfileViolationVisitor visitor) {
		visitor.visit(this);

	}
}