uk.ac.manchester.cs.owl.owlapi.mansyntaxrenderer.ManchesterOWLSyntaxObjectRenderer Maven / Gradle / Ivy
/*
* This file is part of the OWL API.
*
* The contents of this file are subject to the LGPL License, Version 3.0.
*
* Copyright (C) 2011, The University of Manchester
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see http://www.gnu.org/licenses/.
*
*
* Alternatively, the contents of this file may be used under the terms of the Apache License, Version 2.0
* in which case, the provisions of the Apache License Version 2.0 are applicable instead of those above.
*
* Copyright 2011, University of Manchester
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package uk.ac.manchester.cs.owl.owlapi.mansyntaxrenderer;
import static org.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntax.*;
import java.io.Writer;
import java.util.ArrayList;
import java.util.Collection;
import java.util.Collections;
import java.util.Iterator;
import java.util.List;
import java.util.Set;
import java.util.TreeSet;
import org.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntax;
import org.semanticweb.owlapi.model.*;
import org.semanticweb.owlapi.util.ShortFormProvider;
/**
* Author: Matthew Horridge
* The University Of Manchester
* Bio-Health Informatics Group
* Date: 25-Apr-2007
*/
@SuppressWarnings("javadoc")
public class ManchesterOWLSyntaxObjectRenderer extends AbstractRenderer implements OWLObjectVisitor {
public static final int LINE_LENGTH = 70;
public ManchesterOWLSyntaxObjectRenderer(Writer writer, ShortFormProvider entityShortFormProvider) {
super(writer, entityShortFormProvider);
}
protected List sort(Collection objects) {
List sortedObjects = new ArrayList(objects);
Collections.sort(sortedObjects);
return sortedObjects;
}
protected void write(Set objects, ManchesterOWLSyntax delimeter, boolean newline) {
int tab = getIndent();
pushTab(tab);
for (Iterator it = sort(objects).iterator(); it.hasNext();) {
it.next().accept(this);
if (it.hasNext()) {
if (newline && isUseWrapping()) {
writeNewLine();
}
write(delimeter);
}
}
popTab();
}
protected void writeCommaSeparatedList(Set objects) {
for (Iterator it = new TreeSet(objects).iterator(); it.hasNext();) {
it.next().accept(this);
if (it.hasNext()) {
write(", ");
}
}
}
protected void write(Set objects, boolean newline) {
boolean first = true;
for (Iterator it = sort(objects).iterator(); it.hasNext();) {
OWLObject desc = it.next();
if (!first) {
if (newline && isUseWrapping()) {
writeNewLine();
}
write(" ", AND, " ");
}
first = false;
if (desc instanceof OWLAnonymousClassExpression) {
write("(");
}
desc.accept(this);
if (desc instanceof OWLAnonymousClassExpression) {
write(")");
}
}
}
private void writeRestriction(OWLQuantifiedDataRestriction restriction, ManchesterOWLSyntax keyword) {
restriction.getProperty().accept(this);
write(keyword);
restriction.getFiller().accept(this);
}
private void writeRestriction(OWLQuantifiedObjectRestriction restriction, ManchesterOWLSyntax keyword) {
restriction.getProperty().accept(this);
write(keyword);
boolean conjunctionOrDisjunction = false;
if (restriction.getFiller() instanceof OWLAnonymousClassExpression) {
if (restriction.getFiller() instanceof OWLObjectIntersectionOf || restriction.getFiller() instanceof OWLObjectUnionOf) {
conjunctionOrDisjunction = true;
incrementTab(4);
writeNewLine();
}
write("(");
}
restriction.getFiller().accept(this);
if (restriction.getFiller() instanceof OWLAnonymousClassExpression) {
write(")");
if (conjunctionOrDisjunction) {
popTab();
}
}
}
private , V extends OWLObject> void writeRestriction(OWLHasValueRestriction restriction) {
restriction.getProperty().accept(this);
write(VALUE);
restriction.getValue().accept(this);
}
private , F extends OWLPropertyRange> void writeRestriction(OWLCardinalityRestriction restriction, ManchesterOWLSyntax keyword) {
restriction.getProperty().accept(this);
write(keyword);
write(Integer.toString(restriction.getCardinality()));
// if(restriction.isQualified()) {
writeSpace();
if (restriction.getFiller() instanceof OWLAnonymousClassExpression) {
write("(");
}
restriction.getFiller().accept(this);
if (restriction.getFiller() instanceof OWLAnonymousClassExpression) {
write(")");
}
// }
}
///////////////////////////////////////////////////////////////////////////////////////////////
//
// Class expressions
//
///////////////////////////////////////////////////////////////////////////////////////////////
@Override
public void visit(OWLClass desc) {
write(getShortFormProvider().getShortForm(desc));
}
@Override
public void visit(OWLObjectIntersectionOf desc) {
write(desc.getOperands(), true);
}
@Override
public void visit(OWLObjectUnionOf desc) {
boolean first = true;
write("(");
for (Iterator it = desc.getOperands().iterator(); it.hasNext();) {
OWLClassExpression op = it.next();
if (!first) {
// if (isUseWrapping()) {
// writeNewLine();
// }
write(" ", OR, " ");
}
first = false;
if (op.isAnonymous()) {
write("(");
}
op.accept(this);
if (op.isAnonymous()) {
write(")");
}
}
write(")");
}
@Override
public void visit(OWLObjectComplementOf desc) {
write("", NOT, desc.isAnonymous() ? " " : "");
if (desc.isAnonymous()) {
write("(");
}
desc.getOperand().accept(this);
if (desc.isAnonymous()) {
write(")");
}
}
@Override
public void visit(OWLObjectSomeValuesFrom desc) {
writeRestriction(desc, SOME);
}
@Override
public void visit(OWLObjectAllValuesFrom desc) {
writeRestriction(desc, ONLY);
}
@Override
public void visit(OWLObjectHasValue desc) {
writeRestriction(desc);
}
@Override
public void visit(OWLObjectMinCardinality desc) {
writeRestriction(desc, MIN);
}
@Override
public void visit(OWLObjectExactCardinality desc) {
writeRestriction(desc, EXACTLY);
}
@Override
public void visit(OWLObjectMaxCardinality desc) {
writeRestriction(desc, MAX);
}
@Override
public void visit(OWLObjectHasSelf desc) {
desc.getProperty().accept(this);
write(SOME);
write(SELF);
}
@Override
public void visit(OWLObjectOneOf desc) {
write("{");
write(desc.getIndividuals(), ONE_OF_DELIMETER, false);
write("}");
}
@Override
public void visit(OWLDataSomeValuesFrom desc) {
writeRestriction(desc, SOME);
}
@Override
public void visit(OWLDataAllValuesFrom desc) {
writeRestriction(desc, ONLY);
}
@Override
public void visit(OWLDataHasValue desc) {
writeRestriction(desc);
}
@Override
public void visit(OWLDataMinCardinality desc) {
writeRestriction(desc, MIN);
}
@Override
public void visit(OWLDataExactCardinality desc) {
writeRestriction(desc, EXACTLY);
}
@Override
public void visit(OWLDataMaxCardinality desc) {
writeRestriction(desc, MAX);
}
///////////////////////////////////////////////////////////////////////////////////////////////
//
// Entities stuff
//
///////////////////////////////////////////////////////////////////////////////////////////////
@Override
public void visit(OWLObjectProperty property) {
write(getShortFormProvider().getShortForm(property));
}
@Override
public void visit(OWLDataProperty property) {
write(getShortFormProvider().getShortForm(property));
}
@Override
public void visit(OWLNamedIndividual individual) {
write(getShortFormProvider().getShortForm(individual));
}
@Override
public void visit(OWLAnnotationProperty property) {
write(getShortFormProvider().getShortForm(property));
}
@Override
public void visit(OWLDatatype datatype) {
write(getShortFormProvider().getShortForm(datatype));
}
@Override
public void visit(OWLAnonymousIndividual individual) {
write(individual.toString());
}
@Override
public void visit(IRI iri) {
write(iri.toQuotedString());
}
@Override
public void visit(OWLAnnotation node) {
writeAnnotations(node.getAnnotations());
node.getProperty().accept(this);
writeSpace();
node.getValue().accept(this);
}
// private String escape(String s) {
// for(int i = 0; i < s.length(); i++) {
// char ch = s.charAt(i);
// if(i == 0 && ch == '\'') {
// return s;
// }
// if(" [](){},^<>?@".indexOf(ch) != -1) {
// StringBuilder sb = new StringBuilder();
// sb.append("'");
// sb.append(s);
// sb.append("'");
// return sb.toString();
// }
// }
// return s;
// }
///////////////////////////////////////////////////////////////////////////////////////////////
//
// Data stuff
//
///////////////////////////////////////////////////////////////////////////////////////////////
@Override
public void visit(OWLDataComplementOf node) {
write(NOT);
if(node.getDataRange().isDatatype()) {
node.getDataRange().accept(this);
}
else {
write("(");
node.getDataRange().accept(this);
write(")");
}
}
@Override
public void visit(OWLDataOneOf node) {
write("{");
write(node.getValues(), ONE_OF_DELIMETER, false);
write("}");
}
@Override
public void visit(OWLDataIntersectionOf node) {
write("(");
write(node.getOperands(), AND, false);
write(")");
}
@Override
public void visit(OWLDataUnionOf node) {
write("(");
write(node.getOperands(), OR, false);
write(")");
}
@Override
public void visit(OWLDatatypeRestriction node) {
node.getDatatype().accept(this);
write("[");
write(node.getFacetRestrictions(), FACET_RESTRICTION_SEPARATOR, false);
write("]");
}
@Override
public void visit(OWLLiteral node) {
if (node.getDatatype().isDouble()) {
write(node.getLiteral());
}
else if (node.getDatatype().isFloat()) {
write(node.getLiteral());
write("f");
}
else if (node.getDatatype().isInteger()) {
write(node.getLiteral());
}
else if (node.getDatatype().isBoolean()) {
write(node.getLiteral());
}
else {
pushTab(getIndent());
writeLiteral(node.getLiteral());
if(node.hasLang()) {
write("@");
write(node.getLang());
}
else if(!node.isRDFPlainLiteral()) {
write("^^");
node.getDatatype().accept(this);
}
popTab();
}
}
private void writeLiteral(String literal) {
write("\"");
for(int i = 0; i < literal.length(); i++) {
char ch = literal.charAt(i);
if(ch == '"') {
write('\\');
}
else if(ch == '\\') {
write('\\');
}
write(ch);
}
write("\"");
}
@Override
public void visit(OWLFacetRestriction node) {
write(node.getFacet().getSymbolicForm());
writeSpace();
node.getFacetValue().accept(this);
}
///////////////////////////////////////////////////////////////////////////////////////////////
//
// Property expression stuff
//
///////////////////////////////////////////////////////////////////////////////////////////////
@Override
public void visit(OWLObjectInverseOf property) {
write(INVERSE);
write("(");
property.getInverse().accept(this);
write(")");
}
///////////////////////////////////////////////////////////////////////////////////////////////
//
// Annotation stuff
//
///////////////////////////////////////////////////////////////////////////////////////////////
///////////////////////////////////////////////////////////////////////////////////////////////
//
// Stand alone axiom representation
//
// We render each axiom as a one line frame
//
///////////////////////////////////////////////////////////////////////////////////////////////
private boolean wrapSave;
private boolean tabSave;
private void setAxiomWriting() {
wrapSave = isUseWrapping();
tabSave = isUseTabbing();
setUseWrapping(false);
setUseTabbing(false);
}
private void restore() {
setUseTabbing(tabSave);
setUseWrapping(wrapSave);
}
@Override
public void visit(OWLSubClassOfAxiom axiom) {
setAxiomWriting();
axiom.getSubClass().accept(this);
write(SUBCLASS_OF);
axiom.getSuperClass().accept(this);
restore();
}
@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
setAxiomWriting();
write(NOT);
write("(");
axiom.getSubject().accept(this);
write(" ");
axiom.getProperty().accept(this);
write(" ");
axiom.getObject().accept(this);
write(")");
restore();
}
// private void writePropertyCharacteristic(ManchesterOWLSyntax characteristic) {
// setAxiomWriting();
// writeSectionKeyword(CHARACTERISTICS);
// write(characteristic);
// restore();
// }
@Override
public void visit(OWLAsymmetricObjectPropertyAxiom axiom) {
setAxiomWriting();
writeSectionKeyword(ASYMMETRIC);
axiom.getProperty().accept(this);
restore();
}
@Override
public void visit(OWLReflexiveObjectPropertyAxiom axiom) {
setAxiomWriting();
writeSectionKeyword(REFLEXIVE);
axiom.getProperty().accept(this);
restore();
}
private void writeBinaryOrNaryList(ManchesterOWLSyntax binaryKeyword, Set objects, ManchesterOWLSyntax naryKeyword) {
if(objects.size() == 2) {
Iterator it = objects.iterator();
it.next().accept(this);
write(binaryKeyword);
it.next().accept(this);
}
else {
writeSectionKeyword(naryKeyword);
writeCommaSeparatedList(objects);
}
}
@Override
public void visit(OWLDisjointClassesAxiom axiom) {
setAxiomWriting();
writeBinaryOrNaryList(DISJOINT_WITH, axiom.getClassExpressions(), DISJOINT_CLASSES);
restore();
}
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
setAxiomWriting();
axiom.getProperty().accept(this);
write(DOMAIN);
axiom.getDomain().accept(this);
restore();
}
@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
setAxiomWriting();
axiom.getProperty().accept(this);
write(DOMAIN);
axiom.getDomain().accept(this);
restore();
}
@Override
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
setAxiomWriting();
writeBinaryOrNaryList(EQUIVALENT_TO, axiom.getProperties(), EQUIVALENT_PROPERTIES);
restore();
}
@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
setAxiomWriting();
write(NOT);
write("(");
axiom.getSubject().accept(this);
write(" ");
axiom.getProperty().accept(this);
write(" ");
axiom.getObject().accept(this);
write(")");
restore();
}
@Override
public void visit(OWLDifferentIndividualsAxiom axiom) {
setAxiomWriting();
writeBinaryOrNaryList(DIFFERENT_FROM, axiom.getIndividuals(), DIFFERENT_INDIVIDUALS);
restore();
}
@Override
public void visit(OWLDisjointDataPropertiesAxiom axiom) {
setAxiomWriting();
writeBinaryOrNaryList(DISJOINT_WITH, axiom.getProperties(), DISJOINT_PROPERTIES);
restore();
}
@Override
public void visit(OWLDisjointObjectPropertiesAxiom axiom) {
setAxiomWriting();
writeBinaryOrNaryList(DISJOINT_WITH, axiom.getProperties(), DISJOINT_PROPERTIES);
restore();
}
@Override
public void visit(OWLObjectPropertyRangeAxiom axiom) {
setAxiomWriting();
axiom.getProperty().accept(this);
write(RANGE);
axiom.getRange().accept(this);
restore();
}
@Override
public void visit(OWLObjectPropertyAssertionAxiom axiom) {
setAxiomWriting();
axiom.getSubject().accept(this);
write(" ");
axiom.getProperty().accept(this);
write(" ");
axiom.getObject().accept(this);
restore();
}
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
setAxiomWriting();
writeSectionKeyword(FUNCTIONAL);
axiom.getProperty().accept(this);
restore();
}
@Override
public void visit(OWLSubObjectPropertyOfAxiom axiom) {
setAxiomWriting();
axiom.getSubProperty().accept(this);
write(SUB_PROPERTY_OF);
axiom.getSuperProperty().accept(this);
restore();
}
@Override
public void visit(OWLDisjointUnionAxiom axiom) {
setAxiomWriting();
axiom.getOWLClass().accept(this);
write(DISJOINT_UNION_OF);
writeCommaSeparatedList(axiom.getClassExpressions());
restore();
}
private void writeFrameType(OWLObject object) {
setAxiomWriting();
if (object instanceof OWLOntology) {
writeFrameKeyword(ONTOLOGY);
OWLOntology ont = (OWLOntology) object;
if (!ont.isAnonymous()) {
write("<");
write(ont.getOntologyID().getOntologyIRI().toString());
write(">");
}
}
else {
if (object instanceof OWLClassExpression) {
writeFrameKeyword(CLASS);
}
else if (object instanceof OWLObjectPropertyExpression) {
writeFrameKeyword(OBJECT_PROPERTY);
}
else if (object instanceof OWLDataPropertyExpression) {
writeFrameKeyword(DATA_PROPERTY);
}
else if (object instanceof OWLIndividual) {
writeFrameKeyword(INDIVIDUAL);
}
else if (object instanceof OWLAnnotationProperty) {
writeFrameKeyword(ANNOTATION_PROPERTY);
}
}
object.accept(this);
}
@Override
public void visit(OWLDeclarationAxiom axiom) {
setAxiomWriting();
writeFrameType(axiom.getEntity());
restore();
}
@Override
public void visit(OWLAnnotationAssertionAxiom axiom) {
setAxiomWriting();
axiom.getSubject().accept(this);
write(" ");
axiom.getAnnotation().accept(this);
restore();
}
@Override
public void visit(OWLAnnotationPropertyDomainAxiom axiom) {
setAxiomWriting();
axiom.getProperty().accept(this);
write(DOMAIN);
axiom.getDomain().accept(this);
}
@Override
public void visit(OWLAnnotationPropertyRangeAxiom axiom) {
setAxiomWriting();
axiom.getProperty().accept(this);
write(RANGE);
axiom.getRange().accept(this);
}
@Override
public void visit(OWLSubAnnotationPropertyOfAxiom axiom) {
setAxiomWriting();
axiom.getSubProperty().accept(this);
write(SUB_PROPERTY_OF);
axiom.getSuperProperty().accept(this);
}
@Override
public void visit(OWLSymmetricObjectPropertyAxiom axiom) {
setAxiomWriting();
writeSectionKeyword(SYMMETRIC);
axiom.getProperty().accept(this);
restore();
}
@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
setAxiomWriting();
axiom.getProperty().accept(this);
writeSectionKeyword(RANGE);
axiom.getRange().accept(this);
restore();
}
@Override
public void visit(OWLFunctionalDataPropertyAxiom axiom) {
setAxiomWriting();
writeSectionKeyword(FUNCTIONAL);
axiom.getProperty().accept(this);
restore();
}
@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
setAxiomWriting();
writeFrameKeyword(EQUIVALENT_PROPERTIES);
writeCommaSeparatedList(axiom.getProperties());
restore();
}
@Override
public void visit(OWLClassAssertionAxiom axiom) {
setAxiomWriting();
axiom.getIndividual().accept(this);
write(TYPE);
axiom.getClassExpression().accept(this);
restore();
}
@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
setAxiomWriting();
writeBinaryOrNaryList(EQUIVALENT_TO, axiom.getClassExpressions(), EQUIVALENT_CLASSES);
restore();
}
@Override
public void visit(OWLDataPropertyAssertionAxiom axiom) {
setAxiomWriting();
axiom.getSubject().accept(this);
write(" ");
axiom.getProperty().accept(this);
write(" ");
axiom.getObject().accept(this);
restore();
}
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
setAxiomWriting();
writeSectionKeyword(TRANSITIVE);
axiom.getProperty().accept(this);
restore();
}
@Override
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
setAxiomWriting();
writeSectionKeyword(IRREFLEXIVE);
axiom.getProperty().accept(this);
restore();
}
@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
setAxiomWriting();
axiom.getSubProperty().accept(this);
writeSectionKeyword(SUB_PROPERTY_OF);
axiom.getSuperProperty().accept(this);
restore();
}
@Override
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
setAxiomWriting();
writeSectionKeyword(INVERSE_FUNCTIONAL);
axiom.getProperty().accept(this);
restore();
}
@Override
public void visit(OWLSameIndividualAxiom axiom) {
setAxiomWriting();
writeBinaryOrNaryList(SAME_AS, axiom.getIndividuals(), SAME_INDIVIDUAL);
restore();
}
@Override
public void visit(OWLSubPropertyChainOfAxiom axiom) {
setAxiomWriting();
for (Iterator it = axiom.getPropertyChain().iterator(); it.hasNext();) {
it.next().accept(this);
if (it.hasNext()) {
write(" o ");
}
}
write(SUB_PROPERTY_OF);
axiom.getSuperProperty().accept(this);
restore();
}
@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
setAxiomWriting();
axiom.getFirstProperty().accept(this);
write(INVERSE_OF);
axiom.getSecondProperty().accept(this);
restore();
}
@Override
public void visit(SWRLRule rule) {
setAxiomWriting();
for (Iterator it = rule.getBody().iterator(); it.hasNext();) {
it.next().accept(this);
if (it.hasNext()) {
write(", ");
}
}
write(" -> ");
for (Iterator it = rule.getHead().iterator(); it.hasNext();) {
it.next().accept(this);
if (it.hasNext()) {
write(", ");
}
}
restore();
}
@Override
public void visit(OWLHasKeyAxiom axiom) {
setAxiomWriting();
axiom.getClassExpression().accept(this);
write(HAS_KEY);
write(axiom.getObjectPropertyExpressions(), COMMA, false);
write(axiom.getDataPropertyExpressions(), COMMA, false);
}
///////////////////////////////////////////////////////////////////////////////////////////////
//
// SWRL
//
///////////////////////////////////////////////////////////////////////////////////////////////
@Override
public void visit(SWRLClassAtom node) {
if(node.getPredicate().isAnonymous()) {
write("(");
}
node.getPredicate().accept(this);
if(node.getPredicate().isAnonymous()) {
write(")");
}
write("(");
node.getArgument().accept(this);
write(")");
}
@Override
public void visit(SWRLDataRangeAtom node) {
node.getPredicate().accept(this);
write("(");
node.getArgument().accept(this);
write(")");
}
@Override
public void visit(SWRLObjectPropertyAtom node) {
node.getPredicate().accept(this);
write("(");
node.getFirstArgument().accept(this);
write(", ");
node.getSecondArgument().accept(this);
write(")");
}
@Override
public void visit(SWRLDataPropertyAtom node) {
node.getPredicate().accept(this);
write("(");
node.getFirstArgument().accept(this);
write(", ");
node.getSecondArgument().accept(this);
write(")");
}
@Override
public void visit(SWRLBuiltInAtom node) {
write(node.getPredicate().toQuotedString());
write("(");
for (Iterator it = node.getArguments().iterator(); it.hasNext();) {
it.next().accept(this);
if (it.hasNext()) {
write(", ");
}
}
write(")");
}
@Override
public void visit(SWRLVariable node) {
write("?");
write(node.getIRI().toQuotedString());
}
@Override
public void visit(SWRLIndividualArgument node) {
node.getIndividual().accept(this);
}
@Override
public void visit(SWRLLiteralArgument node) {
node.getLiteral().accept(this);
}
@Override
public void visit(SWRLSameIndividualAtom node) {
write(SAME_AS);
write("(");
node.getFirstArgument().accept(this);
write(", ");
node.getSecondArgument().accept(this);
write(")");
}
@Override
public void visit(SWRLDifferentIndividualsAtom node) {
write(DIFFERENT_FROM);
write("(");
node.getFirstArgument().accept(this);
write(", ");
node.getSecondArgument().accept(this);
write(")");
}
@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
}
protected void writeAnnotations(Set annos) {
if(annos.isEmpty()) {
return;
}
writeNewLine();
write(ANNOTATIONS.toString());
write(": ");
pushTab(getIndent());
for (Iterator annoIt = annos.iterator(); annoIt.hasNext();) {
OWLAnnotation anno = annoIt.next();
// if (!anno.getAnnotations().isEmpty()) {
// writeAnnotations(anno.getAnnotations());
// }
anno.accept(this);
if (annoIt.hasNext()) {
write(", ");
writeNewLine();
}
}
writeNewLine();
writeNewLine();
popTab();
}
///////////////////////////////////////////////////////////////////////////////////////////////
//
// Ontology
//
///////////////////////////////////////////////////////////////////////////////////////////////
@Override
public void visit(OWLOntology ontology) {
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy