de.fau.cs.www8.jadeowlcodec.tboxnormalisation
Class NormalizedImplicans

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tboxnormalisation.ReformulatableClassDescriptions
      de.fau.cs.www8.jadeowlcodec.tboxnormalisation.NormalizedImplicans

public class NormalizedImplicans
extends ReformulatableClassDescriptions

Constructor Summary

NormalizedImplicans(TripleStore ts)

Method Summary

java.util.Map<AbsClassDescription,SentenceAboutConcepts>	getClassImplicansToSentence()
java.util.Map<AbsRoleDescription,java.util.Set<SentenceAboutRoles>>	getRoleImplicansToSentence()
java.util.Set<SentenceAboutConcepts>	getSentencesInfluencedByRole(AbsRoleDescription roleDesc)
boolean	isSubProperty(AbsRoleDescription isSub, AbsRoleDescription isSuper, java.util.Set<AbsRoleDescription> tested)
void	writeLatex(java.io.Writer sw)

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tboxnormalisation.ReformulatableClassDescriptions

addFlippedNegations, addToNewSet, conjunctRightSides, disjunctLeftSides, joinOnLeftSides, joinOnRightSide, splitEquivalents, splitLeftSides, splitRightSides

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NormalizedImplicans

public NormalizedImplicans(TripleStore ts)

Method Detail

getClassImplicansToSentence

public java.util.Map<AbsClassDescription,SentenceAboutConcepts> getClassImplicansToSentence()

getRoleImplicansToSentence

public java.util.Map<AbsRoleDescription,java.util.Set<SentenceAboutRoles>> getRoleImplicansToSentence()

writeLatex

public void writeLatex(java.io.Writer sw)
                throws java.io.IOException

Overrides:

writeLatex in class ReformulatableClassDescriptions

Throws:

java.io.IOException

getSentencesInfluencedByRole

public java.util.Set<SentenceAboutConcepts> getSentencesInfluencedByRole(AbsRoleDescription roleDesc)

isSubProperty

public boolean isSubProperty(AbsRoleDescription isSub,
                             AbsRoleDescription isSuper,
                             java.util.Set<AbsRoleDescription> tested)