edu.stanford.smi.protegex.owl.model.classdisplay.manchester
Class ManchesterOWLClassDisplay

java.lang.Object
  edu.stanford.smi.protegex.owl.model.classdisplay.AbstractOWLClassDisplay
      edu.stanford.smi.protegex.owl.model.classdisplay.manchester.ManchesterOWLClassDisplay

All Implemented Interfaces:

OWLClassDisplay

public class ManchesterOWLClassDisplay

extends AbstractOWLClassDisplay

Author:

Holger Knublauch

Field Summary

private static ManchesterOWLClassParser

parser

Constructor Summary

ManchesterOWLClassDisplay()

Method Summary

String	getOWLAllValuesFromSymbol() Gets the keyword used for owl:allValuesFrom restrictions in this rendering.
String	getOWLCardinalitySymbol()
String	getOWLComplementOfSymbol()
String	getOWLHasValueSymbol()
String	getOWLIntersectionOfSymbol()
String	getOWLMaxCardinalitySymbol()
String	getOWLMinCardinalitySymbol()
String	getOWLSomeValuesFromSymbol()
String	getOWLUnionOfSymbol()
OWLClassParser	getParser() Gets the associated parser that allows users to enter class expressions in the defined rendering.
static String	getUIDescription()

Methods inherited from class edu.stanford.smi.protegex.owl.model.classdisplay.AbstractOWLClassDisplay

getDisplayText, getDisplayTextOfOWLComplementClass, getDisplayTextOfOWLEnumeratedClass, getDisplayTextOfOWLNAryLogicalClass, getDisplayTextOfOWLRestriction, getNestedDisplayText, getOWLRestrictionFillerText, getSymbol

Methods inherited from class java.lang.Object

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

Field Detail

parser

private static ManchesterOWLClassParser parser

Constructor Detail

ManchesterOWLClassDisplay

public ManchesterOWLClassDisplay()

Method Detail

getOWLAllValuesFromSymbol

public String getOWLAllValuesFromSymbol()

Description copied from interface: OWLClassDisplay

Gets the keyword used for owl:allValuesFrom restrictions in this rendering. Examples are the reverse A or "only".

Returns:

the key for owl:allValuesFrom

getOWLCardinalitySymbol

public String getOWLCardinalitySymbol()

getOWLComplementOfSymbol

public String getOWLComplementOfSymbol()

getOWLHasValueSymbol

public String getOWLHasValueSymbol()

getOWLIntersectionOfSymbol

public String getOWLIntersectionOfSymbol()

getOWLMaxCardinalitySymbol

public String getOWLMaxCardinalitySymbol()

getOWLMinCardinalitySymbol

public String getOWLMinCardinalitySymbol()

getOWLSomeValuesFromSymbol

public String getOWLSomeValuesFromSymbol()

getOWLUnionOfSymbol

public String getOWLUnionOfSymbol()

getParser

public OWLClassParser getParser()

Description copied from interface: OWLClassDisplay

Gets the associated parser that allows users to enter class expressions in the defined rendering.

Returns:

the OWLClassParser

getUIDescription

public static String getUIDescription()