|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.stanford.smi.protegex.owl.inference.dig.translator.DefaultDIGRenderer
public class DefaultDIGRenderer
User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Sep 4, 2004
Constructor Summary | |
---|---|
DefaultDIGRenderer()
|
Method Summary | |
---|---|
protected boolean |
isSupportedAskElement(String elementTagName)
|
protected boolean |
isSupportedLanguageElement(String elementTagName)
|
protected boolean |
isSupportedTellElement(String elementTagName)
|
protected void |
logErrorOrWarning(RDFResource cause,
String message,
String recoveryMessage)
|
boolean |
render(OWLAllValuesFrom allRestriction,
Document doc,
Node parentNode)
|
protected boolean |
render(OWLCardinalityBase cardinalityRestriction,
Document doc,
Node parentNode,
String digTypeName)
|
boolean |
render(OWLCardinality cardiRestriction,
Document doc,
Node parentNode)
|
boolean |
render(OWLComplementClass complementCls,
Document doc,
Node parentNode)
|
boolean |
render(OWLDatatypeProperty slot,
Document doc,
Node parentNode)
|
boolean |
render(OWLEnumeratedClass enumerationCls,
Document doc,
Node parentNode)
|
boolean |
render(OWLHasValue hasRestriction,
Document doc,
Node parentNode)
|
boolean |
render(OWLIntersectionClass intersectionCls,
Document doc,
Node parentNode)
|
protected boolean |
render(OWLLogicalClass logicalCls,
Document doc,
Node parentNode,
String digTypeName)
|
boolean |
render(OWLMaxCardinality maxCardiRestriction,
Document doc,
Node parentNode)
|
boolean |
render(OWLMinCardinality minCardiRestriction,
Document doc,
Node parentNode)
|
void |
render(OWLModel kb,
Document doc,
Node parentNode)
|
boolean |
render(OWLNamedClass cls,
Document doc,
Node parentNode)
|
boolean |
render(OWLObjectProperty slot,
Document doc,
Node parentNode)
|
protected boolean |
render(OWLQuantifierRestriction quantifierRestriction,
Document doc,
Node parentNode)
|
boolean |
render(OWLSomeValuesFrom someRestriction,
Document doc,
Node parentNode)
|
boolean |
render(OWLUnionClass unionCls,
Document doc,
Node parentNode)
|
boolean |
render(RDFIndividual instance,
Document doc,
Node parentNode)
|
protected boolean |
renderAppropriateCls(RDFSClass aClass,
Document doc,
Node parentNode)
|
protected boolean |
renderAppropriateSlot(edu.stanford.smi.protege.model.Slot slot,
Document doc,
Node parentNode)
|
void |
renderAxioms(OWLNamedClass cls,
Document doc,
Node parentNode)
|
void |
renderAxioms(OWLProperty property,
Document doc,
Node parentNode)
|
void |
renderAxioms(RDFIndividual instance,
Document doc,
Node parentNode)
|
protected void |
renderClasses(OWLModel kb,
Document doc,
Node parentNode)
Renders the classes and their axioms |
protected void |
renderEquivalentSlots(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderFakedDifferentFrom(Collection differentFromIndividuals,
Document doc,
Node parentNode)
|
protected void |
renderFunctionalSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderIndividuals(OWLModel kb,
Document doc,
Node parentNode)
|
protected void |
renderInverseFunctionalSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderInverseSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderProperties(OWLModel kb,
Document doc,
Node parentNode)
Renders the properties and their axioms |
boolean |
renderQuantifierDataRestriction(OWLQuantifierRestriction quantifierRestriction,
Document doc,
Node parentNode)
|
boolean |
renderQuantifierObjectRestriction(OWLQuantifierRestriction quantifierRestriction,
Document doc,
Node parentNode)
|
protected void |
renderSlotDomain(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderSlotRange(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderSuperSlots(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderSymmetricSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderTransitiveSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
renderTypes(RDFIndividual instance,
Document doc,
Node parentNode)
|
void |
setReasonerIdentity(DIGReasonerIdentity reasonerIdentity)
Sets the DIG Reasoner Identity that will constrain the representation when OWLModel elements are translated to DIG. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DefaultDIGRenderer()
Method Detail |
---|
public void setReasonerIdentity(DIGReasonerIdentity reasonerIdentity)
DIGRenderer
setReasonerIdentity
in interface DIGRenderer
reasonerIdentity
- - The reasoner identity, or null
if the translation to DIG should not be constrasined by the
capabilities of a particular reasoner.protected boolean renderAppropriateCls(RDFSClass aClass, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected boolean renderAppropriateSlot(edu.stanford.smi.protege.model.Slot slot, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
public void render(OWLModel kb, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
protected void renderFakedDifferentFrom(Collection differentFromIndividuals, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderClasses(OWLModel kb, Document doc, Node parentNode) throws DIGReasonerException
kb
- The knowledge base that contains the classes to be rendereddoc
- The document that the renderings will be inseted intoparentNode
-
DIGReasonerException
protected void renderProperties(OWLModel kb, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderIndividuals(OWLModel kb, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
public boolean render(OWLNamedClass cls, Document doc, Node parentNode)
render
in interface DIGRenderer
public boolean render(OWLSomeValuesFrom someRestriction, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public boolean render(OWLAllValuesFrom allRestriction, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
protected boolean render(OWLQuantifierRestriction quantifierRestriction, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
public boolean renderQuantifierObjectRestriction(OWLQuantifierRestriction quantifierRestriction, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
public boolean renderQuantifierDataRestriction(OWLQuantifierRestriction quantifierRestriction, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
public boolean render(OWLHasValue hasRestriction, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public boolean render(OWLMinCardinality minCardiRestriction, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public boolean render(OWLMaxCardinality maxCardiRestriction, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public boolean render(OWLCardinality cardiRestriction, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
protected boolean render(OWLCardinalityBase cardinalityRestriction, Document doc, Node parentNode, String digTypeName) throws DIGReasonerException
DIGReasonerException
public boolean render(OWLUnionClass unionCls, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public boolean render(OWLComplementClass complementCls, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public boolean render(OWLIntersectionClass intersectionCls, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
protected boolean render(OWLLogicalClass logicalCls, Document doc, Node parentNode, String digTypeName) throws DIGReasonerException
DIGReasonerException
public boolean render(OWLEnumeratedClass enumerationCls, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public boolean render(OWLObjectProperty slot, Document doc, Node parentNode)
render
in interface DIGRenderer
public boolean render(OWLDatatypeProperty slot, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public boolean render(RDFIndividual instance, Document doc, Node parentNode) throws DIGReasonerException
render
in interface DIGRenderer
DIGReasonerException
public void renderAxioms(OWLNamedClass cls, Document doc, Node parentNode) throws DIGReasonerException
renderAxioms
in interface DIGRenderer
DIGReasonerException
public void renderAxioms(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
renderAxioms
in interface DIGRenderer
DIGReasonerException
protected void renderSuperSlots(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderEquivalentSlots(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderSlotDomain(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderSlotRange(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderInverseSlot(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderInverseFunctionalSlot(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderTransitiveSlot(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderSymmetricSlot(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected void renderFunctionalSlot(OWLProperty property, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
public void renderAxioms(RDFIndividual instance, Document doc, Node parentNode) throws DIGReasonerException
renderAxioms
in interface DIGRenderer
DIGReasonerException
protected void renderTypes(RDFIndividual instance, Document doc, Node parentNode) throws DIGReasonerException
DIGReasonerException
protected boolean isSupportedTellElement(String elementTagName)
protected boolean isSupportedAskElement(String elementTagName)
protected boolean isSupportedLanguageElement(String elementTagName)
protected void logErrorOrWarning(RDFResource cause, String message, String recoveryMessage) throws DIGReasonerException
DIGReasonerException
|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |