Examples of OWLSubClassOfAxiom

org.semanticweb.owlapi.model.OWLSubClassOfAxiom
3.org/TR/owl2-syntax/#Subclass_Axioms">SubClassOf axiom in the OWL 2 Specification. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

    }




    @Override
  protected int compareObjectOfSameType(OWLObject object) {
        OWLSubClassOfAxiom other = (OWLSubClassOfAxiom) object;
        int diff = subClass.compareTo(other.getSubClass());
        if (diff != 0) {
            return diff;
        }
        return superClass.compareTo(other.getSuperClass());
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

            int diff = childCount1 - childCount2;
            if (diff != 0) {
                return diff;
            }
            if (ax1 instanceof OWLSubClassOfAxiom && ax2 instanceof OWLSubClassOfAxiom) {
                OWLSubClassOfAxiom sc1 = (OWLSubClassOfAxiom) ax1;
                OWLSubClassOfAxiom sc2 = (OWLSubClassOfAxiom) ax2;
                return sc1.getSuperClass().compareTo(sc2.getSuperClass());
            }


            return 1;
        }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

    @Override
    public Set<OWLAxiom> rewriteAxiom(OWLAxiom axiom) {
        if(!(axiom instanceof OWLSubClassOfAxiom)) {
            return Collections.singleton(axiom);
        }
        OWLSubClassOfAxiom ax = (OWLSubClassOfAxiom) axiom;
        OWLClassExpression subClass = ax.getSubClass();
        OWLClassExpression superClass = ax.getSuperClass();
        Set<OWLAxiom> result = new HashSet<OWLAxiom>();
        for(OWLClassExpression conj : superClass.asConjunctSet()) {
            OWLDataFactory df = DataFactory.get();
            result.add(df.getOWLSubClassOfAxiom(subClass, conj, axiom.getAnnotations()));
        }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

      OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom( cls, ind );
      return getEntailmentExplanations( classAssertion, maxExplanations );
    }
    
    public Set<OWLAxiom> getSubClassExplanation(OWLClassExpression subClass, OWLClassExpression superClass) {
      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanation( subClassAxiom );
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanation( subClassAxiom );
    }
    
    public Set<Set<OWLAxiom>> getSubClassExplanations(OWLClassExpression subClass, OWLClassExpression superClass) {
      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanations( subClassAxiom );      
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanations( subClassAxiom );      
    }
    
    public Set<Set<OWLAxiom>> getSubClassExplanations(OWLClassExpression subClass, OWLClassExpression superClass, int maxExplanations) {
      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanations( subClassAxiom, maxExplanations );
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

            return a.toString();
        } else if (a instanceof OWLSubObjectPropertyOfAxiom) {
            // TODO: implement
            return a.toString();
        } else if (a instanceof OWLSubClassOfAxiom) {
            OWLSubClassOfAxiom sc = (OWLSubClassOfAxiom) a;
            return formatClassExpression(sc.getSubClass(), ont) + " \u2286 "
                    + formatClassExpression(sc.getSuperClass(), ont);
        } else if (a instanceof OWLEquivalentClassesAxiom) {
            OWLEquivalentClassesAxiom ec = (OWLEquivalentClassesAxiom) a;
            List<OWLClassExpression> ces = ec.getClassExpressionsAsList();
            StringBuilder sb = new StringBuilder();
            sb.append(formatClassExpression(ces.get(0), ont));

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

            return a.toString();
        } else if (a instanceof OWLSubObjectPropertyOfAxiom) {
            // TODO: implement
            return a.toString();
        } else if (a instanceof OWLSubClassOfAxiom) {
            OWLSubClassOfAxiom sc = (OWLSubClassOfAxiom) a;
            return formatClassExpression(sc.getSubClass(), ont) + " \u2286 "
                    + formatClassExpression(sc.getSuperClass(), ont);
        } else if (a instanceof OWLEquivalentClassesAxiom) {
            OWLEquivalentClassesAxiom ec = (OWLEquivalentClassesAxiom) a;
            List<OWLClassExpression> ces = ec.getClassExpressionsAsList();
            StringBuilder sb = new StringBuilder();
            sb.append(formatClassExpression(ces.get(0), ont));

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

    OWLDataSomeValuesFrom dataSomeRestriction = factory
        .getOWLDataSomeValuesFrom(p, dataRangeRestriction);


    OWLClass c = factory.getOWLClass(IRI.create("http://example#c"));


    OWLSubClassOfAxiom sc = factory.getOWLSubClassOfAxiom(c,
        dataSomeRestriction);


    manager.addAxiom(ontology, sc);
    
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom


    if( sup.isOWLThing() ) {
          return;
        }


    OWLSubClassOfAxiom axiom = OWL.subClassOf( sub, sup );
    explainAxiom( axiom );
  }

View Full Code Here

0 1 2 3 4

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.