fuzzyowl2
Class FuzzyOwl2

java.lang.Object
  extended by fuzzyowl2.FuzzyOwl2
Direct Known Subclasses:
FuzzyOwl2toDeLorean, FuzzyOwl2toFuzzyDL

public class FuzzyOwl2
extends java.lang.Object

General class translating from OWL 2 into some fuzzy Description Logic language. Subclasses of Owl2ToFuzzyDescriptionLogic translate it into specific languages, such as the language of fuzzyDL, the language of DeLorean... The user must override most of the following methods:

Author:
Fernando Bobillo

Field Summary
protected  org.semanticweb.owlapi.model.OWLDataFactory dataFactory
           
protected  java.util.Hashtable<java.lang.String,FuzzyConcept> definedConcepts
           
protected  java.util.Hashtable<java.lang.String,FuzzyProperty> definedProperties
           
protected  java.util.Hashtable<java.lang.String,FuzzyDatatype> fuzzyDatatypes
           
protected  java.util.Hashtable<java.lang.String,FuzzyModifier> fuzzyModifiers
           
protected  org.semanticweb.owlapi.model.OWLAnnotationProperty label
           
protected  org.semanticweb.owlapi.model.OWLOntologyManager manager
           
protected  double NEG_INFINITY
           
protected  org.semanticweb.owlapi.model.OWLOntology ontology
           
protected  java.lang.String ontologyPath
           
protected static java.io.PrintStream out
          Output (file, standard output...)
protected  org.semanticweb.owlapi.util.DefaultPrefixManager pm
           
protected  double POS_INFINITY
           
 
Constructor Summary
FuzzyOwl2(java.lang.String input, java.lang.String output)
          Constructor.
 
Method Summary
protected static void exit(java.lang.String s)
          Prints an error message in the standard output and finishes the execution.
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 getClassName(org.semanticweb.owlapi.model.OWLClassExpression c)
          Gets a String representation of an OWL 2 class.
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 getDataPropertyName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
          Gets a String representation of an OWL 2 data property.
protected  java.lang.String getDataSomeValuesFromName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange range)
           
protected  double getDegree(org.semanticweb.owlapi.model.OWLAxiom axiom)
          Returns the degree in the annotation of an axiom.
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 getObjectPropertyName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
          Gets a String representation of an OWL 2 object property.
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 static void print(java.lang.String s)
          Prints a string in the desired PrintStream, unless it contains a null value.
protected static void printError(java.lang.String s)
          Prints an error string in the standard error.
protected  void processConceptAnnotations()
          Write fuzzy concept definitions, defined with OWL 2 concept annotations.
protected  void processDatatypeAnnotations()
          Write fuzzy datatypes and modifiers definitions, defined with OWL 2 concept annotations.
protected  void processOntologyAnnotations()
          Write annotations on the ontology.
protected  void processOntologyAxioms()
          Write the axioms of the OWL 2 ontology.
protected  void processPropertyAnnotations()
          Write fuzzy property definitions, defined with OWL 2 concept annotations.
protected  void translateOwl2Ontology()
          Translates an OWL 2 ontology into a fuzzy one, processing the OWL 2 annotations.
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 c)
           
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 dat)
           
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 dat)
           
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 dat)
           
protected  void writeTriangularFunctionDefinition(java.lang.String name, TriangularFunction dat)
           
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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

dataFactory

protected org.semanticweb.owlapi.model.OWLDataFactory dataFactory

definedConcepts

protected java.util.Hashtable<java.lang.String,FuzzyConcept> definedConcepts

definedProperties

protected java.util.Hashtable<java.lang.String,FuzzyProperty> definedProperties

fuzzyDatatypes

protected java.util.Hashtable<java.lang.String,FuzzyDatatype> fuzzyDatatypes

fuzzyModifiers

protected java.util.Hashtable<java.lang.String,FuzzyModifier> fuzzyModifiers

label

protected org.semanticweb.owlapi.model.OWLAnnotationProperty label

manager

protected org.semanticweb.owlapi.model.OWLOntologyManager manager

ontologyPath

protected java.lang.String ontologyPath

ontology

protected org.semanticweb.owlapi.model.OWLOntology ontology

pm

protected org.semanticweb.owlapi.util.DefaultPrefixManager pm

NEG_INFINITY

protected final double NEG_INFINITY
See Also:
Constant Field Values

POS_INFINITY

protected final double POS_INFINITY
See Also:
Constant Field Values

out

protected static java.io.PrintStream out
Output (file, standard output...)

Constructor Detail

FuzzyOwl2

public FuzzyOwl2(java.lang.String input,
                 java.lang.String output)
Constructor.

Parameters:
input - Path of the input ontology.
output - Path of the output file; null for the standard output.
Method Detail

exit

protected static void exit(java.lang.String s)
Prints an error message in the standard output and finishes the execution.

Parameters:
s - An error message.

print

protected static void print(java.lang.String s)
Prints a string in the desired PrintStream, unless it contains a null value.


printError

protected static void printError(java.lang.String s)
Prints an error string in the standard error. The parameter could be used in the future to write in the desired PrintStream.


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.

translateOwl2Ontology

protected void translateOwl2Ontology()
Translates an OWL 2 ontology into a fuzzy one, processing the OWL 2 annotations.


processOntologyAnnotations

protected void processOntologyAnnotations()
Write annotations on the ontology.


processDatatypeAnnotations

protected void processDatatypeAnnotations()
Write fuzzy datatypes and modifiers definitions, defined with OWL 2 concept annotations.


processConceptAnnotations

protected void processConceptAnnotations()
Write fuzzy concept definitions, defined with OWL 2 concept annotations.


processPropertyAnnotations

protected void processPropertyAnnotations()
Write fuzzy property definitions, defined with OWL 2 concept annotations.


processOntologyAxioms

protected void processOntologyAxioms()
Write the axioms of the OWL 2 ontology. They can have annotations or not.


getClassName

protected java.lang.String getClassName(org.semanticweb.owlapi.model.OWLClassExpression c)
Gets a String representation of an OWL 2 class.

Parameters:
c - An OWL 2 class.
Returns:
A String representation of c.

getObjectPropertyName

protected java.lang.String getObjectPropertyName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
Gets a String representation of an OWL 2 object property.

Parameters:
p - An OWL 2 object property.
Returns:
A String representation of p.

getDataPropertyName

protected java.lang.String getDataPropertyName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
Gets a String representation of an OWL 2 data property.

Parameters:
p - An OWL 2 data property.
Returns:
A String representation of p.

getDegree

protected double getDegree(org.semanticweb.owlapi.model.OWLAxiom axiom)
Returns the degree in the annotation of an axiom.

Parameters:
axiom - An OWLAxiom.
Returns:
The degree in the annotation of an axiom; 1 if it does not exist.

getShortName

protected java.lang.String getShortName(org.semanticweb.owlapi.model.OWLEntity e)
Gets the short name (without namespaces) of an OWL 2 entity.

Parameters:
e - An OWL 2 entity.
Returns:
Short name of e.

getIndividualName

protected java.lang.String getIndividualName(org.semanticweb.owlapi.model.OWLIndividual i)
Gets a String representation of an OWL 2 individual.

Parameters:
i - An OWL 2 individual.
Returns:
A String representation of i.

getTopConceptName

protected java.lang.String getTopConceptName()

getBottomConceptName

protected java.lang.String getBottomConceptName()

getAtomicConceptName

protected java.lang.String getAtomicConceptName(org.semanticweb.owlapi.model.OWLClass c)

getObjectIntersectionOfName

protected java.lang.String getObjectIntersectionOfName(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> operands)

getObjectUnionOfName

protected java.lang.String getObjectUnionOfName(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> operands)

getObjectSomeValuesFromName

protected java.lang.String getObjectSomeValuesFromName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                       org.semanticweb.owlapi.model.OWLClassExpression c)

getObjectAllValuesFromName

protected java.lang.String getObjectAllValuesFromName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                      org.semanticweb.owlapi.model.OWLClassExpression c)

getDataSomeValuesFromName

protected java.lang.String getDataSomeValuesFromName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                     org.semanticweb.owlapi.model.OWLDataRange range)

getDataAllValuesFromName

protected java.lang.String getDataAllValuesFromName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                    org.semanticweb.owlapi.model.OWLDataRange range)

getObjectComplementOfName

protected java.lang.String getObjectComplementOfName(org.semanticweb.owlapi.model.OWLClassExpression c)

getObjectHasSelfName

protected java.lang.String getObjectHasSelfName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

getObjectOneOfName

protected java.lang.String getObjectOneOfName(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)

getObjectHasValueName

protected java.lang.String getObjectHasValueName(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                 org.semanticweb.owlapi.model.OWLIndividual i)

getDataHasValueName

protected java.lang.String getDataHasValueName(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                               org.semanticweb.owlapi.model.OWLLiteral lit)

getObjectMinCardinalityRestrictionName

protected java.lang.String getObjectMinCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                                  org.semanticweb.owlapi.model.OWLClassExpression c)

getObjectMinCardinalityRestrictionName

protected java.lang.String getObjectMinCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

getObjectMaxCardinalityRestrictionName

protected java.lang.String getObjectMaxCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                                  org.semanticweb.owlapi.model.OWLClassExpression c)

getObjectMaxCardinalityRestrictionName

protected java.lang.String getObjectMaxCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

getObjectExactCardinalityRestrictionName

protected java.lang.String getObjectExactCardinalityRestrictionName(int card,
                                                                    org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                                    org.semanticweb.owlapi.model.OWLClassExpression c)

getObjectExactCardinalityRestrictionName

protected java.lang.String getObjectExactCardinalityRestrictionName(int card,
                                                                    org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

getDataMinCardinalityRestrictionName

protected java.lang.String getDataMinCardinalityRestrictionName(int card,
                                                                org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                                org.semanticweb.owlapi.model.OWLDataRange range)

getDataMinCardinalityRestrictionName

protected java.lang.String getDataMinCardinalityRestrictionName(int card,
                                                                org.semanticweb.owlapi.model.OWLDataPropertyExpression p)

getDataMaxCardinalityRestrictionName

protected java.lang.String getDataMaxCardinalityRestrictionName(int card,
                                                                org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                                org.semanticweb.owlapi.model.OWLDataRange range)

getDataMaxCardinalityRestrictionName

protected java.lang.String getDataMaxCardinalityRestrictionName(int card,
                                                                org.semanticweb.owlapi.model.OWLDataPropertyExpression p)

getDataExactCardinalityRestrictionName

protected java.lang.String getDataExactCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                                  org.semanticweb.owlapi.model.OWLDataRange range)

getDataExactCardinalityRestrictionName

protected java.lang.String getDataExactCardinalityRestrictionName(int card,
                                                                  org.semanticweb.owlapi.model.OWLDataPropertyExpression p)

getTopObjectPropertyName

protected java.lang.String getTopObjectPropertyName()

getBottomObjectPropertyName

protected java.lang.String getBottomObjectPropertyName()

getAtomicObjectPropertyName

protected java.lang.String getAtomicObjectPropertyName(org.semanticweb.owlapi.model.OWLObjectProperty p)

getTopDataPropertyName

protected java.lang.String getTopDataPropertyName()

getBottomDataPropertyName

protected java.lang.String getBottomDataPropertyName()

getAtomicDataPropertyName

protected java.lang.String getAtomicDataPropertyName(org.semanticweb.owlapi.model.OWLDataProperty p)

writeFuzzyLogic

protected void writeFuzzyLogic(FuzzyLogic logic)

writeConceptAssertionAxiom

protected void writeConceptAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i,
                                          org.semanticweb.owlapi.model.OWLClassExpression c,
                                          double d)

writeObjectPropertyAssertionAxiom

protected void writeObjectPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1,
                                                 org.semanticweb.owlapi.model.OWLIndividual i2,
                                                 org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                 double d)

writeDataPropertyAssertionAxiom

protected void writeDataPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1,
                                               org.semanticweb.owlapi.model.OWLLiteral i2,
                                               org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                               double d)

writeNegativeObjectPropertyAssertionAxiom

protected void writeNegativeObjectPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1,
                                                         org.semanticweb.owlapi.model.OWLIndividual i2,
                                                         org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                                         double d)

writeNegativeDataPropertyAssertionAxiom

protected void writeNegativeDataPropertyAssertionAxiom(org.semanticweb.owlapi.model.OWLIndividual i1,
                                                       org.semanticweb.owlapi.model.OWLLiteral i2,
                                                       org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                                       double d)

writeSameIndividualAxiom

protected void writeSameIndividualAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)

writeDifferentIndividualsAxiom

protected void writeDifferentIndividualsAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> set)

writeDisjointClassesAxiom

protected void writeDisjointClassesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)

writeDisjointUnionAxiom

protected void writeDisjointUnionAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)

writeSubclassOfAxiom

protected void writeSubclassOfAxiom(org.semanticweb.owlapi.model.OWLClassExpression subclass,
                                    org.semanticweb.owlapi.model.OWLClassExpression superclass,
                                    double d)

writeEquivalentClassesAxiom

protected void writeEquivalentClassesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> set)

writeSubObjectPropertyOfAxiom

protected void writeSubObjectPropertyOfAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression subProperty,
                                             org.semanticweb.owlapi.model.OWLObjectPropertyExpression superProperty,
                                             double d)

writeSubPropertyChainOfAxiom

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

writeSubDataPropertyOfAxiom

protected void writeSubDataPropertyOfAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression subProperty,
                                           org.semanticweb.owlapi.model.OWLDataPropertyExpression superProperty,
                                           double d)

writeEquivalentObjectPropertiesAxiom

protected void writeEquivalentObjectPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> set)

writeEquivalentDataPropertiesAxiom

protected void writeEquivalentDataPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> set)

writeTransitiveObjectPropertyAxiom

protected void writeTransitiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

writeSymmetricObjectPropertyAxiom

protected void writeSymmetricObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

writeAsymmetricObjectPropertyAxiom

protected void writeAsymmetricObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

writeReflexiveObjectPropertyAxiom

protected void writeReflexiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

writeIrreflexiveObjectPropertyAxiom

protected void writeIrreflexiveObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

writeFunctionalObjectPropertyAxiom

protected void writeFunctionalObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

writeFunctionalDataPropertyAxiom

protected void writeFunctionalDataPropertyAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p)

writeInverseObjectPropertiesAxiom

protected void writeInverseObjectPropertiesAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p1,
                                                 org.semanticweb.owlapi.model.OWLObjectPropertyExpression p2)

writeInverseFunctionalObjectPropertyAxiom

protected void writeInverseFunctionalObjectPropertyAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

writeObjectPropertyDomainAxiom

protected void writeObjectPropertyDomainAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                              org.semanticweb.owlapi.model.OWLClassExpression c)

writeObjectPropertyRangeAxiom

protected void writeObjectPropertyRangeAxiom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                                             org.semanticweb.owlapi.model.OWLClassExpression c)

writeDataPropertyDomainAxiom

protected void writeDataPropertyDomainAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                            org.semanticweb.owlapi.model.OWLClassExpression c)

writeDataPropertyRangeAxiom

protected void writeDataPropertyRangeAxiom(org.semanticweb.owlapi.model.OWLDataPropertyExpression p,
                                           org.semanticweb.owlapi.model.OWLDataRange c)

writeDisjointObjectPropertiesAxiom

protected void writeDisjointObjectPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> set)

writeDisjointDataPropertiesAxiom

protected void writeDisjointDataPropertiesAxiom(java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> set)

writeTriangularModifierDefinition

protected void writeTriangularModifierDefinition(java.lang.String name,
                                                 TriangularModifier mod)

writeLinearModifierDefinition

protected void writeLinearModifierDefinition(java.lang.String name,
                                             LinearModifier mod)

writeLeftShoulderFunctionDefinition

protected void writeLeftShoulderFunctionDefinition(java.lang.String name,
                                                   LeftShoulderFunction dat)

writeRightShoulderFunctionDefinition

protected void writeRightShoulderFunctionDefinition(java.lang.String name,
                                                    RightShoulderFunction dat)

writeLinearFunctionDefinition

protected void writeLinearFunctionDefinition(java.lang.String name,
                                             LinearFunction dat)

writeTriangularFunctionDefinition

protected void writeTriangularFunctionDefinition(java.lang.String name,
                                                 TriangularFunction dat)

writeTrapezoidalFunctionDefinition

protected void writeTrapezoidalFunctionDefinition(java.lang.String name,
                                                  TrapezoidalFunction dat)

writeModifiedFunctionDefinition

protected void writeModifiedFunctionDefinition(java.lang.String name,
                                               ModifiedFunction dat)

writeModifiedPropertyDefinition

protected void writeModifiedPropertyDefinition(java.lang.String name,
                                               ModifiedProperty c)

writeModifiedConceptDefinition

protected void writeModifiedConceptDefinition(java.lang.String name,
                                              ModifiedConcept c)

writeFuzzyNominalConceptDefinition

protected void writeFuzzyNominalConceptDefinition(java.lang.String name,
                                                  FuzzyNominalConcept c)

writeWeightedConceptDefinition

protected void writeWeightedConceptDefinition(java.lang.String name,
                                              WeightedConcept c)

writeWeightedSumConceptDefinition

protected void writeWeightedSumConceptDefinition(java.lang.String name,
                                                 WeightedSumConcept c)

writeOwaConceptDefinition

protected void writeOwaConceptDefinition(java.lang.String name,
                                         OwaConcept c)

writeQowaConceptDefinition

protected void writeQowaConceptDefinition(java.lang.String name,
                                          QowaConcept c)