dev.ikm.reasoner.hybrid.SubsumptionNormalForm Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of hybrid-reasoner Show documentation

There is a newer version: 1.0.1

package dev.ikm.reasoner.hybrid;

import java.util.Set;

import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom;

public class SubsumptionNormalForm {

	private boolean subClassOf;

	private boolean isAbsent; // default

	private Set focusConcepts;

////	private Set sups;

	private Set ungroupedProps;

////	private Set> groupedProps;

	public SubsumptionNormalForm() {
		// TODO Auto-generated constructor stub
	}

	public boolean isSubClassOf() {
		return subClassOf;
	}

	public void setSubClassOf(boolean subClass) {
		this.subClassOf = subClass;
	}

	public boolean isAbsent() {
		return this.isAbsent;
	}

	public void setIsAbsent(boolean value) {
		this.isAbsent = value;
	}

	public void setFocusConcepts(Set focusConcepts) {
		this.focusConcepts = focusConcepts;
	}

	public Set getFocusConcepts() {
		return focusConcepts;
	}

////	public void setSups(Set sups) {
////		this.sups = sups;
////	}
////
////	public Set getSups() {
////		return sups;
////	}

	public Set getUngroupedProps() {
		return ungroupedProps;
	}

	public void setUngroupedProps(Set ungroupedProps) {
		this.ungroupedProps = ungroupedProps;
	}

////	public Set> getGroupedProps() {
////		return groupedProps;
////	}
////
////	public void setGroupedProps(Set> groupedProps) {
////		this.groupedProps = groupedProps;
////	}

	public String toString() {
		return absenceToString() + propertiesToString(getUngroupedProps()) + focusConceptsToString(getFocusConcepts());
	}

	public String absenceToString() {
		if (this.isAbsent)
			return "ABSENT statement\n";
		else
			return "PRESENT statement\n";
	}

	public String propertiesToString(Set ungroupedProps) {
		String returnString = new String("  Normalized Properties: \n");
		for (OWLObjectSomeValuesFrom owlObjectSomeValuesFrom : ungroupedProps) {
			returnString = returnString + "    " + owlObjectSomeValuesFrom.toString() + "\n";
		}
		return returnString;
	}

	public String focusConceptsToString(Set focusConcepts) {
		String returnString = new String("  Normalized Focus Concepts: \n");
		for (OWLClass owlClass : focusConcepts) {
			returnString = returnString + "    " + owlClass.toString() + "\n";
		}
		return returnString;
	}

}