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

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

public class NormalizedImplications
extends ReformulatableClassDescriptions

Constructor Summary

NormalizedImplications(TripleStore ts)

Method Summary

java.util.Map<AbsClassDescription,SentenceAboutConcepts>	getClassImplicationsToSentence()
java.util.Map<AbsRoleDescription,java.util.Set<SentenceAboutRoles>>	getRoleImplicationsToSentence()
java.util.Set<SentenceAboutConcepts>	getSentencesInfluencingRole(AbsRoleDescription roleDesc)
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

NormalizedImplications

public NormalizedImplications(TripleStore ts)

Method Detail

getClassImplicationsToSentence

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

getRoleImplicationsToSentence

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

writeLatex

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

Overrides:

writeLatex in class ReformulatableClassDescriptions

Throws:

java.io.IOException

getSentencesInfluencingRole

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