Class FuzzyOwl2toDeLorean

java.lang.Object
  fuzzyowl2.FuzzyOwl2
      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, ontologies, ontology, ontologyPath, out, pm, POS_INFINITY, processedAxioms

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	getShortName(org.semanticweb.owlapi.model.OWLEntity e) Gets the short name (without namespaces) of an OWL 2 entity.
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	writeChoquetConceptDefinition(java.lang.String name, ChoquetConcept c)
protected void	writeConceptAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i, org.semanticweb.owlapi.model.OWLClassExpression c, double d)
protected void	writeConceptDeclaration(org.semanticweb.owlapi.model.OWLClassExpression c)
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	writeDataPropertyDeclaration(org.semanticweb.owlapi.model.OWLDataPropertyExpression dp)
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	writeObjectPropertyDeclaration(org.semanticweb.owlapi.model.OWLObjectPropertyExpression op)
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	writeQuasiSugenoConceptDefinition(java.lang.String name, QuasiSugenoConcept 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	writeSugenoConceptDefinition(java.lang.String name, SugenoConcept c)
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	writeWeightedMaxConceptDefinition(java.lang.String name, WeightedMaxConcept c)
protected void	writeWeightedMinConceptDefinition(java.lang.String name, WeightedMinConcept c)
protected void	writeWeightedSumConceptDefinition(java.lang.String name, WeightedSumConcept c)

Methods inherited from class fuzzyowl2.FuzzyOwl2

exit, getClassName, getDataPropertyName, getDegree, getObjectPropertyName, loadOntology, print, printError, processConceptAnnotations, processDatatypeAnnotations, processOntologyAnnotations, processOntologyAxioms, processParameters, 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

writeConceptDeclaration

protected void writeConceptDeclaration(org.semanticweb.owlapi.model.OWLClassExpression c)

Overrides:

writeConceptDeclaration in class FuzzyOwl2

writeDataPropertyDeclaration

protected void writeDataPropertyDeclaration(org.semanticweb.owlapi.model.OWLDataPropertyExpression dp)

Overrides:

writeDataPropertyDeclaration in class FuzzyOwl2

writeObjectPropertyDeclaration

protected void writeObjectPropertyDeclaration(org.semanticweb.owlapi.model.OWLObjectPropertyExpression op)

Overrides:

writeObjectPropertyDeclaration 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

writeWeightedMaxConceptDefinition

protected void writeWeightedMaxConceptDefinition(java.lang.String name,
                                                 WeightedMaxConcept c)

Overrides:

writeWeightedMaxConceptDefinition in class FuzzyOwl2

writeWeightedMinConceptDefinition

protected void writeWeightedMinConceptDefinition(java.lang.String name,
                                                 WeightedMinConcept c)

Overrides:

writeWeightedMinConceptDefinition 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

writeChoquetConceptDefinition

protected void writeChoquetConceptDefinition(java.lang.String name,
                                             ChoquetConcept c)

Overrides:

writeChoquetConceptDefinition in class FuzzyOwl2

writeSugenoConceptDefinition

protected void writeSugenoConceptDefinition(java.lang.String name,
                                            SugenoConcept c)

Overrides:

writeSugenoConceptDefinition in class FuzzyOwl2

writeQuasiSugenoConceptDefinition

protected void writeQuasiSugenoConceptDefinition(java.lang.String name,
                                                 QuasiSugenoConcept c)

Overrides:

writeQuasiSugenoConceptDefinition 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.

getShortName

protected java.lang.String getShortName(org.semanticweb.owlapi.model.OWLEntity e)

Description copied from class: FuzzyOwl2

Gets the short name (without namespaces) of an OWL 2 entity.

Overrides:

getShortName in class FuzzyOwl2

Parameters:

e - An OWL 2 entity.

Returns:

Short name of e.