/** * @param args Two arguments: the input OWL 2 ontology, and the output fuzzy ontology in fuzzyDL syntax. */ public static void main(String[] args) { String[] returnValue = processParameters(args); FuzzyOwl2 f = new FuzzyOwl2(returnValue[0], returnValue[1]); f.translateOwl2Ontology(); }
@Override protected void writeObjectPropertyAssertionAxiom(OWLIndividual i1, OWLIndividual i2, OWLObjectPropertyExpression p, double d) { print("(related " + getIndividualName(i1) + " " + getIndividualName(i2) + " " + getObjectPropertyName(p) + " " + d + ")"); }
@Override protected void writeObjectPropertyDomainAxiom(OWLObjectPropertyExpression p, OWLClassExpression c) { print("(domain " + getObjectPropertyName(p) + " " + getClassName(c) + " )"); }
@Override public String toString() { return "Coverage2{" + "tp" + setValueToString(tp()) + "," + "fn" + setValueToString(fn()) + "," + "fp" + setValueToString(fp()) + "," + "tn" + setValueToString(tn()) + '}'; } }
protected String getAtomicObjectPropertyName(OWLObjectProperty p) { print("Write object property + " + getShortName(p) ); return ""; }
@Override protected void writeReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(reflexive " + getObjectPropertyName(p) + ")"); }
protected String getObjectUnionOfName(Set<OWLClassExpression> operands) { print("Print ObjectUnionOf" + operands); return ""; }
@Override protected String getObjectOneOfName(Set<OWLIndividual> set) { printError("OneOf concept not supported"); return null; }
/** * Factory method to get problem-specific reasoning utils * @param reasoner the current reasoner * @return a reasoning util (by default the generic one) */ protected ReasoningUtils newReasoningUtils(AbstractReasonerComponent reasoner) { return new ReasoningUtils(reasoner); }
protected String getAtomicConceptName(OWLClass c) { String name = getShortName(c); print("Print Atomic concept" + name); return ""; }
protected String getDataSomeValuesFromName(OWLDataPropertyExpression p, OWLDataRange range) { print("Print DataSomeValuesFrom(" + p + " " + range + ")"); return ""; }
@Override protected String getObjectExactCardinalityRestrictionName(int card, OWLObjectPropertyExpression p) { printError("Object exact cardinality restriction not supported"); return null; }
protected String getTopObjectPropertyName() { print("Write top object property"); return ""; }
@Override protected String getDataMaxCardinalityRestrictionName(int card, OWLDataPropertyExpression p) { printError("Data max cardinality restriction not supported"); return null; }
protected String getBottomObjectPropertyName() { print("Write bottom object property"); return ""; }
@Override protected String getBottomDataPropertyName() { printError("Bottom data property not supported"); return null; }
protected String getDataAllValuesFromName(OWLDataPropertyExpression p, OWLDataRange range) { print("Print DataAllValuesFrom(" + p + " " + range + ")"); return ""; }
@Override protected void writeSubPropertyChainOfAxiom(List<OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, double d) { printError("Subproperty chain axiom not supported"); }
protected String getBottomDataPropertyName() { print("Write bottom object property"); return ""; }
@Override protected void writeDisjointObjectPropertiesAxiom(Set<OWLObjectPropertyExpression> set) { printError("Disjoint object properties axiom not supported"); }