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

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

Direct Known Subclasses:

NormalizedImplicans, NormalizedImplications

public class ReformulatableClassDescriptions
extends java.lang.Object

so far this is exclusively TBox, _without_ RBox!

Author:

Ulf Schreiber

Constructor Summary

ReformulatableClassDescriptions(ReformulatableClassDescriptions orig)

ReformulatableClassDescriptions(TripleStore ts)

Method Summary

protected void	addFlippedNegations()
protected boolean	addToNewSet(java.util.Set<Sentence> oldSet, java.util.Set<Sentence> newSet, Sentence sentence) adds sentence to newSet and returns true iff oldSet did not contain sentence
protected void	conjunctRightSides()
protected void	disjunctLeftSides()
protected void	joinOnLeftSides()
protected void	joinOnRightSide()
protected void	splitEquivalents() convert all \equivalent concept lines into two \subsumes lines (role lines are kept in equiv form since there can't be an complex role expressions that would be worth splitting for left or right sides)
protected void	splitLeftSides()
protected void	splitRightSides()
void	writeLatex(java.io.Writer sw)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReformulatableClassDescriptions

public ReformulatableClassDescriptions(ReformulatableClassDescriptions orig)

ReformulatableClassDescriptions

public ReformulatableClassDescriptions(TripleStore ts)

Method Detail

splitEquivalents

protected void splitEquivalents()

convert all \equivalent concept lines into two \subsumes lines (role lines are kept in equiv form since there can't be an complex role expressions that would be worth splitting for left or right sides)

addFlippedNegations

protected void addFlippedNegations()

joinOnRightSide

protected void joinOnRightSide()

splitRightSides

protected void splitRightSides()

conjunctRightSides

protected void conjunctRightSides()

disjunctLeftSides

protected void disjunctLeftSides()

joinOnLeftSides

protected void joinOnLeftSides()

splitLeftSides

protected void splitLeftSides()

addToNewSet

protected boolean addToNewSet(java.util.Set<Sentence> oldSet,
                              java.util.Set<Sentence> newSet,
                              Sentence sentence)

adds sentence to newSet and returns true iff oldSet did not contain sentence

Parameters:

oldSet -

newSet -

sentence -

Returns:

boolean if the oldSet does not contain the sentence

writeLatex

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

Throws:

java.io.IOException