public class OWLAxiomsRendererVisitor extends IndentedRendererVisitor implements AlignmentVisitor, EDOALVisitor
Modifier and Type | Field and Description |
---|---|
(package private) Alignment |
alignment |
(package private) Cell |
cell |
private static Namespace |
DEF |
(package private) boolean |
edoal |
(package private) boolean |
heterogeneous |
(package private) static org.slf4j.Logger |
logger |
(package private) LoadedOntology<? extends java.lang.Object> |
onto1 |
(package private) LoadedOntology<? extends java.lang.Object> |
onto2 |
(package private) Relation |
toProcess |
ENC, INDENT, linePrefix, NL, writer
Constructor and Description |
---|
OWLAxiomsRendererVisitor(java.io.PrintWriter writer) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getRelationName(LoadedOntology<? extends java.lang.Object> onto,
Relation rel,
java.lang.Object ob)
Regular: relation name depends on loaded ontology
|
java.lang.String |
getRelationName(Relation rel,
java.lang.Object ob)
For EDOAL relation name depends on type of expressions
|
void |
init(java.util.Properties p) |
void |
printRel(java.lang.Object ob,
LoadedOntology<? extends java.lang.Object> onto,
Relation rel) |
void |
visit(Aggregate e) |
void |
visit(Alignment align) |
void |
visit(Apply e) |
void |
visit(Cell cell) |
void |
visit(ClassConstruction e) |
void |
visit(ClassDomainRestriction c) |
void |
visit(ClassId e)
OWL, and in particular OWL 2, does not allow for more Relation (ObjectProperty)
and Property (DataProperty) constructor than owl:inverseOf
It is thus imposible to transcribe our and, or and not constructors.
|
void |
visit(ClassOccurenceRestriction c) |
void |
visit(ClassTypeRestriction c) |
void |
visit(ClassValueRestriction c) |
void |
visit(Datatype e)
Our Datatypes are only strings identifying datatypes.
|
void |
visit(EDOALCell cell) |
void |
visit(InstanceId e) |
void |
visit(Linkkey linkkey) |
void |
visit(LinkkeyBinding linkkeyBinding) |
void |
visit(LinkkeyEquals linkkeyEquals) |
void |
visit(LinkkeyIntersects linkkeyIntersects) |
void |
visit(PropertyConstruction e)
OWL, and in particular OWL 2, does not allow for more Relation (ObjectProperty)
and Property (DataProperty) constructor than owl:inverseOf
It is thus imposible to transcribe our and, or and not constructors.
|
void |
visit(PropertyDomainRestriction c) |
void |
visit(PropertyId e) |
void |
visit(PropertyTypeRestriction c) |
void |
visit(PropertyValueRestriction c) |
void |
visit(Relation rel) |
void |
visit(RelationCoDomainRestriction c) |
void |
visit(RelationConstruction e)
OWL, and in particular OWL 2, does not allow for more Relation (ObjectProperty)
and Property (DataProperty) constructor than owl:inverseOf
It is thus imposible to transcribe our and, or and not constructors.
|
void |
visit(RelationDomainRestriction c) |
void |
visit(RelationId e) |
void |
visit(Transformation transf) |
void |
visit(Value e) |
decreaseIndent, increaseIndent, indentedOutput, indentedOutput, indentedOutputln, indentedOutputln, output, outputln, outputln, setEncoding, setIndentString, setNewLineString
getMethod, subsumedInvocableMethod
static final org.slf4j.Logger logger
boolean heterogeneous
boolean edoal
Alignment alignment
LoadedOntology<? extends java.lang.Object> onto1
LoadedOntology<? extends java.lang.Object> onto2
Cell cell
Relation toProcess
private static Namespace DEF
public OWLAxiomsRendererVisitor(java.io.PrintWriter writer)
public void init(java.util.Properties p)
init
in interface AlignmentVisitor
init
in class IndentedRendererVisitor
public void visit(Alignment align) throws AlignmentException
visit
in interface AlignmentVisitor
AlignmentException
public void visit(Cell cell) throws AlignmentException
visit
in interface AlignmentVisitor
AlignmentException
public void visit(EDOALCell cell) throws AlignmentException
AlignmentException
public void visit(Relation rel) throws AlignmentException
visit
in interface AlignmentVisitor
AlignmentException
public void printRel(java.lang.Object ob, LoadedOntology<? extends java.lang.Object> onto, Relation rel) throws AlignmentException
AlignmentException
public java.lang.String getRelationName(Relation rel, java.lang.Object ob)
rel:
- the relation to renderob:
- an object on which this relation appliespublic java.lang.String getRelationName(LoadedOntology<? extends java.lang.Object> onto, Relation rel, java.lang.Object ob)
onto:
- the ontology in which belongs obrel:
- a relation to renderob:
- an object affected by this relationpublic void visit(ClassId e) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(ClassConstruction e) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(ClassValueRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(ClassTypeRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(ClassDomainRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(ClassOccurenceRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(PropertyId e) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(PropertyConstruction e) throws AlignmentException
visit
in interface EDOALVisitor
e:
- a compound property to renderAlignmentException
- when something goes wrongpublic void visit(PropertyValueRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(PropertyDomainRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(PropertyTypeRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(RelationId e) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(RelationConstruction e) throws AlignmentException
visit
in interface EDOALVisitor
e:
- a compound relation to renderAlignmentException
- when something goes wrongpublic void visit(RelationCoDomainRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(RelationDomainRestriction c) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(InstanceId e) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(Value e) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(Apply e) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(Aggregate e) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(Transformation transf) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(Datatype e)
visit
in interface EDOALVisitor
e:
- a datatype to renderpublic void visit(Linkkey linkkey) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(LinkkeyBinding linkkeyBinding) throws AlignmentException
AlignmentException
public void visit(LinkkeyEquals linkkeyEquals) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
public void visit(LinkkeyIntersects linkkeyIntersects) throws AlignmentException
visit
in interface EDOALVisitor
AlignmentException
(C) INRIA & friends, 2003-2020