com.clarkparsia.pellint.lintpattern.axiom.EquivalentToMaxCardinalityPattern Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of pellet-pellint Show documentation
The newest version!
// Copyright (c) 2006 - 2008, Clark & Parsia, LLC. 
// This source code is available under the terms of the Affero General Public License v3.
//
// Please see LICENSE.txt for full license terms, including the availability of proprietary exceptions.
// Questions, comments, or requests for clarification: [email protected]

package com.clarkparsia.pellint.lintpattern.axiom;

import java.util.Set;

import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataMaxCardinality;
import org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom;
import org.semanticweb.owlapi.model.OWLObjectMaxCardinality;

import com.clarkparsia.owlapiv3.OWL;
import com.clarkparsia.pellint.format.CompactClassLintFormat;
import com.clarkparsia.pellint.format.LintFormat;
import com.clarkparsia.pellint.model.Lint;
import com.clarkparsia.pellint.model.LintFixer;

/**
 * 
 * Title: 
 * 
 * 
 * Description: 
 * 
 * 
 * Copyright: Copyright (c) 2008
 * 
 * 
 * Company: Clark & Parsia, LLC. 
 * 
 * 
 * @author Harris Lin
 */
public class EquivalentToMaxCardinalityPattern extends AxiomLintPattern {
	private static final LintFormat DEFAULT_LINT_FORMAT = new CompactClassLintFormat();
	
	public String getName() {
		return getClass().getSimpleName();
	}
	
	public String getDescription() {
		return "A named concept is equivalent to a max cardinality restriction";
	}

	public boolean isFixable() {
		return true;
	}
	
	public LintFormat getDefaultLintFormat() {
		return DEFAULT_LINT_FORMAT;
	}

	public void visit(OWLEquivalentClassesAxiom axiom) {
		Set owlDescs = axiom.getClassExpressions();
		if (owlDescs.size() != 2) return;
		
		OWLClass namedClass = null;
		OWLClassExpression cardinalityRestriction = null;
		for (OWLClassExpression owlDesc : owlDescs) {
			if (!owlDesc.isAnonymous()) {
				namedClass = owlDesc.asOWLClass();
			}
			else if ( owlDesc instanceof OWLObjectMaxCardinality ||
					  owlDesc instanceof OWLDataMaxCardinality ) {
				cardinalityRestriction = owlDesc;
			}
		}
		
		if (namedClass != null && cardinalityRestriction != null) {
			Lint lint = makeLint();
			lint.addParticipatingClass(namedClass);
			lint.addParticipatingAxiom(axiom);
			OWLAxiom newAxiom = OWL.subClassOf(namedClass, cardinalityRestriction);
			LintFixer fixer = new LintFixer(axiom, newAxiom);
			lint.setLintFixer(fixer);
			setLint(lint);
		}
	}
}