Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectIntersectionOf

120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
 
  private Pair<OWLClass,OWLClass> getSubClassAxiom(OWLClassExpression desc) {
    if( !(desc instanceof OWLObjectIntersectionOf) )
      return null;
   
    OWLObjectIntersectionOf conj = (OWLObjectIntersectionOf) desc;
     
    if( conj.getOperands().size() != 2 )
      return null;
   
    Iterator<OWLClassExpression> conjuncts = conj.getOperands().iterator();   
    OWLClassExpression c1 = conjuncts.next();
    OWLClassExpression c2 = conjuncts.next();

    OWLClass sub = null;
    OWLClass sup = null;
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
    public static String formatClassExpression(OWLClassExpression ce,
            OWLOntology ont) {
        if (ce instanceof OWLClass) {
            return getLabel(ce.asOWLClass(), ont);
        } else if (ce instanceof OWLObjectIntersectionOf) {
            OWLObjectIntersectionOf oi = (OWLObjectIntersectionOf) ce;
            List<OWLClassExpression> ops = oi.getOperandsAsList();
            StringBuilder sb = new StringBuilder();
            sb.append(formatClassExpression(ops.get(0), ont));
            for (int i = 1; i < ops.size(); i++) {
                sb.append(" \u2229 ");
                sb.append(formatClassExpression(ops.get(i), ont));
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
    public static String formatClassExpression(OWLClassExpression ce,
            OWLOntology ont) {
        if (ce instanceof OWLClass) {
            return getLabel(ce.asOWLClass(), ont);
        } else if (ce instanceof OWLObjectIntersectionOf) {
            OWLObjectIntersectionOf oi = (OWLObjectIntersectionOf) ce;
            List<OWLClassExpression> ops = oi.getOperandsAsList();
            StringBuilder sb = new StringBuilder();
            sb.append(formatClassExpression(ops.get(0), ont));
            for (int i = 1; i < ops.size(); i++) {
                sb.append(" \u2229 ");
                sb.append(formatClassExpression(ops.get(i), ont));
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.model.OWLObjectIntersectionOf

  • au.csiro.snorocket.owlapi.util.DebugUtils
  • au.csiro.snorocket.protege.util.DebugUtils
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • org.coode.owlapi.obo.renderer.OBOFlatFileRenderer
  • org.obolibrary.macro.ManchesterSyntaxToolTest
  • org.obolibrary.obo2owl.OWLAPIOwl2Obo
  • org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator
  • org.semanticweb.owlapi.examples.Examples
  • org.semanticweb.owlapi.reasoner.structural.StructuralReasoner$RawClassHierarchyProvider
  • org.semanticweb.owlapi.util.InferredDisjointClassesAxiomGenerator
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.