Class FuzzyOwl2toDeLorean

java.lang.Object
  extended by fuzzyowl2.FuzzyOwl2
      extended by FuzzyOwl2toDeLorean

public class FuzzyOwl2toDeLorean
extends FuzzyOwl2

Class translating from OWL 2 into fuzzyDL syntax.

Author:
Fernando Bobillo

Field Summary
 
Fields inherited from class fuzzyowl2.FuzzyOwl2
dataFactory, definedConcepts, definedProperties, fuzzyDatatypes, fuzzyModifiers, label, manager, NEG_INFINITY, ontology, ontologyPath, out, pm, POS_INFINITY
 
Constructor Summary
FuzzyOwl2toDeLorean(java.lang.String input, java.lang.String output)
           
 
Method Summary
protected  java.lang.String getAtomicConceptName(org.semanticweb.owlapi.model.OWLClass c)
           
protected  java.lang.String getAtomicDataPropertyName(org.semanticweb.owlapi.model.OWLDataProperty p)
           
protected  java.lang.String getAtomicObjectPropertyName(org.semanticweb.owlapi.model.OWLObjectProperty p)
           
protected  java.lang.String getBottomConceptName()
           
protected  java.lang.String getBottomDataPropertyName()
           
protected  java.lang.String getBottomObjectPropertyName()
           
protected  java.lang.String getDataAllValuesFromName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange range)
           
protected  java.lang.String getDataExactCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
           
protected  java.lang.String getDataExactCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange range)
           
protected  java.lang.String getDataHasValueName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLLiteral lit)
           
protected  java.lang.String getDataMaxCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
           
protected  java.lang.String getDataMaxCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange range)
           
protected  java.lang.String getDataMinCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
           
protected  java.lang.String getDataMinCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange range)
           
protected  java.lang.String getDataSomeValuesFromName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange range)
           
protected  java.lang.String getIndividualName(org.semanticweb.owlapi.model.OWLIndividual i)
          Gets a String representation of an OWL 2 individual.
protected  java.lang.String getObjectAllValuesFromName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  java.lang.String getObjectComplementOfName(org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  java.lang.String getObjectExactCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  java.lang.String getObjectExactCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  java.lang.String getObjectHasSelfName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  java.lang.String getObjectHasValueName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLIndividual i)
           
protected  java.lang.String getObjectIntersectionOfName(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> operands)
           
protected  java.lang.String getObjectMaxCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  java.lang.String getObjectMaxCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  java.lang.String getObjectMinCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  java.lang.String getObjectMinCardinalityRestrictionName(int card, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  java.lang.String getObjectOneOfName(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)
           
protected  java.lang.String getObjectSomeValuesFromName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  java.lang.String getObjectUnionOfName(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> operands)
           
protected  java.lang.String getTopConceptName()
           
protected  java.lang.String getTopDataPropertyName()
           
protected  java.lang.String getTopObjectPropertyName()
           
static void main(java.lang.String[] args)
           
protected  void writeAsymmetricObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  void writeConceptAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i, org.semanticweb.owlapi.model.OWLClassExpression c, double d)
           
protected  void writeDataPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1, org.semanticweb.owlapi.model.OWLLiteral i2, org.semanticweb.owlapi.model.OWLDataPropertyExpression p, double d)
           
protected  void writeDataPropertyDomainAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  void writeDataPropertyRangeAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange range)
           
protected  void writeDifferentIndividualsAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)
           
protected  void writeDisjointClassesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)
           
protected  void writeDisjointDataPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> set)
           
protected  void writeDisjointObjectPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> set)
           
protected  void writeDisjointUnionAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)
           
protected  void writeEquivalentClassesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)
           
protected  void writeEquivalentDataPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> set)
           
protected  void writeEquivalentObjectPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> set)
           
protected  void writeFunctionalDataPropertyAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
           
protected  void writeFunctionalObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  void writeFuzzyLogic(FuzzyLogic logic)
           
protected  void writeFuzzyNominalConceptDefinition(java.lang.String name, FuzzyNominalConcept c)
           
protected  void writeInverseFunctionalObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  void writeInverseObjectPropertiesAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p1, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p2)
           
protected  void writeIrreflexiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  void writeLeftShoulderFunctionDefinition(java.lang.String name, LeftShoulderFunction f)
           
protected  void writeLinearFunctionDefinition(java.lang.String name, LinearFunction dat)
           
protected  void writeLinearModifierDefinition(java.lang.String name, LinearModifier mod)
           
protected  void writeModifiedConceptDefinition(java.lang.String name, ModifiedConcept c)
           
protected  void writeModifiedFunctionDefinition(java.lang.String name, ModifiedFunction dat)
           
protected  void writeModifiedPropertyDefinition(java.lang.String name, ModifiedProperty c)
           
protected  void writeNegativeDataPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1, org.semanticweb.owlapi.model.OWLLiteral i2, org.semanticweb.owlapi.model.OWLDataPropertyExpression p, double d)
           
protected  void writeNegativeObjectPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1, org.semanticweb.owlapi.model.OWLIndividual i2, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, double d)
           
protected  void writeObjectPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1, org.semanticweb.owlapi.model.OWLIndividual i2, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, double d)
           
protected  void writeObjectPropertyDomainAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  void writeObjectPropertyRangeAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression c)
           
protected  void writeOwaConceptDefinition(java.lang.String name, OwaConcept c)
           
protected  void writeQowaConceptDefinition(java.lang.String name, QowaConcept c)
           
protected  void writeReflexiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  void writeRightShoulderFunctionDefinition(java.lang.String name, RightShoulderFunction f)
           
protected  void writeSameIndividualAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)
           
protected  void writeSubclassOfAxiom(org.semanticweb.owlapi.model.OWLClassExpression subclass, org.semanticweb.owlapi.model.OWLClassExpression superclass, double d)
           
protected  void writeSubDataPropertyOfAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression subProperty, org.semanticweb.owlapi.model.OWLDataPropertyExpression superProperty, double d)
           
protected  void writeSubObjectPropertyOfAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression subProperty, org.semanticweb.owlapi.model.OWLObjectPropertyExpression superProperty, double d)
           
protected  void writeSubPropertyChainOfAxiom(java.util.List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> chain, org.semanticweb.owlapi.model.OWLObjectPropertyExpression superProperty, double d)
           
protected  void writeSymmetricObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  void writeTransitiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
           
protected  void writeTrapezoidalFunctionDefinition(java.lang.String name, TrapezoidalFunction f)
           
protected  void writeTriangularFunctionDefinition(java.lang.String name, TriangularFunction f)
           
protected  void writeTriangularModifierDefinition(java.lang.String name, TriangularModifier mod)
           
protected  void writeWeightedConceptDefinition(java.lang.String name, WeightedConcept c)
           
protected  void writeWeightedSumConceptDefinition(java.lang.String name, WeightedSumConcept c)
           
 
Methods inherited from class fuzzyowl2.FuzzyOwl2
exit, getClassName, getDataPropertyName, getDegree, getObjectPropertyName, getShortName, print, printError, processConceptAnnotations, processDatatypeAnnotations, processOntologyAnnotations, processOntologyAxioms, processPropertyAnnotations, translateOwl2Ontology
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FuzzyOwl2toDeLorean

public FuzzyOwl2toDeLorean(java.lang.String input,
                           java.lang.String output)
Method Detail

getIndividualName

protected java.lang.String getIndividualName(org.semanticweb.owlapi.model.OWLIndividual i)
Description copied from class: FuzzyOwl2
Gets a String representation of an OWL 2 individual.

Overrides:
getIndividualName in class FuzzyOwl2
Parameters:
i - An OWL 2 individual.
Returns:
A String representation of i.

getTopConceptName

protected java.lang.String getTopConceptName()
Overrides:
getTopConceptName in class FuzzyOwl2

getBottomConceptName

protected java.lang.String getBottomConceptName()
Overrides:
getBottomConceptName in class FuzzyOwl2

getAtomicConceptName

protected java.lang.String getAtomicConceptName(org.semanticweb.owlapi.model.OWLClass c)
Overrides:
getAtomicConceptName in class FuzzyOwl2

getObjectIntersectionOfName

protected java.lang.String getObjectIntersectionOfName(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> operands)
Overrides:
getObjectIntersectionOfName in class FuzzyOwl2

getObjectUnionOfName

protected java.lang.String getObjectUnionOfName(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> operands)
Overrides:
getObjectUnionOfName in class FuzzyOwl2

getObjectSomeValuesFromName

protected java.lang.String getObjectSomeValuesFromName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                       org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
getObjectSomeValuesFromName in class FuzzyOwl2

getObjectAllValuesFromName

protected java.lang.String getObjectAllValuesFromName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                      org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
getObjectAllValuesFromName in class FuzzyOwl2

getDataSomeValuesFromName

protected java.lang.String getDataSomeValuesFromName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                     org.semanticweb.owlapi.model.OWLDataRange range)
Overrides:
getDataSomeValuesFromName in class FuzzyOwl2

getDataAllValuesFromName

protected java.lang.String getDataAllValuesFromName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                    org.semanticweb.owlapi.model.OWLDataRange range)
Overrides:
getDataAllValuesFromName in class FuzzyOwl2

getObjectComplementOfName

protected java.lang.String getObjectComplementOfName(org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
getObjectComplementOfName in class FuzzyOwl2

getObjectHasSelfName

protected java.lang.String getObjectHasSelfName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
getObjectHasSelfName in class FuzzyOwl2

getObjectOneOfName

protected java.lang.String getObjectOneOfName(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)
Overrides:
getObjectOneOfName in class FuzzyOwl2

getObjectHasValueName

protected java.lang.String getObjectHasValueName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                 org.semanticweb.owlapi.model.OWLIndividual i)
Overrides:
getObjectHasValueName in class FuzzyOwl2

getDataHasValueName

protected java.lang.String getDataHasValueName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                               org.semanticweb.owlapi.model.OWLLiteral lit)
Overrides:
getDataHasValueName in class FuzzyOwl2

getObjectMinCardinalityRestrictionName

protected java.lang.String getObjectMinCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                                  org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
getObjectMinCardinalityRestrictionName in class FuzzyOwl2

getObjectMinCardinalityRestrictionName

protected java.lang.String getObjectMinCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
getObjectMinCardinalityRestrictionName in class FuzzyOwl2

getObjectMaxCardinalityRestrictionName

protected java.lang.String getObjectMaxCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                                  org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
getObjectMaxCardinalityRestrictionName in class FuzzyOwl2

getObjectMaxCardinalityRestrictionName

protected java.lang.String getObjectMaxCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
getObjectMaxCardinalityRestrictionName in class FuzzyOwl2

getObjectExactCardinalityRestrictionName

protected java.lang.String getObjectExactCardinalityRestrictionName(int card,
                                                                    org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                                    org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
getObjectExactCardinalityRestrictionName in class FuzzyOwl2

getObjectExactCardinalityRestrictionName

protected java.lang.String getObjectExactCardinalityRestrictionName(int card,
                                                                    org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
getObjectExactCardinalityRestrictionName in class FuzzyOwl2

getDataMinCardinalityRestrictionName

protected java.lang.String getDataMinCardinalityRestrictionName(int card,
                                                                org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                                org.semanticweb.owlapi.model.OWLDataRange range)
Overrides:
getDataMinCardinalityRestrictionName in class FuzzyOwl2

getDataMinCardinalityRestrictionName

protected java.lang.String getDataMinCardinalityRestrictionName(int card,
                                                                org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
Overrides:
getDataMinCardinalityRestrictionName in class FuzzyOwl2

getDataMaxCardinalityRestrictionName

protected java.lang.String getDataMaxCardinalityRestrictionName(int card,
                                                                org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                                org.semanticweb.owlapi.model.OWLDataRange range)
Overrides:
getDataMaxCardinalityRestrictionName in class FuzzyOwl2

getDataMaxCardinalityRestrictionName

protected java.lang.String getDataMaxCardinalityRestrictionName(int card,
                                                                org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
Overrides:
getDataMaxCardinalityRestrictionName in class FuzzyOwl2

getDataExactCardinalityRestrictionName

protected java.lang.String getDataExactCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                                  org.semanticweb.owlapi.model.OWLDataRange range)
Overrides:
getDataExactCardinalityRestrictionName in class FuzzyOwl2

getDataExactCardinalityRestrictionName

protected java.lang.String getDataExactCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
Overrides:
getDataExactCardinalityRestrictionName in class FuzzyOwl2

getTopObjectPropertyName

protected java.lang.String getTopObjectPropertyName()
Overrides:
getTopObjectPropertyName in class FuzzyOwl2

getBottomObjectPropertyName

protected java.lang.String getBottomObjectPropertyName()
Overrides:
getBottomObjectPropertyName in class FuzzyOwl2

getAtomicObjectPropertyName

protected java.lang.String getAtomicObjectPropertyName(org.semanticweb.owlapi.model.OWLObjectProperty p)
Overrides:
getAtomicObjectPropertyName in class FuzzyOwl2

getTopDataPropertyName

protected java.lang.String getTopDataPropertyName()
Overrides:
getTopDataPropertyName in class FuzzyOwl2

getBottomDataPropertyName

protected java.lang.String getBottomDataPropertyName()
Overrides:
getBottomDataPropertyName in class FuzzyOwl2

getAtomicDataPropertyName

protected java.lang.String getAtomicDataPropertyName(org.semanticweb.owlapi.model.OWLDataProperty p)
Overrides:
getAtomicDataPropertyName in class FuzzyOwl2

writeFuzzyLogic

protected void writeFuzzyLogic(FuzzyLogic logic)
Overrides:
writeFuzzyLogic in class FuzzyOwl2

writeTriangularModifierDefinition

protected void writeTriangularModifierDefinition(java.lang.String name,
                                                 TriangularModifier mod)
Overrides:
writeTriangularModifierDefinition in class FuzzyOwl2

writeLinearModifierDefinition

protected void writeLinearModifierDefinition(java.lang.String name,
                                             LinearModifier mod)
Overrides:
writeLinearModifierDefinition in class FuzzyOwl2

writeLeftShoulderFunctionDefinition

protected void writeLeftShoulderFunctionDefinition(java.lang.String name,
                                                   LeftShoulderFunction f)
Overrides:
writeLeftShoulderFunctionDefinition in class FuzzyOwl2

writeRightShoulderFunctionDefinition

protected void writeRightShoulderFunctionDefinition(java.lang.String name,
                                                    RightShoulderFunction f)
Overrides:
writeRightShoulderFunctionDefinition in class FuzzyOwl2

writeLinearFunctionDefinition

protected void writeLinearFunctionDefinition(java.lang.String name,
                                             LinearFunction dat)
Overrides:
writeLinearFunctionDefinition in class FuzzyOwl2

writeTriangularFunctionDefinition

protected void writeTriangularFunctionDefinition(java.lang.String name,
                                                 TriangularFunction f)
Overrides:
writeTriangularFunctionDefinition in class FuzzyOwl2

writeTrapezoidalFunctionDefinition

protected void writeTrapezoidalFunctionDefinition(java.lang.String name,
                                                  TrapezoidalFunction f)
Overrides:
writeTrapezoidalFunctionDefinition in class FuzzyOwl2

writeModifiedFunctionDefinition

protected void writeModifiedFunctionDefinition(java.lang.String name,
                                               ModifiedFunction dat)
Overrides:
writeModifiedFunctionDefinition in class FuzzyOwl2

writeModifiedPropertyDefinition

protected void writeModifiedPropertyDefinition(java.lang.String name,
                                               ModifiedProperty c)
Overrides:
writeModifiedPropertyDefinition in class FuzzyOwl2

writeModifiedConceptDefinition

protected void writeModifiedConceptDefinition(java.lang.String name,
                                              ModifiedConcept c)
Overrides:
writeModifiedConceptDefinition in class FuzzyOwl2

writeFuzzyNominalConceptDefinition

protected void writeFuzzyNominalConceptDefinition(java.lang.String name,
                                                  FuzzyNominalConcept c)
Overrides:
writeFuzzyNominalConceptDefinition in class FuzzyOwl2

writeWeightedConceptDefinition

protected void writeWeightedConceptDefinition(java.lang.String name,
                                              WeightedConcept c)
Overrides:
writeWeightedConceptDefinition in class FuzzyOwl2

writeWeightedSumConceptDefinition

protected void writeWeightedSumConceptDefinition(java.lang.String name,
                                                 WeightedSumConcept c)
Overrides:
writeWeightedSumConceptDefinition in class FuzzyOwl2

writeOwaConceptDefinition

protected void writeOwaConceptDefinition(java.lang.String name,
                                         OwaConcept c)
Overrides:
writeOwaConceptDefinition in class FuzzyOwl2

writeQowaConceptDefinition

protected void writeQowaConceptDefinition(java.lang.String name,
                                          QowaConcept c)
Overrides:
writeQowaConceptDefinition in class FuzzyOwl2

writeConceptAssertionAxiom

protected void writeConceptAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i,
                                          org.semanticweb.owlapi.model.OWLClassExpression c,
                                          double d)
Overrides:
writeConceptAssertionAxiom in class FuzzyOwl2

writeObjectPropertyAssertionAxiom

protected void writeObjectPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1,
                                                 org.semanticweb.owlapi.model.OWLIndividual i2,
                                                 org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                 double d)
Overrides:
writeObjectPropertyAssertionAxiom in class FuzzyOwl2

writeDataPropertyAssertionAxiom

protected void writeDataPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1,
                                               org.semanticweb.owlapi.model.OWLLiteral i2,
                                               org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                               double d)
Overrides:
writeDataPropertyAssertionAxiom in class FuzzyOwl2

writeNegativeObjectPropertyAssertionAxiom

protected void writeNegativeObjectPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1,
                                                         org.semanticweb.owlapi.model.OWLIndividual i2,
                                                         org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                         double d)
Overrides:
writeNegativeObjectPropertyAssertionAxiom in class FuzzyOwl2

writeNegativeDataPropertyAssertionAxiom

protected void writeNegativeDataPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1,
                                                       org.semanticweb.owlapi.model.OWLLiteral i2,
                                                       org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                       double d)
Overrides:
writeNegativeDataPropertyAssertionAxiom in class FuzzyOwl2

writeSameIndividualAxiom

protected void writeSameIndividualAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)
Overrides:
writeSameIndividualAxiom in class FuzzyOwl2

writeDifferentIndividualsAxiom

protected void writeDifferentIndividualsAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)
Overrides:
writeDifferentIndividualsAxiom in class FuzzyOwl2

writeDisjointClassesAxiom

protected void writeDisjointClassesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)
Overrides:
writeDisjointClassesAxiom in class FuzzyOwl2

writeDisjointUnionAxiom

protected void writeDisjointUnionAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)
Overrides:
writeDisjointUnionAxiom in class FuzzyOwl2

writeSubclassOfAxiom

protected void writeSubclassOfAxiom(org.semanticweb.owlapi.model.OWLClassExpression subclass,
                                    org.semanticweb.owlapi.model.OWLClassExpression superclass,
                                    double d)
Overrides:
writeSubclassOfAxiom in class FuzzyOwl2

writeEquivalentClassesAxiom

protected void writeEquivalentClassesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)
Overrides:
writeEquivalentClassesAxiom in class FuzzyOwl2

writeSubObjectPropertyOfAxiom

protected void writeSubObjectPropertyOfAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression subProperty,
                                             org.semanticweb.owlapi.model.OWLObjectPropertyExpression superProperty,
                                             double d)
Overrides:
writeSubObjectPropertyOfAxiom in class FuzzyOwl2

writeSubPropertyChainOfAxiom

protected void writeSubPropertyChainOfAxiom(java.util.List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> chain,
                                            org.semanticweb.owlapi.model.OWLObjectPropertyExpression superProperty,
                                            double d)
Overrides:
writeSubPropertyChainOfAxiom in class FuzzyOwl2

writeSubDataPropertyOfAxiom

protected void writeSubDataPropertyOfAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression subProperty,
                                           org.semanticweb.owlapi.model.OWLDataPropertyExpression superProperty,
                                           double d)
Overrides:
writeSubDataPropertyOfAxiom in class FuzzyOwl2

writeEquivalentObjectPropertiesAxiom

protected void writeEquivalentObjectPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> set)
Overrides:
writeEquivalentObjectPropertiesAxiom in class FuzzyOwl2

writeEquivalentDataPropertiesAxiom

protected void writeEquivalentDataPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> set)
Overrides:
writeEquivalentDataPropertiesAxiom in class FuzzyOwl2

writeTransitiveObjectPropertyAxiom

protected void writeTransitiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
writeTransitiveObjectPropertyAxiom in class FuzzyOwl2

writeSymmetricObjectPropertyAxiom

protected void writeSymmetricObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
writeSymmetricObjectPropertyAxiom in class FuzzyOwl2

writeAsymmetricObjectPropertyAxiom

protected void writeAsymmetricObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
writeAsymmetricObjectPropertyAxiom in class FuzzyOwl2

writeReflexiveObjectPropertyAxiom

protected void writeReflexiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
writeReflexiveObjectPropertyAxiom in class FuzzyOwl2

writeIrreflexiveObjectPropertyAxiom

protected void writeIrreflexiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
writeIrreflexiveObjectPropertyAxiom in class FuzzyOwl2

writeFunctionalObjectPropertyAxiom

protected void writeFunctionalObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
writeFunctionalObjectPropertyAxiom in class FuzzyOwl2

writeFunctionalDataPropertyAxiom

protected void writeFunctionalDataPropertyAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
Overrides:
writeFunctionalDataPropertyAxiom in class FuzzyOwl2

writeInverseObjectPropertiesAxiom

protected void writeInverseObjectPropertiesAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p1,
                                                 org.semanticweb.owlapi.model.OWLObjectPropertyExpression p2)
Overrides:
writeInverseObjectPropertiesAxiom in class FuzzyOwl2

writeInverseFunctionalObjectPropertyAxiom

protected void writeInverseFunctionalObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Overrides:
writeInverseFunctionalObjectPropertyAxiom in class FuzzyOwl2

writeObjectPropertyDomainAxiom

protected void writeObjectPropertyDomainAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                              org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
writeObjectPropertyDomainAxiom in class FuzzyOwl2

writeObjectPropertyRangeAxiom

protected void writeObjectPropertyRangeAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                             org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
writeObjectPropertyRangeAxiom in class FuzzyOwl2

writeDataPropertyDomainAxiom

protected void writeDataPropertyDomainAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                            org.semanticweb.owlapi.model.OWLClassExpression c)
Overrides:
writeDataPropertyDomainAxiom in class FuzzyOwl2

writeDataPropertyRangeAxiom

protected void writeDataPropertyRangeAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                           org.semanticweb.owlapi.model.OWLDataRange range)
Overrides:
writeDataPropertyRangeAxiom in class FuzzyOwl2

writeDisjointObjectPropertiesAxiom

protected void writeDisjointObjectPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> set)
Overrides:
writeDisjointObjectPropertiesAxiom in class FuzzyOwl2

writeDisjointDataPropertiesAxiom

protected void writeDisjointDataPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> set)
Overrides:
writeDisjointDataPropertiesAxiom in class FuzzyOwl2

main

public static void main(java.lang.String[] args)
Parameters:
args - Two arguments: the input OWL 2 ontology, and the output fuzzy ontology in fuzzyDL syntax.